Set s of identities between relators
(xa)a-1,
(yxya-1) (yb) b-1 (xyb) (xb-1) a
The main table
Summary
