Assertion: abelian group's subgroup | /r/HasAspect | cyclic group of prime order
Facets:
value: as its quotient
type: OTHER
Source sentences:
text: In fact, any normal subgroup of prime index must have as its quotient the cyclic group of prime order.