Back

〈a, b | aaa=1, abababa=b〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b13 ⇒ b
  2. bab12 ⇒ ba
  3. b2a ⇒ ab2
  4. ba2b12 ⇒ ba2
  5. a3 ⇒ 1
  6. a(ba)2 ⇒ ba2b11
  7. a2ba2 ⇒ b(ab)2
  8. b(aba)2 ⇒ (aba)2b7

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 9 total

Length:Presentation:Description:Related:
9 〈a, b | bab=aaa, bbb=1〉 Finite non-commutative monoid with 147 elements 3 isomorphic
9 〈a, b | aaa=1, abbba=b〉 Finite non-commutative monoid with 147 elements 3 isomorphic
11 〈a, b | aaa=1, babab=aba〉 Finite non-commutative monoid with 147 elements