〈a, b | abbba=abbab〉

Monoid presentation of length 10

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right bac
Auxiliary generator abbbabb=c

Complete rewriting system

cab ⇒ cba
c²b ⇒ cbc
cbab ⇒ ab²c
cbca ⇒ cbac
c³a ⇒ c²ac
ab²ab ⇒ ab³a
ab²cb ⇒ ab³c
cba²b ⇒ ab²ca
cbacb ⇒ ab²c²
(cb)²a ⇒ ab²c²
cbc²a ⇒ cbac²
c²a²b ⇒ cbaca
c²acb ⇒ cbac²
ab³ab² ⇒ c
ab³cba ⇒ ab³abc
ab³c²a ⇒ ab³cac
ab³(ab)² ⇒ ca
ab³abcb ⇒ c²
ab³ca²b ⇒ ab³abca
ab³cacb ⇒ ab³abc²