Back

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

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. ab ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

24 total

Length:Presentation:
7〈a, b | aa=1, aab=ab〉
9〈a, b | aa=1, aaaaab=b〉
9〈a, b | aa=1, aaabaa=b〉
9〈a, b | aa=1, aaaab=ab〉
9〈a, b | aa=1, aaaba=ba〉
9〈a, b | aa=1, aabaa=ab〉
9〈a, b | aa=1, aaab=aab〉
9〈a, b | aa=1, aaab=baa〉
9〈a, b | aa=1, aaba=aba〉
11〈a, b | aa=1, aaaaaaab=b〉
11〈a, b | aa=1, aaaaabaa=b〉
11〈a, b | aa=1, aaaaaab=ab〉
11〈a, b | aa=1, aaaaaba=ba〉
11〈a, b | aa=1, aaaabaa=ab〉
11〈a, b | aa=1, aaaaab=aab〉
11〈a, b | aa=1, aaaaab=baa〉
11〈a, b | aa=1, aaaaba=aba〉
11〈a, b | aa=1, aaabaa=aab〉
11〈a, b | aa=1, aaabaa=baa〉
11〈a, b | aa=1, aaaab=aaab〉
11〈a, b | aa=1, aaaab=abaa〉
11〈a, b | aa=1, aaaba=aaba〉
11〈a, b | aa=1, aaaba=baaa〉
11〈a, b | aa=1, aabaa=aaab〉

Other anti-isomorphic instances

24 total

Length:Presentation:
7〈a, b | aa=1, aaba=b〉
7〈a, b | aa=1, aab=ba〉
7〈a, b | aa=1, aba=ab〉
9〈a, b | aa=1, aaaaba=b〉
9〈a, b | aa=1, aaaab=ba〉
9〈a, b | aa=1, aaaba=ab〉
9〈a, b | aa=1, aaab=aba〉
9〈a, b | aa=1, aaba=aab〉
9〈a, b | aa=1, aaba=baa〉
11〈a, b | aa=1, aaaaaaba=b〉
11〈a, b | aa=1, aaaabaaa=b〉
11〈a, b | aa=1, aaaaaab=ba〉
11〈a, b | aa=1, aaaaaba=ab〉
11〈a, b | aa=1, aaaabaa=ba〉
11〈a, b | aa=1, aaabaaa=ab〉
11〈a, b | aa=1, aaaaab=aba〉
11〈a, b | aa=1, aaaaba=aab〉
11〈a, b | aa=1, aaaaba=baa〉
11〈a, b | aa=1, aaabaa=aba〉
11〈a, b | aa=1, aaaab=aaba〉
11〈a, b | aa=1, aaaab=baaa〉
11〈a, b | aa=1, aaaba=aaab〉
11〈a, b | aa=1, aaaba=abaa〉
11〈a, b | aa=1, aabaa=aaba〉