抽象代数 1
基本概念和引理
- 代数系统:在一个集合上
定义一个二元运算 ,如果二元运算满足封闭性,则称 为一个代数系统。 - 半群:如果一个代数系统二元运算满足结合律,那么这个代数系统称为半群。
- 幺半群:如果一个半群里面有幺元(单位元),那么这个群为幺半群。
- 群:如果一个幺半群里面每个元素都有逆元,则这个幺半群是个群。
- Abel 群:如果一个群满足交换律,那么这个群是一个 Abel 群。
- 循环群:如果一个 Abel 群有一个生成元
,也就是说,任意群内的元素可以被表示为 ,则这个群为一个循环群。
如图:
-
环:环是定义了两个运算
的集合 ,满足 是阿贝尔群,且乘法关于加法有分配率,乘法具有结合律。 -
域:域是定义了两个运算
的集合 满足 和 都是阿贝尔群,其中 是 的单位元。 -
子群:设
是 的子集,若 在 的运算里构成群,则称 为 的子群。记作 -
对于子群而言,以下三个定义等价:
-
-
- 对任意的
有
- 对任意的
-
- 对任意的
有
- 对任意的
证明:互相推导是显然的,只需要注意因为
-
陪集:设
则可以给出 上的一个等价关系, ,可以简单证明这个关系确实是等价关系,且 的等价类是 ,这个等价类是 的一个左陪集,同时也可以由等价关系得到, 实际上是左陪集的无交并,任意一个元素一定属于一个等价类: 。推论:任意有限群的子群大小一定是其大小的因数。
阶:设
为群 中的一个元素,则满足 的最小的 称为 的阶。推论:任意元素的阶一定是群大小的因数。因而若群大小是质数,则一定是循环群。
证明:对于一个元素
-
正规子群:设
为 的子群,若对于任意 都存在 使得 ,则称 为 的正规子群,记为 。等价定义
:若 所有左陪集与右陪集相等,即 ,则 是正规子群。等价定义
:若 ,则 是正规子群。
证明:显然。
-
商群:给定群
,设 是 的正规子群,则 的所有左陪集在群定义二元运算下满足群的性质,这个群称为 关于 的商群。记作 ,定义 上的乘法为 -
对于商群的定义来说,其良定义当且仅当
是正规子群。
证明:充分性:若
必要性:
-
推论:
-
推论:对于一个 Abel 群,其任意子群都是正规子群。
-
同态:对于群
,存在映射 ,使得 ,则 同态。
同时定义 ,即所有能被映射到 单位元的 中的值,这显然是一个群。同时, 定义为 ,为 的像。 称为 的核。若
是双射,则称 同构,成 为 和 同构映射,并且记为 。 -
群的直积:两个群的直积定义为
,乘法定义为 。显然的
,并且 和 都是 的 正规子群。
同构基本定理与同构第二定理
- 同构基本定理:
设 为一个同态,则 是正规子群且 。
证明:首先证明
所以
接下来证明
以上证明了关于
令
同时
- 设
是群同态,则 单
证明:
- 推论:令
,则 。
证明:这里只证明前者,后者类似。
构造
- 推论:设
为群的满同射,则 。 - 同构第二定理:设
则 。即“除数”可约。
证明:首先有
构造映射
首先证明
而
显然,对于
有
轨道稳定集定理
-
给定非空集合
和置换群 ,这里 中元素为置换,二元运算定义为 ,即先做置换 再做置换 得到的置换。 -
设
为 的轨道, 为 的稳定集,则有
证明:值得一提的是
考虑
所以,陪集分解的数量应该就是
Bunside 引理
现在给定集合
我们让每个轨道中的元素的贡献是轨道大小分之一即可。即:
后者就是 Burnside 引理的形式。
无标号无向图计数#
阿贝尔群基本定理
-
阿贝尔群的任意子群都是正规子群。
-
阿贝尔群的商群也是阿贝尔群。
-
阿贝尔群基本定理内容:对于任意阿贝尔群
,它一定可以唯一的写成:
其中
证明过于复杂,略过。
- 给定
求 阶阿贝尔群的个数,由于 很大,以质因数分解的形式给出 。 。
根据上面的定理内容,我们考虑
- 推论:若
,则
证明:只需要证明等号右边是循环群即可,实际上等号右边确实是循环群,生成元是
- 推论:有限的阿贝尔群一定可以写成如下形式:
其中
Lagrange 定理
- 域
上的任意 次多项式在 内至多有 个根。
证明:可以简单归纳证明。
- 推论:域
上的阿贝尔乘法群 的任意有限子群都是循环群。
证明:
因为
Z 上的乘法群
令
- 欧拉定理:若
则 。
证明:
- 定理:若
,则 。
证明:构造映射
证明是同态:
证明是双射:根据中国剩余定理,对于右边任意一个
所以定理成立。
威尔逊定理
- 设
为质数,则 - 若
为质数,则 ,其中 表示所有小于等于 且与 互质的正整数的乘积。
证明:若
而
因此若
于是两个定理都是显然的。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 震惊!C++程序真的从main开始吗?99%的程序员都答错了
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· 单元测试从入门到精通
· 上周热点回顾(3.3-3.9)
· winform 绘制太阳,地球,月球 运作规律