Assertion: abelian group's element | /r/CapableOf | commute with every element of \(h\
Facets:
Source sentences:
text: h\in H\) for some subgroups \(G, H\) of \(F\), and furthermore, suppose every element of \(G\) commutes with every element of \(H\) and \(G \cap H = \{1\}\).