Assertion: abelian group's subgroup | /r/HasProperty | $k_1$.
Facets:
Source sentences:
text: Then $K$ is finite abelian, so it has a simple subgroup $K_1$.