# Nilpotent implies every maximal subgroup is normal

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications
|
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a nilpotent group. That is, it states that in a Nilpotent group (?), every subgroup satisfying the first subgroup property (i.e., Maximal subgroup (?)) must also satisfy the second subgroup property (i.e., Normal subgroup (?)). In other words, every maximal subgroup of nilpotent group is a normal subgroup of nilpotent group.
View all subgroup property implications in nilpotent groups $|$ View all subgroup property non-implications in nilpotent groups $|$ View all subgroup property implications $|$ View all subgroup property non-implications

## Statement

### Property-theoretic statement

As am implication of group properties: The property of being a Nilpotent group (?) is stronger than the property of being a Group in which every maximal subgroup is normal (?).

As an implication of subgroup properties: In a nilpotent group, the property of being a maximal subgroup is stronger than the property of being a normal subgroup.

### Verbal statement

In a nilpotent group, every Maximal subgroup (?) is normal.

## Related facts

### More on nilpotent groups

It's further true that since the maximal subgroup is normal, it is maximal normal, so the quotient is simple. Since a quotient of a nilpotent group is nilpotent, and the only simple nilpotent groups are abelian, we conclude that every maximal subgroup is normal with abelian quotient (specifically, the quotient is a cyclic group of prime order).

## Facts used

1. Nilpotent implies normalizer condition: Any nilpotent group satisfies the normalizer condition: it has no proper self-normalizing subgroup.
2. Normalizer condition implies every maximal subgroup is normal

## Proof

The proof follows by combining facts (1) and (2).