Assertion: abelian group's subgroup | /r/HasProperty | h$ of $g$
Facets:
Source sentences:
text: Since any normal subgroup $H$ of $G$ has order $1$ or $p$, $H$ must be either trivial $\{e\}$ or $G$ itself.