〈a, b | aaababbbba=1〉

Monoid presentation of length 10

Properties

Infinite non-Abelian group

Completion parameters

Reduction order: right-to-left cda/b
Auxiliary generator aaaa=c
Auxiliary generator babbbb=d

Inverses of generators

a^-1 = da³
b^-1 = b³abc
c^-1 = d
d^-1 = c

Complete rewriting system

dc ⇒ 1
cd ⇒ 1
ca ⇒ ac
da ⇒ ad
a⁴ ⇒ c
bcba ⇒ cbab
baba³ ⇒ d(bc)²
bab²a³ ⇒ db(bc)²
b⁴c ⇒ a³bab³
bab³d ⇒ adb⁴
b⁴ac ⇒ a³bab³a
bab³ad ⇒ adb⁴a
b⁴a²c ⇒ a³bab³a²
bab³a²d ⇒ adb⁴a²
b⁴a³ ⇒ a³db³cb
bab³a³ ⇒ db³cbc
bab⁴ ⇒ d

Other isomorphic instances

1 total

Length:	Presentation:
10	〈a, b \| aababbbbaa=1〉

Other anti-isomorphic instances

1 total

Length:	Presentation:
10	〈a, b \| aaabbbbaba=1〉