⟨a, b | ababbabba=ba⟩

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. bbbbba=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	b⁴a ⇒ abab²ac	[7]
2.	b⁴c ⇒ cbab²ac	[16]
3.	(ba)²b²ac ⇒ c	[17]
4.	a(bab)²c ⇒ c	[9]
5.	c(bab)²c ⇒ bcbab²ac	[19]
6.	aba(b²a)² ⇒ ba	[1]
7.	ab(ab²)²c ⇒ bc	[10]
8.	cba(b²a)² ⇒ bc	[4]
9.	cb(ab²)²c ⇒ b²cbab²ac	[20]
10.	abab²ab³a ⇒ b²a	[3]
11.	abab²ab³c ⇒ b²c	[12]
12.	(abab²a)²c ⇒ b³a	[18]
13.	a(bab²ac)² ⇒ b³c	[21]
14.	cbab²ab³a ⇒ b²c	[5]
15.	cbab²ab³c ⇒ b³cbab²ac	[22]
16.	cbab²a²bab²ac ⇒ b³c	[8]

# ab:ababbabba=ba ac/b bbbbba=c morph:6/2 bbbba=ababbac bbbbc=cbabbac bababbac=c ababbabc=c cbabbabc=bcbabbac ababbabba=ba ababbabbc=bc cbabbabba=bc cbabbabbc=bbcbabbac ababbabbba=bba ababbabbbc=bbc ababbaababbac=bbba ababbacbabbac=bbbc cbabbabbba=bbc cbabbabbbc=bbbcbabbac cbabbaababbac=bbbc

Up:	Monoids with two generators and one relation
Prev:	#4311 ⟨a, b \| ababbabba=ab⟩
Next:	#4313 ⟨a, b \| ababbabba=bb⟩

#4312 ⟨a, b | ababbabba=ba⟩

Quick links

Properties

Rewriting system