#641 ⟨a, b | aaabbaaba=1⟩
Properties
- Presentation has sum-of-sides 9
- Infinite non-Abelian group
- Group inverses:
- a-1 = abd
- b-1 = da2
- c-1 = d
- d-1 = c
Complete rewriting system
- Reduction order:
- Right-to-left recursive path with deg(d) = deg(c) = 0, d < c; deg(b) = deg(a) = 1, b < a
- Auxiliary generator: aab=c
- Auxiliary generator: aacb=d
- cd ⇒ 1
- dc ⇒ 1
- bc ⇒ dbd
- bd2 ⇒ cb
- bda ⇒ abd
- a2d ⇒ c2a2
- a2c ⇒ d2a2
- a2b ⇒ c
# ab:aaabbaaba=1 reversed:dc/ba aab=c,aacb=d frequency:3/0,4/1
cd=1
dc=1
bc=dbd
bdd=cb
bda=abd
aad=ccaa
aac=ddaa
aab=c
Right Cayley graph (truncated)
Left Cayley graph (truncated)
