⟨a, b | aabaaaaaba=b⟩

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(b) = deg(c) = 0, b < c; deg(a) = 1
Auxiliary generators:
1. aa=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	cbab ⇒ bc²bc³ba	[13]
2.	cbcab ⇒ bc²ba	[10]
3.	ac ⇒ ca	[4]
4.	c²bc²ab² ⇒ bc²b(c³b)²a	[16]
5.	cbc²abc ⇒ ba	[5]
6.	a² ⇒ c	[2]
7.	cbc²aba ⇒ b	[3]
8.	b(ab)² ⇒ cbc²ab²c²bc³ba	[15]
9.	c(ab)² ⇒ abc²bc³ba	[14]
10.	babcab ⇒ cbc²ab²c²ba	[12]
11.	(cab)² ⇒ abc²ba	[11]
12.	bcabc²ab² ⇒ cbc²ab²c²b(c³b)²a	[18]
13.	(c²ab)²b ⇒ abc²b(c³b)²a	[17]
14.	babc²abc ⇒ cbc²ab²a	[9]
15.	(cabc)² ⇒ aba	[7]
16.	babc²aba ⇒ cbc²ab²	[8]
17.	cabc²aba ⇒ ab	[6]

# ab:aabaaaaaba=b reversed:bc/a aa=c morph:2/0 cbab=bccbcccba cbcab=bccba ac=ca ccbccabb=bccbcccbcccba cbccabc=ba aa=c cbccaba=b babab=cbccabbccbcccba cabab=abccbcccba babcab=cbccabbccba cabcab=abccba bcabccabb=cbccabbccbcccbcccba ccabccabb=abccbcccbcccba babccabc=cbccabba cabccabc=aba babccaba=cbccabb cabccaba=ab

Up:	Monoids with two generators and one relation
Prev:	#3535 ⟨a, b \| aabaaaaaba=a⟩
Next:	#3537 ⟨a, b \| aabaaaaabb=a⟩

#3536 ⟨a, b | aabaaaaaba=b⟩

Quick links

Properties

Rewriting system