Back

〈a, b | aaa=1, abab=1〉

Monoid presentation of length 7

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a3 ⇒ 1
  2. bab ⇒ a2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

28 total

Length:Presentation:
9〈a, b | aaaa=a, abab=1〉
9〈a, b | aaab=b, abab=1〉
9〈a, b | aaab=b, baba=1〉
9〈a, b | aaa=1, aabab=a〉
9〈a, b | aaa=1, ababa=a〉
10〈a, b | aaa=1, aaaabab=1〉
10〈a, b | aaa=1, aaababa=1〉
10〈a, b | aaa=1, aababaa=1〉
10〈a, b | aaa=1, abaaaab=1〉
10〈a, b | aaa=1, abab=aaa〉
11〈a, b | abab=aaa, baba=1〉
11〈a, b | abab=1, aaaabab=1〉
11〈a, b | abab=1, aaababa=1〉
11〈a, b | abab=1, aababaa=1〉
11〈a, b | abab=1, abaaaab=1〉
11〈a, b | abab=1, ababaaa=1〉
11〈a, b | abab=1, baaaaba=1〉
11〈a, b | abab=1, babaaaa=1〉
11〈a, b | abab=1, aaaaa=aa〉
11〈a, b | abab=1, aaaab=ab〉
11〈a, b | abab=1, aaaba=ba〉
11〈a, b | abab=1, abaaa=ab〉
11〈a, b | abab=1, baaaa=ba〉
11〈a, b | abab=1, bbaaa=bb〉
11〈a, b | aaa=1, aaabab=aa〉
11〈a, b | aaa=1, aababa=aa〉
11〈a, b | aaa=1, baaaab=aa〉
11〈a, b | aaa=1, aaaaa=bab〉