Assertion: abelian group's subgroup | /r/HasProperty | the smallest prime
Facets:
Source sentences:
text: In particular, if is the smallest prime dividing the order of , then every subgroup of index is normal.