Normalizer-relatively normal of CDIN implies CDIN
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 .
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
.