Back

a, b | bab=a, bbb=1

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. b3 ⇒ 1
  2. baab2

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

11 total

Length:Presentation:
8a, b | abb=ba, bbb=1
9a, b | aaa=1, aabaa=b
9a, b | aaa=1, aaba=ab
10a, b | aaa=1, aaaaba=b
10a, b | aaa=1, aaab=aba
10a, b | aaa=1, aaba=baa
11a, b | aaa=1, aaaaab=ba
11a, b | aaa=1, aaabaa=ab
11a, b | aaa=1, aaaab=baa
11a, b | aaa=1, aaaba=aab
11a, b | aaa=1, aabaa=aba