Assertion: simple abelian group | /r/HasAspect | improper subgroup
Facets:
Source sentences:
text: So, every simple abelian group has trivial subgroup and improper subgroup.