Back

a, b | aba=ab, bbbbbb=1

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a2a
  2. abaab
  3. ab2aab2
  4. ab3aab3
  5. ab4aab4
  6. b6 ⇒ 1
  7. ab5aab5

Idempotents

7 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

6 unique, 12 total

Length:Presentation:Description:Related:
10 a, b | aab=a, bbbbbb=1 Finite non-commutative monoid with 42 elements
10 a, b | ab=aa, bbbbbb=1 Finite non-commutative monoid with 42 elements
11 a, b | abab=a, bbbbbb=1 Finite non-commutative monoid with 42 elements
11 a, b | aaa=bb, aabaab=1 Finite non-Abelian group with 42 elements 1 isomorphic
11 a, b | ab=aa, bbbbbb=b Finite non-commutative monoid with 42 elements
11 a, b | aa=1, abbabbbbb=1 Finite non-Abelian group with 42 elements 5 isomorphic