Finite nilpotent implies every normal subgroup is part of a chief series
Statement
Version for a group of prime power order
Version for a finite group
Suppose is a Finite nilpotent group (?) and is a normal subgroup of . Then, there exists a Chief series (?) for that has as one of its members, i.e., there is a series:
such that each is a normal subgroup of and there exists some value of for which .