Normalizer-relatively normal of CDIN implies CDIN

From Groupprops

Statement

Statement with symbols

Suppose are groups such that is a normalizer-relatively normal subgroup of relative to , and is a CDIN-subgroup of . Then, is a CDIN-subgroup of .

Related facts