⟨a, b | aabbabbbbba=1⟩

Up:

Monoids with two generators and one relation

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:
- Right-to-left recursive path with deg(c) = deg(d) = deg(a) = 0, c < d < a; deg(b) = 1
Auxiliary generators:
1. aaa=c
2. bbabbbbb=d
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	dc ⇒ 1	[10]
2.	cd ⇒ 1	[8]
3.	ca ⇒ ac	[5]
4.	da ⇒ ad	[9]
5.	a³ ⇒ c	[2]
6.	bcb²a ⇒ cb²ab	[21]
7.	b²aba² ⇒ dbcb²c	[23]
8.	(b²a)²a ⇒ d(b²c)²	[26]
9.	b⁵c ⇒ a²b²ab³	[15]
10.	b²ab³d ⇒ adb⁵	[11]
11.	b⁵ac ⇒ a²b²ab³a	[17]
12.	b²ab³ad ⇒ adb⁵a	[13]
13.	b⁵a² ⇒ a²db³cb²	[32]
14.	b²ab³a² ⇒ db(b²c)²	[29]
15.	b²ab⁴d ⇒ dbab⁵	[12]
16.	b²ab⁴ad ⇒ dbab⁵a	[30]
17.	b²ab⁴a² ⇒ db⁴cb²c	[33]
18.	b²ab⁵ ⇒ d	[3]

# ab:aabbabbbbba=1 reversed:cda/b aaa=c,bbabbbbb=d magic:0 dc=1 cd=1 ca=ac da=ad aaa=c bcbba=cbbab bbabaa=dbcbbc bbabbaa=dbbcbbc bbbbbc=aabbabbb bbabbbd=adbbbbb bbbbbac=aabbabbba bbabbbad=adbbbbba bbbbbaa=aadbbbcbb bbabbbaa=dbbbcbbc bbabbbbd=dbabbbbb bbabbbbad=dbabbbbba bbabbbbaa=dbbbbcbbc bbabbbbb=d

Up:	Monoids with two generators and one relation
Prev:	#3132 ⟨a, b \| aabbabbbbab=1⟩
Next:	#3137 ⟨a, b \| aabbbaaabab=1⟩

#3133 ⟨a, b | aabbabbbbba=1⟩

Quick links

Properties

Rewriting system