#1115 ⟨a, b | abaaba=bab⟩

Properties

Presentation has sum-of-sides 9
Infinite non-commutative monoid

Complete rewriting system

Format:	Pretty Plain
Word to reduce:
	Tips: Lowercase letters stand for generators. Spaces are ignored. Numbers repeat the previous letter, e.g. `b90`.
Reduction strategy:	Leftmost Rightmost
Path to normal form:	1 1

Reduction order:
- Left-to-right recursive path with deg(d) = 0; deg(a) = deg(b) = deg(c) = 1, a < b < c
Auxiliary generator: ba=c
Auxiliary generator: ca=d

d³a ⇒ ad³
d³b ⇒ bd³
d³c ⇒ cd³
ad²a ⇒ cd
ad²b ⇒ d²c
ad²c ⇒ d³
ba ⇒ c
ca ⇒ d
cd²a ⇒ bcd
cb ⇒ adc
cd²b ⇒ bd²c
c² ⇒ ad²
cd²c ⇒ bd³

# ab:abaaba=bab d/abc ba=c,ca=d frequency:2/0,2/3
ddda=addd
dddb=bddd
dddc=cddd
adda=cd
addb=ddc
addc=ddd
ba=c
ca=d
cdda=bcd
cb=adc
cddb=bddc
cc=add
cddc=bddd

Up:	Monoids with two generators and one relation
Prev:	#1114 ⟨a, b \| abaaba=abb⟩
Next:	#1116 ⟨a, b \| abaaba=bbb⟩

#1115 ⟨a, b | abaaba=bab⟩

Properties

Complete rewriting system

Right Cayley graph (truncated)

Left Cayley graph (truncated)