Back

〈a, b | aaaa=1, aabb=1〉

Monoid presentation of length 8

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. b2 ⇒ a2
  2. ba2 ⇒ a2b
  3. a4 ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

23 total

Length:Presentation:
8〈a, b | aaaa=1, abba=1〉
8〈a, b | aaaa=1, baab=1〉
8〈a, b | bb=aa, aaaa=1〉
8〈a, b | bb=aa, aabb=1〉
8〈a, b | bb=aa, abba=1〉
10〈a, b | abb=aaa, aaaa=1〉
10〈a, b | abb=aaa, aabb=1〉
10〈a, b | abb=aaa, abba=1〉
10〈a, b | abb=aaa, baab=1〉
10〈a, b | abb=aaa, bbaa=1〉
10〈a, b | aaaa=1, aaabb=a〉
10〈a, b | aaaa=1, aabba=a〉
10〈a, b | aaaa=1, abaab=a〉
10〈a, b | aabb=1, aaaaa=a〉
10〈a, b | aabb=1, aaaab=b〉
10〈a, b | aabb=1, aabaa=b〉
10〈a, b | aabb=1, baaaa=b〉
10〈a, b | abba=1, aaaaa=a〉
10〈a, b | abba=1, aaaab=b〉
10〈a, b | abba=1, aabaa=b〉
10〈a, b | abba=1, abbbb=a〉
10〈a, b | abba=1, bbabb=a〉
10〈a, b | abba=1, bbbbb=b〉