Back
〈
a
,
b
|
aaa
=
1
,
ababbbb
=
b
〉
Monoid presentation of length 11
Properties
Finite non-commutative monoid with 111 elements
Completion parameters
Reduction order: left-to-right b/a
Complete rewriting system
b
13
⇒
b
b
2
ab
⇒
ab
3
a
2
b
⇒
bab
4
(ab)
2
⇒
b
10
a
3
⇒ 1
Idempotents
4 elements
1
b
12
bab
3
a
ab
12
a
2
Right Cayley graph
Left Cayley graph
Other isomorphic instances
1 total
Length:
Presentation:
11
〈
a
,
b
|
aaa
=
1
,
abbbabb
=
b
〉
