# Abelian subgroup of maximum order which is normal

Suppose  is a group of prime power order, i.e.,  is a finite p-group for some prime number . Suppose  is a subgroup of . We say that  is an abelian subgroup of maximum order which is normal if  is an abelian subgroup of maximum order in  and  is also a normal subgroup of .