Back

a, b | aaa=1, baab=a

Monoid presentation of length 8

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a3 ⇒ 1
  2. ba2ba

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

14 total

Length:Presentation:
9a, b | aaa=1, aabaab=1
9a, b | aaa=1, abaaba=1
10a, b | aaa=1, abaab=aa
11a, b | aaaa=a, aabaab=1
11a, b | aaaa=a, abaaba=1
11a, b | aaab=b, aabaab=1
11a, b | aaab=b, abaaba=1
11a, b | aaab=b, baabaa=1
11a, b | abba=b, abbabb=1
11a, b | abba=b, babbab=1
11a, b | aaa=1, aaabaab=a
11a, b | aaa=1, aabaaba=a
11a, b | aaa=1, baaaaab=a
11a, b | aaa=1, baab=aaaa