Back

〈a, b | aaaa=a, abbba=b〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b25 ⇒ b
  2. bab24 ⇒ ba
  3. b4a ⇒ ab4
  4. a2b ⇒ b3a
  5. ab2a ⇒ bab21
  6. ab3a ⇒ b
  7. ba2 ⇒ ab3
  8. (ba)2 ⇒ abab7
  9. a4 ⇒ a

Idempotents

3 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 4 total

Length:Presentation:Description:Related:
11 〈a, b | aaab=bba, bbbb=1〉 Finite non-commutative monoid with 148 elements 1 isomorphic
11 〈a, b | babb=aaa, bbbb=1〉 Finite non-commutative monoid with 148 elements
11 〈a, b | aaaa=1, aabbb=ba〉 Finite non-commutative monoid with 148 elements