Assertion: abelian group's subgroup | /r/HasProperty | h j
Facets:
Source sentences:
text: each H i has trivial intersection with the subgroup <{ H j :