Left-transitively WNSCDIN not implies characteristic
This article gives the statement and possibly, proof, of a non-implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., left-transitively WNSCDIN-subgroup) need not satisfy the second subgroup property (i.e., characteristic subgroup)
View a complete list of subgroup property non-implications | View a complete list of subgroup property implications
Get more facts about left-transitively WNSCDIN-subgroup|Get more facts about characteristic subgroup
EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property left-transitively WNSCDIN-subgroup but not characteristic subgroup|View examples of subgroups satisfying property left-transitively WNSCDIN-subgroup and characteristic subgroup
Statement
We can have a group and a left-transitively WNSCDIN-subgroup of such that is not a characteristic subgroup of .
Related facts
Proof
Consider any group with a non-characteristic subgroup of order two. Clearly, is left-transitively WNSCDIN, because for any embedding of in a bigger group , is a WNSCDIN-subgroup of .
A concrete example of this would be as a Klein-four group, and as one of its subgroups of order two.