Assertion: abelian group's element | /r/CapableOf | commute with each element of s h
Facets:
Source sentences:
text: where R P {\displaystyle R_{P}} is a set of relations specifying that each element of S G {\displaystyle S_{G}} commutes with each element of S H {\displaystyle S_{H}} .