Finite nilpotent implies every normal subgroup contains normal subgroups of all orders dividing its order

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a finite nilpotent group and H is a normal subgroup of G. Suppose m is a natural number dividing the order of H. Then, H contains a subgroup K of order m such that K is normal in G.

Related facts

Similar facts

Stronger facts