Back
〈
a
,
b
|
aba
=
bb
,
aaabbb
=
1
〉
Monoid presentation of length 11
Properties
Finite non-Abelian group with 72 elements
Completion parameters
Reduction order: left-to-right a/b
Inverses of generators
a
-1
=
a
17
b
-1
=
aba
4
Complete rewriting system
a
18
⇒ 1
a
3
b
⇒
ba
3
b
2
⇒
aba
bab
⇒
a
14
ba
2
b
⇒
a
2
ba
11
Right Cayley graph
Left Cayley graph
Others with same cardinality
1 unique, 3 total
Length:
Presentation:
Description:
Related:
11
〈
a
,
b
|
aa
=
1
,
abbbbbba
=
b
〉
Finite non-commutative monoid with 72 elements
2 isomorphic
Other isomorphic instances
2 total
Length:
Presentation:
11
〈
a
,
b
|
aba
=
bb
,
aabbba
=
1
〉
11
〈
a
,
b
|
aba
=
bb
,
baaabb
=
1
〉
