Assertion: simple abelian group | /r/HasProperty | finite
Facets:
Source sentences:
text: the only simple abelian groups are the groups of prime order, which are all finite.