Back

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

Monoid presentation of length 8

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a2 ⇒ 1
  2. cac ⇒ a
  3. bc ⇒ cb
  4. bac ⇒ acaba
  5. b2 ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

6 total

Length:Presentation:
10〈a, b | aab=b, abbabb=1〉
10〈a, b | aa=1, aaabbabb=1〉
10〈a, b | aa=1, abaababb=1〉
10〈a, b | aa=1, abbaaabb=1〉
10〈a, b | aa=1, abbabaab=1〉
10〈a, b | aa=1, abbabb=aa〉

Other anti-isomorphic instances

10 total

Length:Presentation:
8〈a, b | aa=1, babbab=1〉
10〈a, b | aaa=a, abbabb=1〉
10〈a, b | aab=b, babbab=1〉
10〈a, b | aab=b, bbabba=1〉
10〈a, b | aa=1, aababbab=1〉
10〈a, b | aa=1, aabbabba=1〉
10〈a, b | aa=1, baaabbab=1〉
10〈a, b | aa=1, babaabab=1〉
10〈a, b | aa=1, abbabba=a〉
10〈a, b | aa=1, babbab=aa〉