Back

a, b | baab=abb, bbbb=1

Monoid presentation of length 11

Properties

Completion parameters

Complete rewriting system

  1. a16a
  2. abba2
  3. b4 ⇒ 1

Idempotents

2 elements

Right Cayley graph

Left Cayley graph

Others with same cardinality

6 unique, 14 total

Length:Presentation:Description:Related:
9 a, b | aab=ba, bbbb=1 Finite non-commutative monoid with 64 elements 2 isomorphic
10 a, b | abab=ba, bbbb=1 Finite non-commutative monoid with 64 elements
10 a, b | aaaa=1, ababbb=1 Finite non-Abelian group with 64 elements 2 isomorphic
10 a, b | aa=1, ababa=bbb Finite non-commutative monoid with 64 elements 2 isomorphic
11 a, b | aaaa=1, abaab=ba Finite non-commutative monoid with 64 elements
11 a, b | aa=1, abababa=bb Finite non-commutative monoid with 64 elements 2 isomorphic

Other isomorphic instances

1 total

Length:Presentation:
11a, b | aaaa=1, aaaba=bb