#727 ⟨a, b | abbabbbba=1⟩

Properties

Presentation has sum-of-sides 9
Infinite non-Abelian group
Group inverses:
- a^-1 = bdb³d
- b^-1 = cbdb³
- c^-1 = bdb⁴
- d^-1 = cbdb³dbdb³

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 recursive path with deg(d) = 0; deg(b) = 1; deg(c) = deg(a) = 2, c < a
Auxiliary generator: aa=c
Auxiliary generator: ba=d

# ab:abbabbbba=1 d/b/ca aa=c,ba=d frequency:2/3,2/2
dbdbbbd=b
dbdbbbb=bbdbbbd
cbdbbbb=1
dc=cbddbdbd
bc=cbddbdbb
a=cbdbbbd

Up:	Monoids with two generators and one relation
Prev:	#722 ⟨a, b \| abbaaabba=1⟩
Next:	#728 ⟨a, b \| abbbaaaab=1⟩