⟨a, b | aabbaa=baab⟩

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

Auxiliary generators:
1. c = bbaab
2. d = bb
Reduction order:
- Left-to-right recursive path with deg(a) = 0; deg(c) = deg(d) = deg(b) = 1, c < d < b
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	a²ca² ⇒ c	[19]
2.	a²c² ⇒ c²a²	[20]
3.	a(ac)² ⇒ caca²	[21]
4.	dc ⇒ ca²da⁴	[10]
5.	da²c ⇒ ca²da²	[9]
6.	da⁴c ⇒ ca²d	[18]
7.	da²d ⇒ cb	[7]
8.	da⁴da² ⇒ ca²b	[15]
9.	da²b ⇒ c	[5]
10.	bc ⇒ cba²	[8]
11.	ba²c ⇒ cb	[16]
12.	ba⁴c ⇒ a²da⁴d	[17]
13.	bd ⇒ db	[6]
14.	ba²d ⇒ a²c	[13]
15.	ba⁴da² ⇒ a²da⁴b	[14]
16.	b² ⇒ d	[3]
17.	ba²b ⇒ a²da²	[4]
18.	da⁴dac ⇒ ca²baca²	[22]
19.	ba⁴dac ⇒ a²da⁴baca²	[23]

# ab:aabbaa=baab a/cdb bbaab=c,bb=d morph:5/1,2/1 aacaa=c aacc=ccaa aacac=cacaa dc=caadaaaa daac=caadaa daaaac=caad daad=cb daaaadaa=caab daab=c bc=cbaa baac=cb baaaac=aadaaaad bd=db baad=aac baaaadaa=aadaaaab bb=d baab=aadaa daaaadac=caabacaa baaaadac=aadaaaabacaa

Up:	Monoids with two generators and one relation
Prev:	#2527 ⟨a, b \| aabbaa=abbb⟩
Next:	#2529 ⟨a, b \| aabbaa=babb⟩

#2528 ⟨a, b | aabbaa=baab⟩

Quick links

Properties

Rewriting system