群同态基本定理证明_正二十面体群和五阶交错群

本文复述Michael Artin所著Algebra一书第7.4节的两个证明:

1. 正二十面体群
   是一个单群.
2. 五阶交错群
   和
   同构.

由此可以得到

是一个单群.

---

定义

正二十面体群: 正二十面体群

是三维旋转群

的一个60阶有限子群, 刻画了正十二面体/正二十面体(互为对偶正多面体)的60种旋转对称.

正十二面体和正二十面体.

以正十二面体为例, 它的旋转对称包括:

• 以中心-任意顶点为轴的
  角度旋转对称.
• 以中心-任意面中点为轴的
  角度旋转对称.
• 以中心-任意棱中点为轴的
  角度旋转对称.

这样的旋转共有60种, 而且形成了

的一个子群. 由于正十二面体和正二十面体的顶点和面可以互换, 以上旋转对称对正二十面体也成立.

共轭类: 群

中元素

的共轭类是指

在共轭作用

下形成的轨道, 记作