# Center of normal implies normal

From Groupprops

This fact is an application of the following pivotal fact/result/idea:characteristic of normal implies normal

View other applications of characteristic of normal implies normal OR Read a survey article on applying characteristic of normal implies normal

## Statement

The center of any normal subgroup, is a normal subgroup of the whole group.

## Applications

The result is sometimes used for induction in nilpotent groups, for instance, it is used for showing the following:

- Equivalence of definitions of Fitting-free group: It shows that if there is a nontrivial nilpotent normal subgroup, there is a nontrivial Abelian normal subgroup
- It is used in an argument to reduce the general case of the Schur-Zassenhaus theorem to the case of an Abelian Sylow subgroup.

## Proof

### Using characteristic subgroups

The proof pieces together two facts:

- The center of any group is a characteristic subgroup (that's essentially because the center is a subgroup-defining function)
- Any characteristic subgroup of a normal subgroup is normal