s

Set s of identities between relators

(^xa) a^-1,

(^yb) b^-1,

(^{y^-1x}c) (^xyc^-1)

cb^-1 (^{yx^-1}b^-1) (^yc) (^{x^-1}b^-1) (^{x^-1yx}b^-1)

(^xc^-1) (^yxya^-1) (^yxyxb^-1) (^yxyxya) (^yx²c) (^yx²b^-1) (^yx²ya^-1) (^ya) (^yc) a^-1 (^x²b^-1) (^x²yx²yc^-1) (^x²ya) (^x²yc) (^{xy^-1x}b^-1) (^{xy^-1xy}a^-1) (^{xy^-1}a) (^{xy^-1x^-1}c)

The main table

Summary