Assertion: abelian group's element | /r/CapableOf | commute with the subgroup
Facets:
Source sentences:
text: In other words, we show that every element of the group commutes with the subgroup.