Back

〈a, b | aa=1, ababbaba=b〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. b7 ⇒ b
  2. bab6 ⇒ ba
  3. b3a ⇒ ab3
  4. a2 ⇒ 1
  5. bab2a ⇒ abab5
  6. b(ba)2 ⇒ ab2ab4
  7. (ba)3 ⇒ (ab)3

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

3 unique, 8 total

Length:Presentation:Description:Related:
10 〈a, b | aa=1, abbabba=b〉 Finite non-commutative monoid with 50 elements 2 isomorphic
10 〈a, b | aa=1, abbbbba=b〉 Finite non-commutative monoid with 50 elements 2 isomorphic
10 〈a, b | aa=1, abbbb=bab〉 Finite non-commutative monoid with 50 elements 1 isomorphic

Other isomorphic instances

2 total

Length:Presentation:
11〈a, b | aa=1, ababbab=ba〉
11〈a, b | aa=1, babbab=aba〉