Back

a, b | aa=1, babb=bab

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. bab2bab

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

5 total

Length:Presentation:
11a, b | aa=1, aababb=bab
11a, b | aa=1, baaabb=bab
11a, b | aa=1, aabab=babb
11a, b | aa=1, ababb=abab
11a, b | aa=1, baaab=babb

Other anti-isomorphic instances

4 total

Length:Presentation:
11a, b | aa=1, aabbab=bab
11a, b | aa=1, baabab=bab
11a, b | aa=1, aabab=bbab
11a, b | aa=1, abbab=abab