#3767 ⟨a, b | abababaaab=a⟩

Quick links

Properties
Rewriting system

Properties

Presentation has sum-of-sides 11
Infinite non-commutative monoid

Rewriting system

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

#	Rule	Proof
1.	cd ⇒ e²d³c	[28]
2.	ce ⇒ (e²d³)²e³c	[29]
3.	d³a ⇒ e	[4]
4.	ead ⇒ a	[5]
5.	d³eae ⇒ ed²a	[11]
6.	e⁴ae ⇒ d³c	[21]
7.	d³e²ae ⇒ eda	[14]
8.	d³e³ae ⇒ ea	[22]
9.	ede³aed ⇒ d³ed³c	[31]
10.	ed²e³aed ⇒ d⁶c	[30]
11.	ede³ae² ⇒ d³e(d³e²)²ec	[33]
12.	ed²e³ae² ⇒ d⁶e²d³e³c	[32]
13.	eb ⇒ d⁴	[9]
14.	ca ⇒ ac	[6]
15.	a² ⇒ e³ae	[15]
16.	ada ⇒ e²ae	[12]
17.	e³aea ⇒ c	[19]
18.	ad²a ⇒ eae	[10]
19.	(ae)² ⇒ e³aed²a	[25]
20.	adeae ⇒ e²aed²a	[17]
21.	ae²ae ⇒ e³aeda	[26]
22.	ad²eae ⇒ eaed²a	[13]
23.	ade²ae ⇒ e²aeda	[18]
24.	ae³ae ⇒ c	[27]
25.	ad²e²ae ⇒ eaeda	[16]
26.	ade³ae ⇒ e(ea)²	[24]
27.	ad²e³ae ⇒ (ea)²	[23]
28.	cb ⇒ e³aed	[20]
29.	ab ⇒ d	[3]

# ab:abababaaab=a reversed:de/cab aaa=c,ab=d,ddda=e morph:3/0,2/1,4/0
cd=eedddc
ce=eedddeedddeeec
ddda=e
ead=a
dddeae=edda
eeeeae=dddc
dddeeae=eda
dddeeeae=ea
edeeeaed=dddedddc
eddeeeaed=ddddddc
edeeeaee=dddedddeedddeeec
eddeeeaee=ddddddeedddeeec
eb=dddd
ca=ac
aa=eeeae
ada=eeae
eeeaea=c
adda=eae
aeae=eeeaedda
adeae=eeaedda
aeeae=eeeaeda
addeae=eaedda
adeeae=eeaeda
aeeeae=c
addeeae=eaeda
adeeeae=eeaea
addeeeae=eaea
cb=eeeaed
ab=d