#1402 ⟨a, b | aabaaabbba=1⟩
Properties
- Presentation has sum-of-sides 10
- Infinite non-Abelian group
- Group inverses:
- a-1 = a2cdb
- b-1 = d2b
- c-1 = d2
- d-1 = cd
Complete rewriting system
- Reduction order:
- Left-to-right recursive path with deg(c) = deg(d) = deg(b) = 0, c < d < b; deg(a) = 1
- Auxiliary generator: bb=c
- Auxiliary generator: baaa=d
- dc ⇒ cd
- bc ⇒ cb
- b2 ⇒ c
- cd2 ⇒ 1
- bd2 ⇒ d2b
- ba ⇒ dacdb
- bda ⇒ cad2bd
- a3 ⇒ d2bd
# ab:aabaaabbba=1 cdb/a bb=c,baaa=d frequency:2/2,4/1
dc=cd
bc=cb
bb=c
cdd=1
bdd=ddb
ba=dacdb
bda=caddbd
aaa=ddbd
Right Cayley graph (truncated)
Left Cayley graph (truncated)