⟨a, b | aabbaabba=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) = 0; deg(c) = 1; deg(b) = 2
Auxiliary generators:
1. bbbbbba=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	a⁶cac ⇒ c	[67]
2.	ca³c ⇒ a(ac)²	[59]
3.	ca⁵c ⇒ a⁴cac	[58]
4.	a⁸bc ⇒ ba	[46]
5.	a⁶cabc ⇒ bc	[62]
6.	ca³bc ⇒ a²cabc	[61]
7.	ca⁵bc ⇒ a⁴cabc	[60]
8.	ca⁷bc ⇒ bc	[47]
9.	ba²c ⇒ a²bc	[68]
10.	ba⁴c ⇒ a⁴bc	[27]
11.	ba⁶c ⇒ a⁶bc	[41]
12.	bcac ⇒ cabc	[69]
13.	a⁶cab²a ⇒ b²a	[48]
14.	b²c ⇒ a⁴(ca)²b²a	[65]
15.	ba²bc ⇒ cab²a	[70]
16.	ba⁴bc ⇒ a²cab²a	[52]
17.	ba⁶bc ⇒ a⁴cab²a	[43]
18.	bcabc ⇒ a⁴(ca)³b²a	[71]
19.	b³a ⇒ a⁴c	[25]
20.	ba²b²a ⇒ a⁶c	[39]
21.	bcab²a ⇒ a⁴cac	[66]

# ab:aabbaabba=ba reversed:a/c/b bbbbbba=c morph:7/0 aaaaaacac=c caaac=aacac caaaaac=aaaacac aaaaaaaabc=ba aaaaaacabc=bc caaabc=aacabc caaaaabc=aaaacabc caaaaaaabc=bc baac=aabc baaaac=aaaabc baaaaaac=aaaaaabc bcac=cabc aaaaaacabba=bba bbc=aaaacacabba baabc=cabba baaaabc=aacabba baaaaaabc=aaaacabba bcabc=aaaacacacabba bbba=aaaac baabba=aaaaaac bcabba=aaaacac

Up:	Monoids with two generators and one relation
Prev:	#4168 ⟨a, b \| aabbaabba=ab⟩
Next:	#4170 ⟨a, b \| aabbaabba=bb⟩

#4169 ⟨a, b | aabbaabba=ba⟩

Quick links

Properties

Rewriting system