Back

〈a, b | aaa=1, ababba=b〉

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. b15 ⇒ b
  2. bab14 ⇒ ba
  3. b7a ⇒ ab7
  4. ba2 ⇒ abab2
  5. (ba)2 ⇒ ab5ab3
  6. bab2a ⇒ a2b
  7. bab3a ⇒ ab3ab11
  8. bab5a ⇒ ab4ab6
  9. bab6a ⇒ ab2ab5
  10. b2ab4a ⇒ ab6ab4
  11. a3 ⇒ 1

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

4 unique, 6 total

Length:Presentation:Description:Related:
10 〈a, b | aaa=1, babb=aba〉 Finite non-commutative monoid with 339 elements 1 isomorphic, 1 anti-isomorphic
11 〈a, b | aaa=1, abaabba=b〉 Finite non-commutative monoid with 339 elements
11 〈a, b | aaa=1, abbab=baa〉 Finite non-commutative monoid with 339 elements
11 〈a, b | aaa=1, baabb=aba〉 Finite non-commutative monoid with 339 elements

Other isomorphic instances

1 total

Length:Presentation:
11〈a, b | aaa=1, ababb=baa〉