⟨a, b | abaaabba=aab⟩

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

#	Rule	Proof
1.	a²b ⇒ c	[2]
2.	cacba ⇒ ac	[5]
3.	cacbc ⇒ acab	[8]
4.	(ca)²b ⇒ ac²ba	[11]
5.	abacba ⇒ c	[4]
6.	abacbc ⇒ cab	[6]
7.	abacab ⇒ c²ba	[10]
8.	(cba)² ⇒ cab	[7]
9.	c(ab)² ⇒ cbacbc	[9]
10.	cabcba ⇒ cbacab	[14]
11.	c²ba²cba ⇒ abac²	[16]
12.	c²ba²cbc ⇒ abac²ab	[17]
13.	c²ba²cab ⇒ abac³ba	[18]
14.	cab²acba ⇒ cbacbc	[12]
15.	cab²acbc ⇒ cbacbcab	[13]
16.	cab²acab ⇒ cbacbc²ba	[15]

# ab:abaaabba=aab ac/b aab=c magic:0 aab=c cacba=ac cacbc=acab cacab=accba abacba=c abacbc=cab abacab=ccba cbacba=cab cabab=cbacbc cabcba=cbacab ccbaacba=abacc ccbaacbc=abaccab ccbaacab=abacccba cabbacba=cbacbc cabbacbc=cbacbcab cabbacab=cbacbccba

Up:	Monoids with two generators and one relation
Prev:	#4775 ⟨a, b \| abaaabba=aaa⟩
Next:	#4777 ⟨a, b \| abaaabba=aba⟩

#4776 ⟨a, b | abaaabba=aab⟩

Quick links

Properties

Rewriting system