Assertion: abelian group's subgroup | /r/HasProperty | improper
Facets:
Source sentences:
text: Simple group is that it is not trivial and subgroups of simple group must be improper and trivial.
text: So, every simple abelian group has trivial subgroup and improper subgroup.