Back

〈a, b | aba=b, aaaaabb=1〉

Monoid presentation of length 11

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a10 ⇒ 1
  2. ab ⇒ ba9
  3. b2 ⇒ a5

Cayley table

1aba2baa3ba2a4ba3a5ba4a6ba5a7ba6a8ba7a9ba8ba9
11aba2baa3ba2a4ba3a5ba4a6ba5a7ba6a8ba7a9ba8ba9
aaa2ba9a3ba4baa5ba2a6ba3a7ba4a8ba5a9ba61ba7ba8
bbbaa5ba2a6ba3a7ba4a8ba5a9ba61ba7aba8a2ba9a3a4
a2a2a3ba8a4ba9a5ba6baa7ba2a8ba3a9ba41ba5aba6ba7
bababa2a4ba3a5ba4a6ba5a7ba6a8ba7a9ba81ba9aba2a3
a3a3a4ba7a5ba8a6ba9a7ba8baa9ba21ba3aba4a2ba5ba6
ba2ba2ba3a3ba4a4ba5a5ba6a6ba7a7ba8a8ba9a9b1baaa2
a4a4a5ba6a6ba7a7ba8a8ba9a9b1baaba2a2ba3a3ba4ba5
ba3ba3ba4a2ba5a3ba6a4ba7a5ba8a6ba9a7ba8baa9ba21a
a5a5a6ba5a7ba6a8ba7a9ba81ba9aba2baa3ba2a4ba3ba4
ba4ba4ba5aba6a2ba7a3ba8a4ba9a5ba6baa7ba2a8ba3a91
a6a6a7ba4a8ba5a9ba61ba7aba8a2ba9a3ba4baa5ba2ba3
ba5ba5ba61ba7aba8a2ba9a3ba4baa5ba2a6ba3a7ba4a8a9
a7a7a8ba3a9ba41ba5aba6a2ba7a3ba8a4ba9a5ba6baba2
ba6ba6ba7a9ba81ba9aba2baa3ba2a4ba3a5ba4a6ba5a7a8
a8a8a9ba21ba3aba4a2ba5a3ba6a4ba7a5ba8a6ba9a7bba
ba7ba7ba8a8ba9a9b1baaba2a2ba3a3ba4a4ba5a5ba6a6a7
a9a91baaba2a2ba3a3ba4a4ba5a5ba6a6ba7a7ba8a8ba9b
ba8ba8ba9a7ba8baa9ba21ba3aba4a2ba5a3ba6a4ba7a5a6
ba9ba9ba6baa7ba2a8ba3a9ba41ba5aba6a2ba7a3ba8a4a5

Right Cayley graph

Left Cayley graph

Others with same cardinality

28 unique, 62 total

Length:Presentation:Description:Related:
8 〈a, b | aab=a, bbbb=1〉 Finite non-commutative monoid with 20 elements 3 isomorphic, 1 anti-isomorphic
8 〈a, b | ab=aa, bbbb=1〉 Finite non-commutative monoid with 20 elements 1 isomorphic
9 〈a, b | abab=a, bbbb=1〉 Finite non-commutative monoid with 20 elements 2 isomorphic
9 〈a, b | aba=ab, bbbb=1〉 Finite non-commutative monoid with 20 elements 1 isomorphic, 1 anti-isomorphic
9 〈a, b | ab=aa, bbbb=b〉 Finite non-commutative monoid with 20 elements
10 〈a, b | abb=aab, aaaa=1〉 Finite non-commutative monoid with 20 elements 2 isomorphic
10 〈a, b | baa=abb, abab=1〉 Finite non-Abelian group with 20 elements 1 isomorphic, 1 anti-isomorphic
10 〈a, b | aaaaa=1, abbbb=1〉 Isomorphic to ℤ20 16 isomorphic
10 〈a, b | aab=bb, aaaa=a〉 Finite non-commutative monoid with 20 elements
10 〈a, b | aaa=bb, bab=aa〉 Finite non-commutative monoid with 20 elements 1 isomorphic
10 〈a, b | aba=a, aaaa=bb〉 Finite non-commutative monoid with 20 elements
10 〈a, b | aba=b, aaaa=bb〉 Finite non-commutative monoid with 20 elements
10 〈a, b | ab=aa, bbbb=bb〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aaaa=aa, abbb=b〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aaab=bb, bbba=a〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aaaa=a, bbbbb=a〉 Finite commutative monoid with 20 elements
11 〈a, b | aaaa=b, bbbbb=a〉 Finite commutative monoid with 20 elements
11 〈a, b | aaaa=b, bbbbb=b〉 Finite commutative monoid with 20 elements
11 〈a, b | aab=ba, abbabb=1〉 Finite non-Abelian group with 20 elements 2 isomorphic
11 〈a, b | aba=bb, baaab=a〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aab=aa, baba=bb〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aba=aa, aaaa=bb〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aba=aa, aaab=bb〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aba=bb, abb=aaa〉 Finite non-commutative monoid with 20 elements
11 〈a, b | aaaa=1, aaabab=b〉 Finite non-commutative monoid with 20 elements 1 isomorphic
11 〈a, b | aaaa=1, aabab=ab〉 Finite non-commutative monoid with 20 elements 1 isomorphic
11 〈a, b | aab=a, bbbbb=bb〉 Finite non-commutative monoid with 20 elements
11 〈a, b | ab=aa, bbbb=bbb〉 Finite non-commutative monoid with 20 elements

Other isomorphic instances

3 total

Length:Presentation:
11〈a, b | aba=b, aaaabba=1〉
11〈a, b | aba=b, aaabbaa=1〉
11〈a, b | aba=b, baaaaab=1〉