⟨a, b | abbba=abbab⟩

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 = abbbabb
Reduction order:
- Left-to-right shortlex with b < a < c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	cab ⇒ cba	[6]
2.	c²b ⇒ cbc	[10]
3.	cbab ⇒ ab²c	[7]
4.	cbca ⇒ cbac	[16]
5.	c³a ⇒ c²ac	[21]
6.	ab²ab ⇒ ab³a	[1]
7.	ab²cb ⇒ ab³c	[8]
8.	cba²b ⇒ ab²ca	[13]
9.	cbacb ⇒ ab²c²	[14]
10.	(cb)²a ⇒ ab²c²	[12]
11.	cbc²a ⇒ cbac²	[20]
12.	c²a²b ⇒ cbaca	[18]
13.	c²acb ⇒ cbac²	[22]
14.	ab³ab² ⇒ c	[2]
15.	ab³cba ⇒ ab³abc	[11]
16.	ab³c²a ⇒ ab³cac	[19]
17.	ab³(ab)² ⇒ ca	[4]
18.	ab³abcb ⇒ c²	[9]
19.	ab³ca²b ⇒ ab³abca	[15]
20.	ab³cacb ⇒ ab³abc²	[17]

# ab:abbba=abbab bac abbbabb=c morph:7/0 cab=cba ccb=cbc cbab=abbc cbca=cbac ccca=ccac abbab=abbba abbcb=abbbc cbaab=abbca cbacb=abbcc cbcba=abbcc cbcca=cbacc ccaab=cbaca ccacb=cbacc abbbabb=c abbbcba=abbbabc abbbcca=abbbcac abbbabab=ca abbbabcb=cc abbbcaab=abbbabca abbbcacb=abbbabcc

Up:	Monoids with two generators and one relation
Prev:	#2722 ⟨a, b \| abbba=ababb⟩
Next:	#2724 ⟨a, b \| abbbb=aaaaa⟩

#2723 ⟨a, b | abbba=abbab⟩

Quick links

Properties

Rewriting system