Back
〈
a
,
b
|
aaa
=
1
,
bbabbb
=
ba
〉
Monoid presentation of length 11
Properties
Finite non-commutative monoid with 255 elements
Completion parameters
Reduction order: right-to-left b/a
Complete rewriting system
b
29
⇒
b
bab
⇒
b
10
a
ba
2
b
⇒
b
26
a
2
a
3
⇒ 1
Idempotents
4 elements
1
b
28
a
2
b
28
a
ab
28
a
2
Right Cayley graph
Left Cayley graph
Others with same cardinality
1 unique, 1 total
Length:
Presentation:
Description:
Related:
11
〈
a
,
b
|
aaa
=
1
,
babbbb
=
ab
〉
Finite non-commutative monoid with 255 elements
