Left-transitively WNSCDIN not implies characteristic

From Groupprops

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.