Template:Abelian normal subgroups of finite p-group facts to check against