Back

〈a, b | aba=b, baabbb=a〉

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a7 ⇒ a
  2. ba6 ⇒ b
  3. ab ⇒ ba5
  4. b4 ⇒ a3

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

9 unique, 12 total

Length:Presentation:Description:Related:
10 〈a, b | abba=b, baab=a〉 Finite non-commutative monoid with 25 elements
10 〈a, b | aab=a, bbbbb=b〉 Finite non-commutative monoid with 25 elements
10 〈a, b | aaa=a, aaba=bb〉 Finite non-commutative monoid with 25 elements
11 〈a, b | aaaaa=b, bbbbb=1〉 Isomorphic to ℤ25 3 isomorphic
11 〈a, b | aaaa=a, aabba=b〉 Finite non-commutative monoid with 25 elements
11 〈a, b | abab=a, bbbbb=b〉 Finite non-commutative monoid with 25 elements
11 〈a, b | abba=b, bbabb=a〉 Finite non-commutative monoid with 25 elements
11 〈a, b | aba=a, aaaaa=bb〉 Finite non-commutative monoid with 25 elements
11 〈a, b | aba=b, aaaaa=bb〉 Finite non-commutative monoid with 25 elements

Other isomorphic instances

1 total

Length:Presentation:
11〈a, b | aba=b, babbab=a〉