Assertion: abelian group's subgroup | /r/HasProperty | described at focal subgroup theorem
Facets:
Source sentences:
text: Normal subgroups of prime power index are kernels of surjective maps to p-groups and have interesting structure, as described at Focal subgroup theorem: