Assertion: abelian group's subgroup | /r/HasProperty | a group of prime order
Facets:
Source sentences:
text: The subgroup is a group of prime order, so there are no proper nontrivial smaller subgroups contained in it.