Aut
Γ
G
Γ
ℤ
2
2
:
S
5
ℤ
2
2
:
S
3
引理3.1
(
A
5
×
A
5
)
:
ℤ
4
A
4
×
A
5
引理3.1