# CDIN of conjugacy-closed implies CDIN

From Groupprops

This article describes a computation relating the result of the Composition operator (?) on two known subgroup properties (i.e., CDIN-subgroup (?) and Conjugacy-closed subgroup (?)), to another known subgroup property

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., conjugacy-closed subgroup) must also satisfy the second subgroup property (i.e., right-transitively CDIN-subgroup)

View all subgroup property implications | View all subgroup property non-implications

Get more facts about conjugacy-closed subgroup|Get more facts about right-transitively CDIN-subgroup

## Statement

### Statement with symbols

Suppose are groups such that is a CDIN-subgroup of and is a conjugacy-closed subgroup of . Then is a CDIN-subgroup of .