Back

〈a, b | aaaa=1, ababbb=b〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b7 ⇒ b
  2. bab ⇒ ab2
  3. a2b ⇒ b4
  4. a4 ⇒ 1

Idempotents

5 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 3 total

Length:Presentation:Description:Related:
10 〈a, b | aaaa=ab, bbbb=1〉 Finite non-commutative monoid with 52 elements
10 〈a, b | aaaa=1, abbbb=b〉 Finite non-commutative monoid with 52 elements
11 〈a, b | aaaa=ab, bbbb=b〉 Finite non-commutative monoid with 52 elements

Other isomorphic instances

1 total

Length:Presentation:
11〈a, b | aaaa=1, abbabb=b〉