群论概念列举——从群到唯一分解环

时隔一年的更新，懒得做下一期了，自己复习去（）

二元运算 = 封闭性

群 = 封闭性 + 结合律 + 单位元 （唯一）+ 均有逆元（唯一）

（证明唯一性：假设有两个不同的单位元/逆元）

阿贝尔（Abel）群 = 群 + 交换律

群阶 = 群元素个数

常见群：整数加群$(\mathbb{Z},+)$、剩余加群${\mathbb{Z}}_n$、剩余乘群${\mathbb{Z}}_n^{\ast }$、一般线性群$GL(n,\mathbb{R})$、特殊线性群$SL(n,\mathbb{R})$

乘法表：直观表示各元素间的运算关系（通过乘法表判断是否为群）

群有许多等价定义，课程中介绍了这么一种定义：

群 = 封闭性 + 结合律 + $\forall a,b\in G,$方程$ax=b,ya=b$有解

有限群 = 封闭性 + 结合律 + 消去律

（注：这个定理的成立建立在两个集合中的元素能够一一对应则两个集合相等的基础之上，所以必须限定有限群。因为两个不相等的无限群之间也有可能建立一一对应）

元素阶：$\forall a\in G,\exists d\in {\mathbb{N}}^{\ast },a^d=e$，则称满足条件的最小正整数$d$为元素$a$的阶，记作$o(a)$。如果$d$不存在，记$o(a)=\infty$

数论中所涉及的阶实际上就是剩余乘群${\mathbb{Z}}_m^{\ast }$中元素的阶

阶的性质：$d$为$a$的阶，且$a^k=e$，则$d|k$

阶数公式：$n$为$a$的阶，则$\frac{n}{(r,n)}$为$a^r$的阶

（！！！重要）拉格朗日定理：任意群元素的阶整除群阶

子群 = 子集 + 群

子群例子：$n\mathbb{Z}\le \mathbb{Z}$，$SL(n,\mathbb{R})\le GL(n,\mathbb{R})$

（！！！重要）子群判定定理 ：子群 = $\forall x,y\in H,x\cdot y^{-1}\in H$

子群中的单位元和逆元就是原群中的单位元和逆元

一种重要子群： ∀ a ∈ G , H = { a k ∣ k ∈ Z } \forall a\in G,H=\{a^k|k\in \Z\} ∀a∈G,H={ak∣k∈Z}称为由$a$生成的子群，记作$H=(a)$

有限群子群 = $\forall a,b\in H,a\cdot b\in H$

引入等价关系$\sim$：若$a,b\in G,a{b}^{-1}\in$子群$H$，则说$a$与$b$等价

陪集：（右陪集）对于元素$a\in G$，$a$的右陪集 H a = { b ∣ a ∼ b } Ha=\{b|a\sim b\} Ha={b∣a∼b}

陪集更常用等价定义： H a = { h a ∣ h ∈ H } Ha=\{ha|h\in H\} Ha={ha∣h∈H}（右陪集）， a H = { a h ∣ h ∈ H } aH=\{ah|h\in H\} aH={ah∣h∈H}（左陪集）

由这个定义很显然地看出，交换群的子群的左陪集等于右陪集。相应地，非交换群的左陪集一般不等于右陪集

但是，一个子群的左陪集和右陪集的个数一定相等（因为二者之间可以构造一一映射）

子群的指数：该子群的左陪集/右陪集的个数，记作$[G:H]$

有限群指数公式：$[G:H]=\frac{|G|}{|H|}$（推论：有限群子群阶整除群阶）

与拉格朗日定理相联系：$\forall g\in G$，设$g$的阶为$d$，则 { g , g 2 , . . . g d } \{g,g^2,...g^d\} {g,g2,...gd}是$G$的一个子群，由此推出拉格朗日定理

关于陪集的等价结论：$aH=bH\iff a\in bH/b\in aH\iff a^{-1}b\in H/b^{-1}a\in H\iff aH\cap bH=\varnothing$

同态 = 保持运算（$f(ab)=f(a)f(b)$）

同构 = 双射 + 保持运算

群同态 = 满射 + 保持运算

群同构 = 双射 + 保持运算

同态映射将单位元映为单位元，将逆元映为逆元，将群映为子群（若为满射则映为群）

变换：集合$X$自己到自己的一一映射的集合，记为$T(X)$，

置换：若变换中的$X$为有限集合，则可将$T(X)$中的变换称为置换

变换群：在复合运算下，$T(X)$构成一群，称为变换群（一般为非交换群）

凯莱定理：任何一个群都同构于一个变换群，任何一个有限群都同构于一个置换群

置换群：$X$为有限集，则$T(X)$称为置换群。

$n$元对称群：如果$|X|=n$，则$T(x)$称为$n$元对称群，记为$S_n$。$n$元对称群的大小为$n!$

循环置换：$S_n$中，一个把$i_1$变为$i_2$，把$i_2$变为$i_3$……把$i_k$变为$i_1$，其余元素不变的置换，叫做一个“k-循环置换“，记为$(i_1{i}_2...i_k)$。如果所有元素均不变，记为$(i_j)$，其中$i_j$为$S_n$中的任意元素。

循环置换的性质：若两个循环置换$\tau$和$\sigma$不相交，则$\sigma \tau =\tau \sigma$

置换的表示方法：直接列两行数据表示，也可以写成不相连的循环置换的乘积

对换：只含有两个元素的置换

对换的性质：任意一个置换都可以表示为若干个对换的乘积。

将循环置换化为对换的方法：$(i_1{i}_2...i_r)=(i_1{i}_r)(i_1{i}_{r-1})...(i_1{i}_3)(i_1{i}_2)$（$(i_1)=(1)=(12)(12)$）

当同一个置换表示为若干个对换的乘积后，对换的数量可能不同，但是对换的奇偶性不变，据此可以将置换分为奇置换和偶置换。

交错群：$S_n$的所有偶置换$A_n$所构成的群。$|A_n|=\frac{n!}{2}$（$S_n$中奇置换数量等于偶置换数量）

交错群的性质：交错群的左陪集等于右陪集

正规子群/不变子群：所有左陪集等于右陪集的子群，称为原群的正规子群，注意只是集合相等，它们的元素之间不一定有一一对应的关系

上述结论的两个推论：1）交错群是正规子群；2）由子群的左陪集等于右陪集，不能推出原群为交换群，但是反过来结论成立，即交换群的子群的左陪集等于右陪集（交换群的子群都是正规子群）。

（扩展定义）哈密顿群：所有子群均为正规子群的非交换群。

循环群：所有元素均可以写成某一个元素$a$的幂（加法群就是所有元素均可以写成$a$的倍数）

循环群的群阶就是元素$a$的阶，如果$a$的阶有限，那$G$就是有限循环群，反之$G$为无限循环群

循环群的例子：整数加群$\mathbb{Z}$（生成元为$\pm 1$），剩余加群${\mathbb{Z}}_m$（生成元为与模互素的剩余类），剩余乘群${\mathbb{Z}}_m^{\ast }$（生成元为”原根“，所以没有原根的话就不是循环群）

有限循环群的生成元：$G=(a)$为$n$阶循环群，$a$为生成元且$(k,n)=1\iff a^k$也是$G$的生成元，所以$G$共有$\varphi (n)$个生成元

阶数公式：$n$为$a$的阶，则$\frac{n}{(r,n)}$为$a^r$的阶

无限循环群的生成元：$G=(a)$为无限循环群，则$G$中只有$a$和$a^{-}1$俩生成元

循环群的同构：任意无限循环群和整数加群$\mathbb{Z}$同构，任意有限$n$阶循环群和$n$阶剩余加群${\mathbb{Z}}_n$同构

也就是说任意无限循环群互相同构，任意同阶有限循环群互相同构

循环群的子群：$G$为$n$阶循环群，$d|n$，则存在唯一一个阶为$d$的子群（该子群也为循环群）

注意，上面的叙述就是拉格朗日定理的逆定理（$G$为$n$阶群，$m|n$，则$G$中一定存在$m$元子群），这个逆定理只在循环群中成立

域 = 加法Abel群 + 去零元乘法Abel群 + 乘法分配律

常见域：有理数域$Q$，实数域$\mathbb{R}$，复数域$C$

子域和扩域：子域 = 子集 + 域 ，扩域就是原来的域

例如$Q$是$\mathbb{R}$的子域，$\mathbb{R}$是$C$的子域

子域中的零元、单位元、负元、逆元和扩域一致

子域判定定理 ：子域 = 加子群 + 去零元乘子群

有限域举例：二元域 F 2 = { 0 , 1 } F_2=\{0,1\} F2​={0,1}（注：由于运算可能不同，$F_2$不一定是其他域的子域）

四元域$F_4=0,1,x,1+x$（其运算定义方法建议记下来）

剩余类域$\mathbb{Z}/p\mathbb{Z}$（指模$p$的剩余类集合）

域的运算性质：1）加法、乘法消去律成立

2）若$ab=0$，则$a=0$或$b=0$（这点在后面学环时很重要）

其他性质基本与我们之前学的数域运算相同，具体可以去看看PPT我懒得写了

域的特征：满足$me=0$的$m$中最小的正整数$p$称为该域的特征，如果不存在这样的$m$，则该域的特征为$0$

域的特征举例：$C,\mathbb{R},Q$的特征均为$0$，$F_2$的特征为$2$，${\mathbb{Z}}_p$的特征为$p$

域的特征定理：域的特征是0或者一个素数

域的特征性质：（无限域）$\forall a\in F,a\ne 0,\forall m,ma\ne 0$，且$m$不同时$ma$也不同

（有限域）$\forall a\in F,a\ne 0,p$为$F$的特征。则$0,a,2a...(p-1)a$这些元素互不相同

进一步，$\forall m\in \mathbb{Z}$，$ma=0\iff p|m$

有限域的特征定理：有限域的特征必为素数

但是注意，无限域的特征不一定为0！

非0特征域上的二项式定理：$\forall a,b\in F,(a\pm b{)}^p=a^p\pm b^p$，$p\ne 0$为域$F$的特征

特别地，当域$F$的特征$p=2$时，域上的加法和减法等价，即$\forall a\in F,a=-a$

该定理可以推广至任意多个元素：$(a_1+a_2+...+a_m{)}^p=a_1^p+a_2^p+...+a_m^p$

对$p$的$n$次幂同样成立：$(a\pm b{)}^{p^n}=a^{p^n}\pm b^{p^n}$

域的同构 = 一一映射 + 两种运算均保持运算

同构的域的零元和单位元具有映射关系

同构域的重要性质：同构的域的特征相同

域的自同构：域$F$到自身的同构

举例：$F$为一有限域，其特征为$p$，$n$为一非负整数，$\forall a\in F$，定义$f(a)=a^{p^n}$，$f$就是$F$的一个自同构映射

这个例子告诉我们，对于有限域，我们可以写出任意多的自同构映射

映射小定理：元素个数相等的有限集合间的单射一定是双射

素子域：（对特征为$p$的域） Π = { 0 , e , 2 e . . . ( p − 1 ) e } \Pi=\{0,e,2e...(p-1)e\} Π={0,e,2e...(p−1)e}是域$F$的一个子域，称为$F$的素子域，同时也是$F$的最小子域

（对特征为$0$的域）$\Pi =\{(me)(ne{)}^{-1},m,n\in \mathbb{Z},n\ne 0\}$是域$F$的一个子域，称为$F$的素子域，同时也是$F$的最小子域

环 = 加法Abel群 + 乘法结合律 + 左右乘法分配律

带单位元的环 = 环 + 单位元

交换环 = 环 + 乘法交换律

常见环：整数环$\mathbb{Z}$（带单位元、交换环），$R=2\mathbb{Z}$（没有单位元，交换环），$R=2\times 2$实数矩阵（带单位元、非交换环）

除环 = 环 + 至少俩元素 + 单位元 + 去零元均有可逆元

除环 = 环 + 去零元乘法群（非Abel群）

零环 = { 0 } \{0\} {0}（上面除环规定至少俩元素，就是为了排除零环）

（域 = 除环 + 乘法交换律）

环中的运算规则和域中的基本相同，但环中二项式定理不再成立，因为没有交换律！

带单位元的环的性质：如果环$R$中有单位元$e$，$|R|>1$，则$e\ne 0$

子环和扩环：子环 = 子集 + 环，扩环就是原来的环

子环的判定：子环 = 若$\forall a,b\in S,a-b\in S,ab\in S$

子环的奇妙性质：环$R$有子环$S$，则$S$能从$R$继承负元、交换环，但是不能继承单位元：

1）$R$有单位元，$S$可以没有单位元（$R=\mathbb{Z},S=2\mathbb{Z}$）

2）$R$没有单位元，$S$可以有单位元（$R=\left(\begin{array}{cc}a& b\\ 0& 0\end{array}\right)$，$S=\left(\begin{array}{cc}a& 0\\ 0& 0\end{array}\right)$）

3）$R$和$S$就算都有单位元，它们的单位元也不一定相同（$R=\mathbb{Z}/12\mathbb{Z}$（单位元为$[1]$），$S=4\mathbb{Z}/12\mathbb{Z}$（单位元为$[4]$））

环的同构：一一映射 + 两种运算均保持运算

同构的性质可以互相继承

环的零因子：如果在一个环里，$a\ne 0,b\ne 0$，但$ab=0$，就称$a$为这个环的一个左零因子，$b$为这个环的一个右零因子。左零因子和右零因子统称为零因子

无零因子环 = 环 + 乘法消去律

无零因子环的性质：所有非零元对加法的阶相等，该性质对于有零因子环不一定成立

无零因子环的特征：根据上面的性质，定义某个非零元加法的阶为该无零因子环的特征。同域的特征一样，无零因子环的特征为0或者一个素数

整环 = 无零因子 + 带单位元 + 至少俩元素 + 交换环

分式域：一个整环$D$可以构造出一个分式域$Q$：

1）$D\subset Q$

2） Q = { a b : a , b ∈ D , b ≠ 0 } Q=\{\frac{a}{b}:a,b\in D,b\neq 0\} Q={ba​:a,b∈D,b=0}

其中$\frac{a}{b}=a{b}^{-1}$

从同构意义上看，一个整环只有一个分式域

整除：对于交换环$D$，$\forall a,b\in D,b\ne 0,\exists c\in D,a=bc$，则称$b$整除$a$，记为$b|a$

此时称$b$是$a$ 的因子，$a$是$b$的倍元

单位：对于有单位元的交换环$D$，如果$u\in D$具有逆元，则称$u$为单位

相伴元：若$b=\epsilon a$，其中$\epsilon$为单位，则称$b$和$a$互为相伴元

相伴元：若$b\ne 0$，$a\ne 0$，$b|a$和$a|b$同时成立，则称$b$和$a$互为相伴元，记作$a\sim b$

可以证明相伴是一个等价关系

单位的性质：俩单位相乘结果还是单位，单位的逆元也是单位

推论：若某个环有单位，则全体单位构成的集合在环乘法下构成一个群

平凡因子和真因子：对于元素$a$，单位和$a$ 的相伴元叫做$a$ 的平凡因子，除去平凡因子外的其余的$a$ 的因子就叫做$a$ 的真因子

真因子判定：（$a\ne 0$有真因子） = （$a=bc$，且$b$，$c$都不是单位）

不可约元：有单位元交换环$D$中，一个非0非单位的元素$a$没有真因子，就称$a$为不可约元

素元：有单位元交换环$D$中，一个非0非单位的元素$p$满足$p|ab\Rightarrow p|a$或$p|b$，就称$p$为素元

对于一般的有单位元交换环，不可约元和素元没什么关系

例如${\mathbb{Z}}_6$中，$[3]$是素元，但不是不可约元（$[3]=[3][3]$）

又例如 R = Z [ − 5 ] = { a + b − 5 : a , b ∈ Z } R=\Z[\sqrt{-5}]=\{a+b\sqrt{-5}:a,b\in \Z\} R=Z[−5 ​]={a+b−5 ​:a,b∈Z}中，$3$是不可约元，但不是素元

（$3|9=(2+\sqrt{-5})(2-\sqrt{-5}))$，但是在$R$中$3$不整除$2\pm \sqrt{-5}$）

但是，对环加些条件，可以让素元和不可约元贴贴~

整环中，素元一定是不可约元（不可约元仍然不一定是素元）

不可约元性质：不可约元的相伴元也是不可约元

素元性质：素元的相伴元也是素元

整环中的唯一分解：如果一个整环$D$中的一个元素$a$满足以下条件：

1）$a=p_1{p}_2...p_r$（$p_i$是不可约元）

2）若同时有$a=q_1{q}_2...q_s$（$q_i$是不可约元）

有$r=s$，且可以通过适当调整$q_i$的次序，使得$q_i=\epsilon p_i$（$\epsilon$为单位），则称$a$在$D$里有唯一分解

整环中的唯一分解只对非0非单位元素讨论

整环中的最大公因子：对于整环$D$，设$a,b\in D$，满足：

（1）$d|a,d|b$

（2）若存在$d^{{}^{\prime }}\in D,d^{{}^{\prime }}|a,d^{{}^{\prime }}|b$，则有$d{}^{\prime }|d$

则称$d$是$a$和$b$的最大公因子，记为$(a,b)$

注意，这里的最大公因子是通过整除性定义的，因此有一些奇妙的性质：

整环中的最大公因子的性质：（1）若$d$为$a$和$b$的最大公因子，则$d$的相伴元也是$a$和$b$ 的最大公因子，不与$d$相伴的就不是$a$和$b$的最大公因子

（2）最大公因子可能不存在。例如$R=\mathbb{Z}[\sqrt{-5}]$中，$6$和$2(1+\sqrt{-5})$之间就没有最大公因子

唯一分解环 = 整环 + 所有非0非单位元素均唯一分解

唯一分解环中，素元和不可约元等价，且最大公因子必存在

欧氏环 = 唯一分解环 + 欧氏除法

咕咕咕