#1471 ⟨a, b | aabbbbbaba=1⟩

Quick links

Properties
Rewriting system

Properties

Presentation has sum-of-sides 10
Infinite non-Abelian group
Inverses of generators:
- a^-1 = da²
- b^-1 = b⁴abc
- c^-1 = d
- d^-1 = c

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 recursive path with deg(c) = deg(d) = deg(a) = 0, c < d < a; deg(b) = 1
Auxiliary generators:
1. aaa=c
2. bbbbbab=d
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	cd ⇒ 1	[9]
2.	dc ⇒ 1	[11]
3.	ac ⇒ ca	[5]
4.	ad ⇒ da	[10]
5.	a³ ⇒ c	[2]
6.	abcb ⇒ babc	[21]
7.	a(ab)² ⇒ (cb)²d	[23]
8.	a²b²ab ⇒ cbcb²d	[25]
9.	a²b³ab ⇒ cbcb³d	[27]
10.	cb⁵ ⇒ b⁴aba²	[15]
11.	db⁴ab ⇒ b⁵da	[12]
12.	cab⁵ ⇒ ab⁴aba²	[16]
13.	dab⁴ab ⇒ ab⁵da	[14]
14.	a²b⁵ ⇒ bcb⁴da²	[32]
15.	a²b⁴ab ⇒ cbcb⁴d	[30]
16.	b⁵ab ⇒ d	[3]

# ab:aabbbbbaba=1 cda/b aaa=c,bbbbbab=d magic:0
cd=1
dc=1
ac=ca
ad=da
aaa=c
abcb=babc
aabab=cbcbd
aabbab=cbcbbd
aabbbab=cbcbbbd
cbbbbb=bbbbabaa
dbbbbab=bbbbbda
cabbbbb=abbbbabaa
dabbbbab=abbbbbda
aabbbbb=bcbbbbdaa
aabbbbab=cbcbbbbd
bbbbbab=d