Back

〈a, b | aa=1, bababb=b〉

Monoid presentation of length 9

Properties

Completion parameters

Complete rewriting system

  1. a2 ⇒ 1
  2. (ba)2b2 ⇒ b

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

6 total

Length:Presentation:
11〈a, b | aa=1, aabababb=b〉
11〈a, b | aa=1, baaababb=b〉
11〈a, b | aa=1, babaaabb=b〉
11〈a, b | aa=1, abababb=ab〉
11〈a, b | aa=1, bababb=aab〉
11〈a, b | aa=1, bababb=baa〉

Other anti-isomorphic instances

3 total

Length:Presentation:
11〈a, b | aa=1, aabbabab=b〉
11〈a, b | aa=1, baababab=b〉
11〈a, b | aa=1, abbabab=ab〉