Left-transitively WNSCDIN not implies characteristic

From Groupprops
Revision as of 00:23, 7 March 2009 by Vipul (talk | contribs) (New page: {{subgroup property non-implication| stronger = left-transitively WNSCDIN-subgroup| weaker = characteristic subgroup}} ==Statement== We can have a group <math>G</math> and a [[left-trans...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 G and a left-transitively WNSCDIN-subgroup H of G such that H is not a characteristic subgroup of G.

Related facts

Proof

Consider any group G with a non-characteristic subgroup H of order two. Clearly, H is left-transitively WNSCDIN, because for any embedding of G in a bigger group K, H is a WNSCDIN-subgroup of K.

A concrete example of this would be G as a Klein-four group, and H as one of its subgroups of order two.