#4887 ⟨a, b | abbbbbba=bab⟩

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:
- Left-to-right shortlex with b < a < c < d < e < f < g < h
Auxiliary generators:
1. ab=c
2. cb=d
3. db=e
4. eb=f
5. fb=g
6. gb=h
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	ab ⇒ c	[2]
2.	cb ⇒ d	[3]
3.	db ⇒ e	[4]
4.	eb ⇒ f	[5]
5.	fb ⇒ g	[6]
6.	gb ⇒ h	[7]
7.	ha ⇒ bc	[9]
8.	hc ⇒ bd	[10]
9.	hd ⇒ be	[11]
10.	he ⇒ bf	[12]
11.	hf ⇒ bg	[13]
12.	hg ⇒ bh	[14]
13.	bhb ⇒ h²	[15]
14.	chb ⇒ ah²	[16]
15.	dhb ⇒ ch²	[17]
16.	ehb ⇒ dh²	[18]
17.	fhb ⇒ eh²	[19]
18.	ghb ⇒ fh²	[20]
19.	h²b ⇒ gh²	[21]

# ab:abbbbbba=bab bacdefgh ab=c,cb=d,db=e,eb=f,fb=g,gb=h morph:2/1,2/1,2/1,2/1,2/1,2/0
ab=c
cb=d
db=e
eb=f
fb=g
gb=h
ha=bc
hc=bd
hd=be
he=bf
hf=bg
hg=bh
bhb=hh
chb=ahh
dhb=chh
ehb=dhh
fhb=ehh
ghb=fhh
hhb=ghh