⟨a, b | aabbbaa=aaab⟩

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:
- Left-to-right shortlex with b < a < c
Auxiliary generators:
1. aaab=c
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	a³b ⇒ c	[2]
2.	cb²c ⇒ acab	[8]
3.	cb²a² ⇒ ac	[7]
4.	cb²ac ⇒ aca²b	[9]
5.	c(ab)² ⇒ cb³c	[10]
6.	a²b³c ⇒ cab	[5]
7.	cb³a² ⇒ cab	[19]
8.	caba²b ⇒ cb³ac	[15]
9.	ca(ab)² ⇒ cab³c	[12]
10.	a²b³a² ⇒ c	[3]
11.	a²b³ac ⇒ ca²b	[6]
12.	cab⁴c ⇒ cb³cab	[14]
13.	cab³a² ⇒ ca²b	[11]
14.	c(a²b)² ⇒ cab³ac	[13]
15.	cab⁴a² ⇒ cb³c	[20]
16.	cab⁴ac ⇒ cb³ca²b	[21]
17.	ca²b⁴c ⇒ cab³cab	[16]
18.	ca²b⁴a² ⇒ cab³c	[17]
19.	ca²b⁴ac ⇒ cab³ca²b	[18]

# ab:aabbbaa=aaab bac aaab=c magic:0 aaab=c cbbc=acab cbbaa=ac cbbac=acaab cabab=cbbbc aabbbc=cab cbbbaa=cab cabaab=cbbbac caabab=cabbbc aabbbaa=c aabbbac=caab cabbbbc=cbbbcab cabbbaa=caab caabaab=cabbbac cabbbbaa=cbbbc cabbbbac=cbbbcaab caabbbbc=cabbbcab caabbbbaa=cabbbc caabbbbac=cabbbcaab

Up:	Monoids with two generators and one relation
Prev:	#5239 ⟨a, b \| aabbbaa=aaaa⟩
Next:	#5241 ⟨a, b \| aabbbaa=aaba⟩

#5240 ⟨a, b | aabbbaa=aaab⟩

Quick links

Properties

Rewriting system