〈a, b | baa=aab, aabb=1〉

Monoid presentation of length 10

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: left-to-right a/cb
Auxiliary generator ba=c

Inverses of generators

a^-1 = bc
b^-1 = ca
c^-1 = ab

Complete rewriting system

a²c ⇒ ca²
ba ⇒ c
a²b ⇒ ca
cac ⇒ a
cab ⇒ 1
bca ⇒ 1
abc ⇒ 1
ab² ⇒ bc
cbc ⇒ b
bc² ⇒ acb²
b²c ⇒ cb²

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

2 total

Length:	Presentation:
10	〈a, b \| baa=aab, abba=1〉
10	〈a, b \| baa=aab, baab=1〉