#1432 ⟨a, b | aababbbaab=1⟩
Properties
- Presentation has sum-of-sides 10
- Infinite non-Abelian group
- Group inverses:
- a-1 = bced
- b-1 = ac2e
- c-1 = ced
- d-1 = c2e
- e-1 = dc2
Complete rewriting system
- Reduction order:
- Left-to-right recursive path with deg(c) = deg(d) = deg(e) = 0, c < d < e; deg(a) = 1; deg(b) = 2
- Auxiliary generator: ab=c
- Auxiliary generator: ba=d
- Auxiliary generator: bda=e
- edc ⇒ ced
- c2ed ⇒ 1
- dc2e ⇒ 1
- ca ⇒ ad
- da ⇒ ac2e2
- ea ⇒ ac2ec2d
- ba ⇒ d
- db ⇒ bc
- eb ⇒ bdc
- c2b ⇒ be
- ab ⇒ c
# ab:aababbbaab=1 cde/a/b ab=c,ba=d,bda=e frequency:2/0,2/4,3/1
edc=ced
cced=1
dcce=1
ca=ad
da=accee
ea=acceccd
ba=d
db=bc
eb=bdc
ccb=be
ab=c
Right Cayley graph (truncated)
Left Cayley graph (truncated)
