Assertion: abelian group's subgroup | /r/HasProperty | generated by all its conjugates
Facets:
Source sentences:
text: In other words, we show that the subgroup equals that subgroup generated by all its conjugates.