Back

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

Monoid presentation of length 10

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. b16 ⇒ 1
  2. b2a ⇒ ab2
  3. aba ⇒ b13
  4. ba2 ⇒ a2b9
  5. a3 ⇒ bab3

Right Cayley graph

Left Cayley graph

Others with same cardinality

6 unique, 13 total

Length:Presentation:Description:Related:
9 〈a, b | aab=ba, bbbb=1〉 Finite non-commutative monoid with 64 elements 2 isomorphic
10 〈a, b | abab=ba, bbbb=1〉 Finite non-commutative monoid with 64 elements
10 〈a, b | aa=1, ababa=bbb〉 Finite non-commutative monoid with 64 elements 2 isomorphic
11 〈a, b | baab=abb, bbbb=1〉 Finite non-commutative monoid with 64 elements 1 isomorphic
11 〈a, b | aaaa=1, abaab=ba〉 Finite non-commutative monoid with 64 elements
11 〈a, b | aa=1, abababa=bb〉 Finite non-commutative monoid with 64 elements 2 isomorphic

Other isomorphic instances

2 total

Length:Presentation:
10〈a, b | aaaa=1, abbbab=1〉
10〈a, b | aaaa=1, bababb=1〉