Back
〈
a
,
b
|
aaaa
=
1
,
babbb
=
ab
〉
Monoid presentation of length 11
Properties
Finite non-commutative monoid with 244 elements
Completion parameters
Reduction order: left-to-right b/a
Complete rewriting system
b
16
⇒
b
bab
⇒
ab
14
ba
2
b
⇒
a
2
b
5
ba
3
b
⇒
a
3
b
8
a
4
⇒ 1
Idempotents
5 elements
1
b
15
a
3
b
15
a
a
2
b
15
a
2
ab
15
a
3
Right Cayley graph
Left Cayley graph
Others with same cardinality
1 unique, 1 total
Length:
Presentation:
Description:
Related:
11
〈
a
,
b
|
aaaa
=
1
,
bbabb
=
ab
〉
Finite non-commutative monoid with 244 elements
