#1632 ⟨a, b | aaababbaa=b⟩

Contents

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

Properties

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

Rewriting system

1

# ab:aaababbaa=b ba - -
aaababbb=bababbaa
aaababbab=baababbaa
aaababbaa=b

Other submonoids of same group