Assertion: abelian group's subgroup | /r/HasAspect | interesting structure
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: