Assertion: simple abelian group | /r/HasProperty | cyclic of prime order
Facets:
Source sentences:
text: This is equivalent because a finite group has finite composition length, and every simple abelian group is cyclic of prime order.