Nilpotent not implies generated by abelian normal subgroups
This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., nilpotent group) need not satisfy the second group property (i.e., group generated by Abelian normal subgroups)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about nilpotent group|Get more facts about group generated by Abelian normal subgroups
Example of the dihedral group
Further information: dihedral group:D16
Let be the dihedral group of order :
is a group of prime power order, hence it is nilpotent. On the other hand, is not generated by Abelian normal subgroups. Here's the reasoning:
- Let be the cyclic subgroup generated by .
- Consider the elements of outside . These elements fall in two conjugacy classes of size four each. The normal closure of any element outside must thus contain all its conjugates, and a quick inspection shows that this normal closure must be the dihedral group of order eight, which is not Abelian.
- Hence, every Abelian normal subgroup of is contained in .