Assertion: abelian group | /r/HasProperty | $g/k$
Facets:
Source sentences:
text: If quotient $G/H$ is abelian group and $H < K \triangleleft G$, then $G/K$ is abelian.