#3391 ⟨a, b | aaaababbaa=b⟩

Contents

1. Properties
2. Rewriting system
3. Other submonoids of same group

Properties

• Sum of relation sides is 11
• Infinite cancellative non-commutative monoid
• Element a has infinite order
• Submonoid of enveloping group: ⟨a, b | aaaabaab^-1a^-1b^-1b^-1⟩
  • Anti-isomorphic embedding: φ(a) = a, φ(b) = b^-1a^-1

Rewriting system

1

# ab:aaaababbaa=b ba - -
aaaababbb=baababbaa
aaaababbab=baaababbaa
aaaababbaa=b

Other submonoids of same group