Back

〈a, b | aaba=b, bbbb=1〉

Monoid presentation of length 9

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a15 ⇒ 1
  2. ab ⇒ ba7
  3. b4 ⇒ 1

Right Cayley graph

Left Cayley graph

Others with same cardinality

11 unique, 28 total

Length:Presentation:Description:Related:
10 〈a, b | aaba=bb, bbbb=1〉 Finite non-Abelian group with 60 elements 2 isomorphic
10 〈a, b | aaaa=1, aababb=1〉 Finite non-Abelian group with 60 elements 3 isomorphic
10 〈a, b | aaaa=1, baabb=a〉 Finite non-Abelian group with 60 elements
11 〈a, b | baabb=a, bbbbb=1〉 Finite non-commutative monoid with 60 elements
11 〈a, b | aaba=bb, aaaaa=1〉 Finite non-commutative monoid with 60 elements
11 〈a, b | aabb=ba, aaaaa=1〉 Finite non-commutative monoid with 60 elements
11 〈a, b | baa=abb, aaaaa=1〉 Finite non-commutative monoid with 60 elements
11 〈a, b | aaba=b, abbabb=1〉 Finite non-Abelian group with 60 elements 2 isomorphic
11 〈a, b | aaaa=1, baabab=a〉 Finite non-Abelian group with 60 elements
11 〈a, b | aa=1, ababbabbb=1〉 Finite non-Abelian group with 60 elements 4 isomorphic
11 〈a, b | aa=1, ababbbabb=1〉 Finite non-Abelian group with 60 elements 6 isomorphic

Other isomorphic instances

4 total

Length:Presentation:
11〈a, b | aaaa=1, aaabbab=1〉
11〈a, b | aaaa=1, aabbaba=1〉
11〈a, b | aaaa=1, abaaabb=1〉
11〈a, b | aaaa=1, abbab=aa〉

Other anti-isomorphic instances

5 total

Length:Presentation:
11〈a, b | aaaa=1, aaababb=1〉
11〈a, b | aaaa=1, aababba=1〉
11〈a, b | aaaa=1, abbaaab=1〉
11〈a, b | aaaa=1, baaabab=1〉
11〈a, b | aaaa=1, ababb=aa〉