Back

a, b | aaba=ab, bbbbb=1

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a3a
  2. abaa2b
  3. ab2aa2b2
  4. ab3aa2b3
  5. b5 ⇒ 1
  6. ab4aa2b4

Idempotents

6 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

5 unique, 6 total

Length:Presentation:Description:Related:
10 a, b | aaab=a, bbbbb=1 Finite non-commutative monoid with 55 elements
10 a, b | aaa=ab, bbbbb=1 Finite non-commutative monoid with 55 elements
11 a, b | aaabb=a, bbbbb=1 Finite non-commutative monoid with 55 elements 1 isomorphic
11 a, b | abb=aaa, bbbbb=1 Finite non-commutative monoid with 55 elements
11 a, b | aaa=ab, bbbbb=b Finite non-commutative monoid with 55 elements