标签：begin end 定义 equation 基础 cdots 群论 子群 置换群
我有一定概率在2023年上研究生的《群论》课。这个概率较小，但我不妨整理点笔记，做点准备。
群论体现了人类史上伟大的洞察力和天才的想象力。而且它并不难，就是要慢慢整理整理。
我真希望有一天，人能发现新的表述语言，让复杂的东西显得简单。因为我相信，在遥远的外星球，或许存在一些外星人。一定有一些东西对我们是复杂的，对他们却是简单的；有一些东西对我们是简单的，对他们反而是复杂的；这是因为任何一种表述语言和认知思维都有惯性，就像《庄子》中描述的混沌，这种惯性是知识的irony。所以，如果能发现新的表述语言，让复杂的东西显得简单，那么就绝不是新瓶装旧酒，而是美丽新发现。
1.引入
1.1 雪花的对称性
如图所示，这是一片雪花。为何雪花带给我们美感？如果抛开诗词歌赋带给我们的联想，我们是否还会认为它有美感？
也许会，也许不会。但我们能感受到这种晶莹剔透，这种晶莹剔透带给我们纯洁的感觉。
除此以外，我们也许还会注意到，它的结构是高度对称的。旋转 60度、120度、180度、240度、300度、360度，都会与自身几乎重合。
那么，如何用数学的语言，精确而简洁地刻画这种旋转对称性？
答案是6阶循环群：\(\{ E, C^1_6, C^2_6, \cdots, C^5_6 \}\)。（逐一解释每个符号）
这是一个非常抽象的记号。为何说抽象？因为它并不依赖于雪花的具体形状，下面还有 21 种雪花，都符合 6 阶循环群的描述。
此外，动画片的六芒星魔法阵也符合六阶循环群。
1.2 镜面对称
镜子外面的每一个细微之处，都会精确地显示在镜子中。
如何用数学的语言，精确地描述这种反射对称性？
答案是 2 阶群：\(\{ E, \sigma \}\)（逐一解释每个符号）。
这个符号也是抽象的，因为它不仅可以描述镜面对称，还可以描述空间反演对称性。
1.3 小结
六阶循环群\(\{ E, C^1_6, C^2_6, \cdots, C^5_6 \}\)揭示了雪花的六阶循环对称性，二阶群揭示了镜面反射对称性。
这两个群抽象出的仅仅是对称性，而忽略了雪花的具体形态，也忽略了镜中少女的容颜。
正因为这种高度的抽象，它具有普适性，可以适用于任何具有6阶旋转对称、或二阶反演对称的对象。
后面的内容先写个纲要，有空了就扩充扩充。
2. 群的定义
- 封闭性
2）“乘法”结合律
3）单位元
4）逆元
阿贝尔群，有限群，有限群的阶，连续群，无限不连续群，对称群（物理系统）
例：整数加法、非0实数乘法、2维转动群、空间反演群、非奇异矩阵
3. 置换群
1）置换群定义:
\begin{equation}
\left(
\begin{array}{ccccc}
1 & 2 & 3 & \cdots & n \
p_1 & p_2 & p_3 & \cdots & p_n
\end{array}
\right)
\end{equation}
2）置换用轮换、对换表达
置换一定可以用没有公共元素的轮换的乘积表达，比如
\begin{equation}
\left(
\begin{array}{ccccc}
1 & 2 & 3 & 4 & 5 \
3 & 4 & 5 & 2 & 1
\end{array}
\right)
= (135)(24)
\end{equation}
轮换一定可以用对换的乘积表达，比如
\begin{equation}
(1234) = (234)(14)
\end{equation}
以此类推，
\begin{equation}
(1234) = (234)(14) = (34)(24)(14)
\end{equation}
所以，所有置换都可以用对换表达。
另外，对换\((ij)\)和\((jk)\)可以构造出\((ik)\)，
\begin{equation}
(ij)(jk)(ij) = (ik).
\end{equation}
所以，相互独立的对换只有\(n-1\)个，可设为\((1,2),(2,3),\cdots,(n-1,n)\).
它们构成置换群\(S_n\)的生成元。
3）生成元、宇称（奇置换/偶置换）
4. 子群
例：{e, R(180°)} \(\subset\) 二维转动群
5. 同构和同态
- 同构
例：\(C_{3v}\) 群和 \(S_3\) 群同构
例：\(S_4\)的四个\(S_3\)子群同构
Caley定理：任何一个n阶有限群，都和置换群\(S_n\)的某一个子群同构。(unchecked)
！！！这说明置换群包括了所有有限群
- 同态
例：\(S_2\) 同态于\(C_{3v}\)
\(\{ e, C_3, C^2_3 \} \rightarrow e\)；\(\{ \sigma_1, \sigma_2, \sigma_3 \} \rightarrow (12)\).
6 共轭元素类
共轭（相似）元素
类
例：\(C_{3v}\)群中的类
ambivalent 类：包含类中元素的逆元
置换群的类(unchecked)
7 陪集，Lagrange定理
Lagrange定理：群G的阶g必为其子群H的阶h的整数倍：\(g = mh, m \in Z^+\).
8 不变子群 商群
不变子群：它的任一左陪集 = 相应右陪集
单纯群：不包含不变子群
半纯群：不包含阿贝尔不变子群
商群：若G存在不变子群H,则可以把G划分为\(\{ H, a_2 H, \cdots, a_m H \}\)，将其中每个陪集看作一个元素，构成一个与G同态的群，叫做商群 G/H。
标签：begin,end,定义,equation,基础,cdots,群论,子群,置换群 来源： https://www.cnblogs.com/luyi07/p/15856809.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。