Back

〈a, b | aabb=ba, bbbb=1〉

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. a5 ⇒ a
  2. a4ba ⇒ ba
  3. b2a ⇒ a2ba2
  4. (ba)2 ⇒ aba4
  5. ba2ba ⇒ a3ba3
  6. ba3ba ⇒ a2
  7. ab2 ⇒ a3ba
  8. b4 ⇒ 1

Idempotents

3 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 6 total

Length:Presentation:Description:Related:
10 〈a, b | baa=abb, aaaa=1〉 Finite non-commutative monoid with 44 elements 1 anti-isomorphic
11 〈a, b | abab=bba, bbbb=1〉 Finite non-commutative monoid with 44 elements 1 isomorphic
11 〈a, b | babb=aba, bbbb=1〉 Finite non-commutative monoid with 44 elements 1 anti-isomorphic

Other isomorphic instances

1 total

Length:Presentation:
10〈a, b | babb=aa, bbbb=1〉