Center of normal implies normal

From Groupprops
Revision as of 23:13, 7 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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:

Proof

Using characteristic subgroups

The proof pieces together two facts: