Back

〈a, b | ba=ab, aaa=1〉

Monoid presentation of length 7

Properties

Completion parameters

Complete rewriting system

  1. ba ⇒ ab
  2. a3 ⇒ 1

Right Cayley graph (truncated)

Other isomorphic instances

11 total

Length:Presentation:
8〈a, b | aaa=1, aaba=b〉
9〈a, b | bab=abb, bbb=1〉
9〈a, b | bba=abb, bbb=1〉
10〈a, b | aaa=1, aaaab=ba〉
10〈a, b | aaa=1, aaaba=ab〉
10〈a, b | aaa=1, aabaa=ab〉
11〈a, b | aaa=1, aaaaaba=b〉
11〈a, b | aaa=1, aaaabaa=b〉
11〈a, b | aaa=1, aaba=aaab〉
11〈a, b | aaa=1, abaa=aaab〉
11〈a, b | aaa=1, abaa=aaba〉