Back

a, b | bab=ab, bbb=1

Monoid presentation of length 8

Properties

Completion parameters

Complete rewriting system

  1. baa
  2. b3 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

10 total

Length:Presentation:
9a, b | aaa=1, aaaab=b
9a, b | aaa=1, aaab=ab
9a, b | aaa=1, aaba=ba
10a, b | aaa=1, aaaaab=b
10a, b | aaa=1, aaab=aab
10a, b | aaa=1, aaba=aba
11a, b | aaa=1, aaaaab=ab
11a, b | aaa=1, aaaaba=ba
11a, b | aaa=1, aaaab=aab
11a, b | aaa=1, aaaba=aba