Back
〈
a
,
b
|
aaba
=
b
,
abbbb
=
a
〉
Monoid presentation of length 11
Properties
Finite non-commutative monoid with 61 elements
Completion parameters
Reduction order: right-to-left a/b
Complete rewriting system
a
16
⇒
a
a
15
b
⇒
b
ba
⇒
a
13
b
b
4
⇒
a
15
Idempotents
2 elements
1
a
15
Right Cayley graph
Left Cayley graph
Others with same cardinality
1 unique, 1 total
Length:
Presentation:
Description:
Related:
11
〈
a
,
b
|
aaba
=
b
,
bbbba
=
a
〉
Finite non-commutative monoid with 61 elements