⟨a, b | aabbbabbbba=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. bbbabbbb=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.	b⁴c ⇒ a²b³ab	[16]
7.	b³abd ⇒ adb⁴	[11]
8.	bcb³a ⇒ cb³ab	[26]
9.	b⁴ac ⇒ a²b³aba	[18]
10.	b³abad ⇒ adb⁴a	[14]
11.	b⁴a² ⇒ a²dbcb³	[32]
12.	b³aba² ⇒ dbcb³c	[28]
13.	b³ab²d ⇒ dbab⁴	[12]
14.	b(b²a)²d ⇒ dbab⁴a	[30]
15.	b³ab²a² ⇒ db²cb³c	[33]
16.	b³ab³d ⇒ db²ab⁴	[13]
17.	(b³a)²d ⇒ db²ab⁴a	[35]
18.	(b³a)²a ⇒ d(b³c)²	[36]
19.	b³ab⁴ ⇒ d	[3]

# ab:aabbbabbbba=1 reversed:cda/b aaa=c,bbbabbbb=d magic:0 dc=1 cd=1 ca=ac da=ad aaa=c bbbbc=aabbbab bbbabd=adbbbb bcbbba=cbbbab bbbbac=aabbbaba bbbabad=adbbbba bbbbaa=aadbcbbb bbbabaa=dbcbbbc bbbabbd=dbabbbb bbbabbad=dbabbbba bbbabbaa=dbbcbbbc bbbabbbd=dbbabbbb bbbabbbad=dbbabbbba bbbabbbaa=dbbbcbbbc bbbabbbb=d

Up:	Monoids with two generators and one relation
Prev:	#3150 ⟨a, b \| aabbbabbbab=1⟩
Next:	#3153 ⟨a, b \| aabbbbaaaba=1⟩

#3151 ⟨a, b | aabbbabbbba=1⟩

Quick links

Properties

Rewriting system