Characteristic of CDIN implies CDIN

This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., Characteristic subgroup (?) and CDIN-subgroup (?)), to another known subgroup property (i.e., CDIN-subgroup (?))
View a complete list of composition computations

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., characteristic subgroup) must also satisfy the second subgroup property (i.e., left-transitively CDIN-subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about characteristic subgroup|Get more facts about left-transitively CDIN-subgroup

Statement

Statement with symbols

Suppose $H\leq K\leq G$ are groups such that $H$ is characteristic in $K$ and $K$ is a CDIN-subgroup of $G$. Then $H$ is a CDIN-subgroup of $G$.

Related facts

• Normalizer-relatively normal of CDIN implies CDIN
• Characteristic of SCDIN implies SCDIN
• Normalizer-relatively normal of SCDIN implies SCDIN