Groupprops, The Group Properties Wiki (pre-alpha)

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., complemented characteristic subgroup) need not satisfy the second subgroup property (i.e., left-transitively complemented normal subgroup)
View a complete list of subgroup property non-implications | View a complete list of subgroup property implications |Get help on looking up subgroup property implications/non-implications
Get more facts about complemented characteristic subgroup| Get more facts about left-transitively complemented normal subgroup

EXPLORE EXAMPLES YOURSELF: |

Contents 1 Statement 1.1 Statement with symbols 2 Related facts 2.1 Opposite facts 2.2 Converse 3 Facts used 4 Proof 4.1 Example of the dihedral group of order sixteen

Statement

Statement with symbols

It is possible to have the following situation: groups such that H is a complemented characteristic subgroup of K and K is a complemented normal subgroup of G, but H is not a complemented normal subgroup of G.

Related facts

• Complemented normal is not transitive

Opposite facts

• Characteristically complemented characteristic implies left-transitively complemented normal

Converse

• Left-transitively complemented normal implies complemented characteristic

Facts used

1. Complemented normal satisfies intermediate subgroup condition

Proof

Example of the dihedral group of order sixteen

Further information: Dihedral group:D16

Let G be a dihedral group of order 16. In other words, G is given by the presentation:

.

Consider the subgroups:

.

• H is complemented characteristic in K: K is a dihedral group of order eight, with H as the unique cyclic normal subgroup of order four, hence H is characteristic in K. Further, is a complement to H in K.
• K is complemented normal in G: Since K has index two, it is normal in G (subgroup of index two is normal, or alternatively, nilpotent implies every maximal subgroup is normal). Further, the two-element subgroup is a permutable complement to K in G.
• H is not complemented normal in G: If H were complemented normal in G, it would also (by fact (1)) be complemented normal in the intermediate subgroup , which is a cyclic group of order eight. But we know that H is not complemented in L, since any element of L not in H generates L.