⟨a, b | ababba=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 = bba
Reduction order:
- Right-to-left recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	ba²b ⇒ abac	[3]
2.	bcab ⇒ cbac	[7]
3.	b²a ⇒ c	[2]
4.	abacba ⇒ ba²c	[5]
5.	(cba)² ⇒ bcac	[10]
6.	(ba)²c ⇒ cab	[4]
7.	ba³bac ⇒ abaca²b	[6]
8.	bca²bac ⇒ cbaca²b	[11]
9.	(abac)² ⇒ ba²cab	[8]
10.	cbacabac ⇒ b(ca)²b	[12]
11.	ba²cbac ⇒ abac²ab	[9]
12.	bcacbac ⇒ cbac²ab	[13]
13.	baba²c ⇒ ab(ac)²ba	[14]
14.	bcba²c ⇒ cb(ac)²ba	[15]
15.	(ab)²cac ⇒ ba²c²ba	[16]
16.	cbabcac ⇒ bcac²ba	[17]

# ab:ababba=baab reversed:ac/b bba=c morph:3/2 baab=abac bcab=cbac bba=c abacba=baac cbacba=bcac babac=cab baaabac=abacaab bcaabac=cbacaab abacabac=baacab cbacabac=bcacab baacbac=abaccab bcacbac=cbaccab babaac=abacacba bcbaac=cbacacba ababcac=baaccba cbabcac=bcaccba

Up:	Monoids with two generators and one relation
Prev:	#2607 ⟨a, b \| ababba=baaa⟩
Next:	#2609 ⟨a, b \| ababba=baba⟩

#2608 ⟨a, b | ababba=baab⟩

Quick links

Properties

Rewriting system