Back
〈
a
,
b
|
aaaa
=
1
,
ababbbb
=
1
〉
Monoid presentation of length 11
Properties
Finite non-Abelian group with 480 elements
Completion parameters
Reduction order: left-to-right b/a
Inverses of generators
a
-1
=
bab
4
b
-1
=
b
59
Complete rewriting system
b
60
⇒ 1
b
3
a
⇒
ab
3
aba
⇒
b
56
bab
2
a
⇒
a
2
b
53
b
2
a
2
⇒
ab
2
ab
10
a
3
⇒
bab
4
ba
2
b
2
a
⇒
a
2
b
2
ab
41
Right Cayley graph
Left Cayley graph
Other isomorphic instances
3 total
Length:
Presentation:
11
〈
a
,
b
|
aaaa
=
1
,
abbbbab
=
1
〉
11
〈
a
,
b
|
aaaa
=
1
,
bababbb
=
1
〉
11
〈
a
,
b
|
aaaa
=
1
,
bbababb
=
1
〉
