Back

〈a, b | aaa=ab, abb=a〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a5 ⇒ a
  2. ab ⇒ a3

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

5 total

Length:Presentation:
10〈a, b | aaa=ab, aaab=a〉
10〈a, b | aaa=ab, aaba=a〉
10〈a, b | aaa=ab, abaa=a〉
11〈a, b | aaab=a, aaaaa=a〉
11〈a, b | aaa=ab, aaaaa=a〉

Other anti-isomorphic instances

18 total

Length:Presentation:
9〈a, b | aab=b, abbb=b〉
11〈a, b | aaab=ab, abbb=b〉
11〈a, b | aaba=ba, abbb=b〉
11〈a, b | aabb=bb, abbb=b〉
11〈a, b | abab=bb, abbb=b〉
11〈a, b | abab=bb, babb=b〉
11〈a, b | abab=bb, bbab=b〉
11〈a, b | abba=aa, baaa=a〉
11〈a, b | aab=b, aaabbb=b〉
11〈a, b | aab=b, abaabb=b〉
11〈a, b | aab=b, ababab=b〉
11〈a, b | aab=b, abbaab=b〉
11〈a, b | aab=b, aabbb=ab〉
11〈a, b | aab=b, baabb=ab〉
11〈a, b | aab=b, babab=ab〉
11〈a, b | aab=b, bbaab=ab〉
11〈a, b | aab=b, aaab=bbb〉
11〈a, b | aab=b, abbb=aab〉