⟨a, b | abbaab=aba⟩

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

#	Rule	Proof
1.	c²a ⇒ cac	[12]
2.	c²b ⇒ cbc	[11]
3.	abca ⇒ abac	[20]
4.	abcb ⇒ ab²c	[22]
5.	ca³ ⇒ c²	[9]
6.	ca²b ⇒ a²bc	[3]
7.	(ca)² ⇒ ca²c	[16]
8.	cacb ⇒ cabc	[15]
9.	aba³ ⇒ abc	[19]
10.	abaca ⇒ aba²c	[21]
11.	abacb ⇒ (ab)²c	[25]
12.	ca²ca ⇒ c³	[18]
13.	ca²cb ⇒ a²bc²	[17]
14.	cba²b ⇒ ca	[6]
15.	(a²b)² ⇒ c	[2]
16.	aba²ca ⇒ abc²	[23]
17.	aba²cb ⇒ aba²bc	[24]
18.	ab²a²b ⇒ aba	[1]
19.	caba²b ⇒ ca²	[7]
20.	(ab)²a²b ⇒ aba²	[4]

# ab:abbaab=aba abc aabaab=c morph:6/1 cca=cac ccb=cbc abca=abac abcb=abbc caaa=cc caab=aabc caca=caac cacb=cabc abaaa=abc abaca=abaac abacb=ababc caaca=ccc caacb=aabcc cbaab=ca aabaab=c abaaca=abcc abaacb=abaabc abbaab=aba cabaab=caa ababaab=abaa

Up:	Monoids with two generators and one relation
Prev:	#1130 ⟨a, b \| abbaab=aab⟩
Next:	#1132 ⟨a, b \| abbaab=baa⟩

#1131 ⟨a, b | abbaab=aba⟩

Quick links

Properties

Rewriting system