⟨a, b | ababab=abaaa⟩

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 = abaaa
Reduction order:
- Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	c²a³ ⇒ ca³c	[10]
2.	(ca³)² ⇒ ca⁶c	[14]
3.	ca⁹ ⇒ c³	[18]
4.	ca⁶ca³ ⇒ c⁴	[16]
5.	abc² ⇒ ca⁶	[13]
6.	aba³ ⇒ c	[2]
7.	abca³ ⇒ c²	[9]
8.	cbc² ⇒ aba²ca⁶	[15]
9.	cba³ ⇒ aba²c	[4]
10.	cbca³ ⇒ aba²c²	[11]
11.	cab ⇒ abc	[5]
12.	ca⁴b ⇒ c²	[8]
13.	ca⁷b ⇒ ca³c	[17]
14.	(ab)²c ⇒ ca³	[6]
15.	cbabc ⇒ aba²ca³	[12]
16.	(ab)³ ⇒ c	[3]
17.	cb(ab)² ⇒ aba²c	[7]

# ab:ababab=abaaa ac/b abaaa=c magic:0 ccaaa=caaac caaacaaa=caaaaaac caaaaaaaaa=ccc caaaaaacaaa=cccc abcc=caaaaaa abaaa=c abcaaa=cc cbcc=abaacaaaaaa cbaaa=abaac cbcaaa=abaacc cab=abc caaaab=cc caaaaaaab=caaac ababc=caaa cbabc=abaacaaa ababab=c cbabab=abaac

Up:	Monoids with two generators and one relation
Prev:	#5867 ⟨a, b \| ababab=aabba⟩
Next:	#5869 ⟨a, b \| ababab=abaab⟩

#5868 ⟨a, b | ababab=abaaa⟩

Quick links

Properties

Rewriting system