Assertion: abelian group's subgroup | /r/HasAspect | prime index
Facets:
Source sentences:
text: The subgroup has prime index, hence is maximal, so there are no strictly intermediate subgroups between the subgroup and the whole group.