抽象代数学习笔记
【基础定义】
-
笛卡尔积。
。 和 各是一个集合。 -
运算。一般研究二元运算(加减乘除等)。
运算是一种映射。从两个集合
到一个集合 的映射,满足 (笛卡尔积)。 -
群。
群是集合
和运算 的二元组 。群需要满足以下性质:
-
封闭性。
为 的映射。 -
结合律。
。 -
单位元。存在
使得任意 有 、 。注:
唯一不是群的定义,而是群的性质。 -
逆元。对任意
,存在 ,使得 、 。注:
唯一、逆元都是相互的,不是群的定义,而是群的性质。
满足前两个的二元组叫半群;满足前三个的叫幺半群;如果在群的基础上还满足交换律,叫阿贝尔群。
注:一个简单的非阿贝尔群的群是二面体群。它由所有 "旋转
度" 和 "旋转 度并左右翻转" 的操作构成,且所有在它里面的操作对正 边形应用后,形状相同。 -
-
子群。
一个群
的一个子群 ,要满足 且 是群。 -
生成子群。
一个群
。对于一个集合 的生成子群,是 中元素通过 和取逆元能得到的所有元素,与 操作构成的子群。单个元素只用
运算在有限群中的生成子群,记作 。 的元素个数称作 的阶。子群元素个数称作子群的阶。如果考虑
定义为乘法, 。我们发现如果 ,那么 。那 的阶就是 。发现这和数论里的定义是一样的!( ) -
循环群。
对于群
,如果 里存在元素 ,使得 ,则 是循环群,称 是生成元。 -
陪集。
有一个群
。对任意元素 与子群 ,记 为 的左陪集。右陪集类似定义。若任意
,有 ,称 为 的正规子群。 -
群同态与群同构。
两个群
是同态的,当且仅当存在一个从 到 的映射 ,使得任意 有 。两个群是同构的,当且仅当它们同态,且
是一一映射。在群论意义下,两个群同构,表示它们完全一样。 -
置换。对集合
,一个双射 是 的置换。常用方括号内两行数表示:
-
轮换。每个置换可以等效为若干个独立轮换的复合。
-
对换。即大小为
的轮换。 -
不动点。即大小为
的轮换。 -
对称群。集合
的所有置换构成对称群 。注意 只和 有关。对称群是非阿贝尔群。
-
置换群。置换群是对称群的子群。
-
群作用。
直观理解:一个群,常表示一些变换;一个集合,常作为被变换对象。一个变换群和一个被变换对象的集合,共同构成群作用。
形式化定义:
对于集合
(元素为 )与群 ( 元素为 )。
则左群作用为映射 ( 和 的笛卡尔积映射到 )。我们可以认为群作用是一种运算,类似 。
群作用还要符合: 。
注:如果定义为 ,称为右群作用。不过在 OI 里不区分这个,后面默认是左群作用。
注 2:下面在无歧义的情况下把 写作 。群作用和线段树上的 val 和 tag 很像。val 对应
,tag 对应 。
但线段树还要求 val 有加法运算,且对 tag × 有分配律。
同时线段树只要求是半群,不要求是群。例如 "整数,赋值" 可以放到线段树上,但是不是群。 -
轨道。定义在群作用上。
直观理解:某元素在所有变换下能变成的所有元素构成的集合。
形式化:对 , 。
【性质】
【拉格朗日定理】
因为不正规子群太难了,所以我们下面默认是正规子群,也就把左右陪集统称为陪集。下面用
-
陪集与
大小相同。对于
( ),若 ,则 ,矛盾。 -
陪集要么等于
,要么和 交为空。当
,因为子群的封闭性, 。当
,反设存在 。 。根据子群的定义, ,矛盾。 -
所有陪集和
,构成 的划分。假设原群集合有一个
不在所有陪集和 中。根据子群定义, 包含单位元。所以陪集 包含 。因为 是有限的,所以这样的陪集不能永远找下去。根据第二条性质,陪集和 构成 的划分。
于是我们得到了拉格朗日定理:
对于有限群
【置换群性质】
凯莱定理:
证明:
考虑
(或认为 "
记
取
那么
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 单线程的Redis速度为什么快?
· SQL Server 2025 AI相关能力初探
· AI编程工具终极对决:字节Trae VS Cursor,谁才是开发者新宠?
· 展开说说关于C#中ORM框架的用法!