# Nilpotent not implies generated by abelian normal subgroups

From Groupprops

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) neednotsatisfy 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

## Statement

A nilpotent group need not be generated by Abelian normal subgroups.

## Proof

### 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 .