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

#	Rule	Proof
1.	a²baca ⇒ ba	[3]
2.	cabaca ⇒ bc	[4]
3.	a²bac² ⇒ bc	[11]
4.	a²bacba ⇒ b²a	[5]
5.	b²c ⇒ cabacba	[7]
6.	a²bacbc ⇒ cabacba	[12]
7.	(ba)²ca ⇒ a(ab)²c	[6]
8.	bcbaca ⇒ c(ab)²c	[8]
9.	bcabac² ⇒ cabacbc	[13]
10.	b³a ⇒ c	[2]
11.	a²bacb²a ⇒ c	[9]
12.	bcabacba ⇒ cabacb²a	[10]
13.	bcabacbc ⇒ (cabac)²ba	[16]
14.	bcabacb²a ⇒ cabac²	[14]
15.	b²a(ab)²c ⇒ cbaca	[15]

# ab:aababbbaa=ba reversed:ac/b bbba=c morph:4/0 aabaca=ba cabaca=bc aabacc=bc aabacba=bba bbc=cabacba aabacbc=cabacba babaca=aababc bcbaca=cababc bcabacc=cabacbc bbba=c aabacbba=c bcabacba=cabacbba bcabacbc=cabaccabacba bcabacbba=cabacc bbaababc=cbaca

Up:	Monoids with two generators and one relation
Prev:	#4140 ⟨a, b \| aababbbaa=ab⟩
Next:	#4142 ⟨a, b \| aababbbaa=bb⟩

#4141 ⟨a, b | aababbbaa=ba⟩

Quick links

Properties

Rewriting system