〈a, b | aabbbba=baa〉

Monoid presentation of length 10

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: right-to-left ae/d/cb
Auxiliary generator bbbba=c
Auxiliary generator cccc=d
Auxiliary generator ad=e

Complete rewriting system

a²e⁴ ⇒ ea
ad ⇒ e
da ⇒ ae⁴
de ⇒ ae⁴d
ca ⇒ ae
ce ⇒ aed
cd ⇒ dc
ba² ⇒ a²c
bea ⇒ a³e(ae⁴)³d
bae ⇒ aec
be² ⇒ a³e(ae⁴)³d²
c⁴ ⇒ d
b⁴a ⇒ c
b⁴e ⇒ dc