#2624 ⟨a, b | abbaab=bbaa⟩
Properties
- Presentation has sum-of-sides 10
- Infinite non-commutative monoid
Complete rewriting system
- Reduction order:
- Left-to-right recursive path with deg(c) = deg(d) = 0, c < d; deg(a) = deg(b) = 1, a < b
- Auxiliary generator: ab=c
- Auxiliary generator: ba=d
- ca ⇒ ad
- cda ⇒ acdc
- db ⇒ bc
- cdcb ⇒ bdc
- ab ⇒ c
- ba ⇒ d
- bda ⇒ cdc
# ab:abbaab=bbaa cd/ab ab=c,ba=d frequency:2/0,2/1
ca=ad
cda=acdc
db=bc
cdcb=bdc
ab=c
ba=d
bda=cdc
Right Cayley graph (truncated)
Left Cayley graph (truncated)
