#2208 ⟨a, b | ba=ab, aaaa=a⟩

Quick links

1. Properties
2. Staircase diagram
3. Rewriting system
4. Isomorphic instances

Properties

• Presentation has sum-of-sides 9
• Isomorphic to ℕ_{(4 = 1)} ⊕ ℕ
• Infinite non-cancellative commutative monoid
• Not cancellative, because multiplication by ab is not injective:
  • ab ⋅ a³ = ab and ab ⋅ 1 = ab, however a³ ≠ 1
• Commutative Gröbner basis: ⟨a, b | a⁴=a⟩
• Cancellative quotient is isomorphic to ℤ₃ ⊕ ℕ
• Enveloping group is isomorphic to ℤ₃ ⊕ ℤ
• Group of units is isomorphic to ℤ₁
• 4 Archimedian components:
  • 1, a, b, ab

Staircase diagram

Rewriting system

1

# ab:ba=ab,aaaa=a ab
ba=ab
aaaa=a

Isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.