Set s of identities between relators

(xa)a-1,

(yxya-1) (yb) b-1 (xyb) (xb-1) a

The main table

Summary