群论学习笔记
定义:
若集合 ,在 上的二元运算(该运算称为群的乘法,注意它未必是通常意义下数的乘法,其结果称为积) 构成的代数结构 ,满足:
- 封闭性:即 的任意两个元素在 下的运算结果都是该集合的一个元素。(,);
- 结合律:,有 ;
- 单位元: 中存在元素 ,使 中任意元素 与之相乘的结果都等于 本身。(,使 ,有 );
- 逆元: ,,使得 ( 即为单位元), 称为 的逆元,记为 。
则称为一个群,同为乘法群。
在无歧义时,可将 写成 。
性质:
- 单位元是唯一的,例如乘法的单位元是 ,加法的是 。
- 任意一个元素的逆元是唯一的。
- ,方程 ,,在 中都有解 。
- 若 则 ,若 则 。
- 任意一个元素的逆元的逆元是其本身。
- ,。
置换群:
通俗的说,置换群是指与群 所同构的所有群,最多有 种,此时即为群 的全排列。
交换群:
满足交换律的群,称为交换群。
同构:
同构是群中一个很重要很基础的概念。
群的历史起源,就是伽罗瓦和阿贝尔在考虑多项式方程的根之间的对称性时形成最初的变换雏形的。
考虑根的对称性,其实就是考虑正多边形的变换群。
而在复平面上画出来正好就是正 边形的 个顶点。
这些保持正多边形不变的几何变换的全体刚好构成一个群,而且元素为 个。
拿正六边形来说,就是 个,如图中所示。
这里分为两类,一类是旋转有 个,一类是翻折也是 个,即轴对称翻转。
对应到上述图中,旋转就是虚线终点在顶点上的那 个,而翻折就是虚线终点在边中点的那 个。
同构实际上是一个非常广泛和普遍的概念。
其主旨是说两个事物在某种程度或者某种意义上可以看成一个事物。
其实同构的概念是天然和分类的思想相互关联的。
我们努力学习同构的概念,很大的原因就是为了分类。
最容易理解的例子就是我们初中学习的三角形的全等。
三角形的全等其实就是一种同构。
由于我们关心的是三角形的数学上(其实就是逻辑上的),即三个角和三条边,这六个要素。
而不关心你在黑板上画出来的三角形是红色还是白色,线条的粗细等。
因此,在数学上一个很自然的想法,关于两个三角形是否一样(即同构或者全等),就产生了。
如果两个三角形的上述六个要素(三个角度三条边长度)相对应的相等,则我们称这两个三角形全等(即同构,或者说相等的意思)。
显然六个要素都对应相等的话,两个三角形就能通过移动而重合了。
这也很符合我们的直观感受。
于是就有了好几个判定全等的定理。
可见,如何定义同构,是有我们的目的以及一些隐含的必然逻辑在的。
比如上述三角形全等的定义,是因为如此定义的两个全等的三角形在后续的数学研究中起到的作用是完全一样的。
不会说两个全等的三角形,它们的面积或者周长却不相等。
回到我们的正题,我们来定义两个群的同构。
就像三角形的全等定义一样,我们应该先搞清楚一个群有哪些要素。
很明显它有两个要素,首先一个群是一个集合,其次它上面有乘法运算结构。
我们只要让两个群的上述两个要素都对应相同就可。
两个集合,仅仅作为集合,我们只要他们的个数一样多即可。
即两个集合间存在双射(就是一一对应)。
于是我们有了两个群同构的严格定义如下:
当 与 同构
正规子群
如果群 的子群 (),满足如下条件
则我们称 是 的一个正规子群。
可解群是概念有关五次以上多项式方程无根式解的证明过程中的一个至关重要的概念。
包括它的名字的由来,大家想想,「可解」的意思就是指的方程「可解」。
如果有限群 存在如下的一个子群序列:
其中前一个是后一个的正规子群,且后一个的阶数是前一个素数倍,则我们称群 是可解群。
域
域也是一个集合,然后上面有两种运算,我们通常称为加法和乘法。
每个单独的运算加上集合本身构成一个很不错的代数结构,比如域与其加法构成一个交换群。
两个运算之间又有很好的兼容性,比如分配率。
我们最熟悉的域的例子其实一直都在我们身边,那就是有理数域,实数域,复数域。
因此我们讲域的时候,根本就不需要抽象的定义,就是数的通常的加法和乘法。
我们可以直接用如下的方式来定义数域。
数域的定义
我们称复数集的一个子集为数域,如果该子集对加减乘除封闭的话。
这个很好理解,它就是指两个域作为集合,大的包含小的,那么大的就称为小的扩域。
比如实数域就是有理数域的扩域。
我们通常用记号 ,表示 是 的扩域,或者说从 到 是一个域的扩张。记系数域为 , 多项式 在数域 上的分裂域 是 的一个扩域。
所以暂停写伽罗瓦定理的计划,我们先开始走进 Pólya(而且伽罗瓦定理证明太难了)。
引入例题
轨道-稳定子定理:
一、群在集合上的作用:
对于群 与集合 ,若 ,
且:
则称 为集合 上的作用。
注: 即为 的逆元。
二、轨道稳定子定理
轨道
集合中 的轨道为 记作 ,称为 的 轨道。
意思就是,把 里边所有元素作用在 上得到的所有结果组成了一个集合,就是轨道。
轨道里边的元素都属于 。
-
性质 1:不同元素的 轨道要么没有公共元素,要么重合. 也就是不同的轨道是集合 的一个划分。
-
性质 2:同一条轨道上的元素可以通过 中作用互相得到,不同轨道中的元素不能通过 中作用互相得到(直接根据定义就行了)。
稳定子群
集合 中的元素 的稳定子群为 记作 。
轨道稳定子定理
Burnside 引理
令 不同的 轨道个数为 ,那么有:
。
举例:
如果现在有一个有六颗珠子的手链,我要把两个点染成红色,两个点染成黄色,两个点染成蓝色. 求有几种不同的手链。
如果我不考虑每个手链是个圆(可以旋转)而且不考虑正反面,只考虑一条线上六个点,线上的点当然有顺序了,故有90种。
那我们考虑把手链绕起来:
我们使用一个六阶对称群的子群 ,集合 分别对应了那90种情况。
究竟哪些线绕成手链是一样的呢?换句话说就是,哪些 通过 中某个元素作用之后能够彼此重合?
那 的轨道就是 。
经过一大堆跳步,
故答案为11。
Pólya 定理
Pólya 定理在计数方面可以统计「本质不同」的方案个数。
生动形象的表述,就是有一件有 面的物体,给其每一面染色,求其「本质不同」的方案个数。
而「本质不同」可以有各种定义。
Pólya 定理和 Burnside 引理类似。但我们的问题细化一些:
我们给 中每一个元素染色,统计 作用下本质不同的染色方案数。
已经介绍轮换的概念,记 为 中的轮换个数, 为颜色集合。
则有:
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· DeepSeek “源神”启动!「GitHub 热点速览」
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· C# 集成 DeepSeek 模型实现 AI 私有化(本地部署与 API 调用教程)
· DeepSeek R1 简明指南:架构、训练、本地部署及硬件要求
· 2 本地部署DeepSeek模型构建本地知识库+联网搜索详细步骤