$4 群-环-域【提纲】

§4 群-环-域

C1 半群-群

半群

1）二元运算(合成律)：映射$\tau :X\times X\to X$

• 结合：(a*b)*c = a*(b*c)
• 交换：a*b=b*a
• 一般地，结合且交换二元运算使用+,结合二元运算使用*,为记法方便也常省略
• 凯莱表：m_ij = a_i * a_j,构成的矩阵

2）代数结构(代数系统)：(X, *)，*为X上二元运算

3）半群： 运算结合,则称(X,*)为一个半群

4）幺半群：带有单位元的半群

• 单位元：$e\in X,s.t.:\forall x\in X,x\ast e=e\ast x=x$，单位元若存在则唯一
• 幺半群基数即X的基数，若基数有限，称半群为有限幺半群
• 特别地，称$(M(\Omega ),\circ )$为变换幺半群，其中M(Ω)为任意集合Ω上变换(即自映射)的集合

5）子半群：对二元运算封闭且包含于母群； 子幺半群：包含有母群单位元的子半群

6）广义结合律：n个元素相乘(二元运算意义上)结果与加括号的方式无关

• 二元运算满足广义结合律(归纳法)
• 左正规化：从左到右依次加括号，$((((x_1{x}_2)x_3)\dots )x_{k-1})x_k$
• 方幂：xⁿ，由结合律得 xⁿ x^m = x^m+n, (xⁿ)^m = x^mn
  • 若 xy = yx, 则 $(xy{)}^n=x^n{y}^n$，
    进一步，若$x_i{x}_j=x_j{x}_i,i,j=1,2,...,m$，则$(x_1{x}_2...x_m{)}^n=x_1^n{x}_2^n...x_m^n$

群

7）可逆：$\exists y\in X,s.t.xy=yx=e$,称x可逆，称y为x的逆元，记x^-1

• (ab)^-1 = b^-1a^-1

8）群：所有元素可逆的幺半群

• 回顾： X = { 1 , 2 , … , n } X = \{1,2,\dots,n\} X={1,2,…,n}上全体置换(双射)构成的群$S_n$称为n阶对称群

• 特别地，称可逆实矩阵集$G{L}_n(\mathbb{R})$，连同矩阵乘法构成的群为$\mathbb{R}$上n阶一般线性群

9）阿贝尔群：交换群

10）子群：对运算封闭，含有逆元，包含于母群，若不相等，称真子群

• 特别地，称行列式为1的实矩阵群$S{L}_n(\mathbb{R})$连同矩阵乘法构成的群为$\mathbb{R}$上n阶特殊线性群，或者单位模群,

  是n阶一般线性群的子群

11）循环群：$\exists a\in G,s.t.\forall g\in G,\exists k\in \mathbb{Z},g=a^k$，称a为生成元，循环群记为$⟨a⟩$

• 阶：
  • 无限阶：$m\ne n\to a^m\ne a^n$
  • 有限阶：$\exists q,a^q=e$,最小正q称为阶，可证$q=Card⟨a⟩$

12）同构：存在同构映射的两个群$(G,\ast ),(G^{\prime },\circ )$同构，记为$G\simeq G^{\prime }$

• 同构映射：双射f使得$\forall a,b\in G:f(a\ast b)=f(a)\circ f(b)$，性质：

  • $f(e)=e^{\prime }$
  • $f(a^{-1})=f(a{)}^{-1}$
  • 逆映射存在且也是一个同构

• 自同构：G到自身的自同构映射

  • G上自同构构成S(G)(全体双射群)的一个子群$(Aut(G),\circ ,e_{\Omega })$
  • 内自同构群:$(Inn(G),\circ ,I_e)$,元素为$I_a:g\mapsto ag{a}^{-1}$,是Aut(G)的一个子群，与G同态

• 定理：任意两个同阶循环群同构

• 定理：任意一个n阶有限群同构于n阶对称群$S_n$的某个子群

  证明： S n ⊃ { L g 1 , L g 2 , … , L g n } ( L a ( x ) = a x , a ∈ G ) f : a ↦ L a S_n \supset \{L_{g_1},L_{g_2},\dots,L_{g_n}\}(L_a (x) = ax,a\in G)\\f :a \mapsto L_a Sn​⊃{Lg1​​,Lg2​​,…,Lgn​​}(La​(x)=ax,a∈G)f:a↦La​

• 无限群存在同构真子群

13)同态：映射f使得$\forall a,b\in G:f(a\ast b)=f(a)\circ f(b)$

• 若f是单射，称为单同态；若f是满射，称为满同态
• 核： ker ⁡ f = { g ∈ G ∣ f ( g ) = e ′ } \ker{f} = \{g \in G|f(g) = e'\} kerf={g∈G∣f(g)=e′}
• 群到自身的同态映射称自同态
• 回顾：$C_2=⟨-1⟩$，则符号映射$sgn:\pi \mapsto {ϵ}_{\pi }$，构成$S_n\to C_2$的一个同态
  其核$\ker sgn=A_n$为一个$\frac{1}{2}n!$阶群，称为交错群

C2 环

1）环：(R,+,·)，满足(R,+)是阿贝尔群，（R,·)是半群，乘法对加法分配

• 广义环研究中，可能不要求乘法群是半群，称为非结合环
• 环的单位元：乘法半群的单位元，不一定存在
• $(\mathbb{Z},+,\cdot )$称为整数环,$(M_n(R),+,\cdot )$称为全矩阵环，或n阶方阵环
• 函数环：$(R^X,\oplus ,\odot )$
  • R X = { X → R } R^X=\{X\to R\} RX={X→R}，为X到任意环R的映射集
  • $\oplus$ 为逐点加：$(f\oplus g)(x)=f(x)+g(x)$
  • $\odot$ 为逐点乘：$(f\odot g)x=f(x)\cdot g(x)$
  • 单位元：$1_X:x\mapsto 1$;零元 $0_X:x\mapsto 0$。均为常函数
  • 显然，有界函数环，连续函数环，可微函数环都是其子环

2）子环：R的加法群的子群核乘法半群的子半群构成的环

• 子环交仍是子环
• $(\mathbb{Z},+,\cdot )\subset (\mathbb{Q},+,\cdot )\subset (\mathbb{R},+,\cdot )$，同样，$(M_n(Z),+,\cdot )\subset (M_n(Q),+,\cdot )\subset (M_n(Q),+,\cdot )$

3）环的性质：

• $a\cdot 0=0\cdot a=0$ $(-a)\cdot b=a\cdot (-b)=-(ab)$
• 广义分配律：${\sum }_{i=1}^n{a}_i{\sum }_{i=1}^n{b}_i={\sum }_{i=1}^n{\sum }_{j=1}^n{a}_i{b}_j$，故$\forall n\in \mathbb{Z},a,b\in R:n(ab)=(na)b=a(nb)$
• 若环的乘法交换，则满足牛顿二项式公式$(a+b{)}^n={\sum }_{k=0}^n{C}_n^k{a}^k{b}^{n-k}$
• 若$1=0$则环R中所有元素为0。故非平凡环中，$1\ne 0$

4）剩余类环：

• 同余式：模m余数相同称为模m同余，记为$n\equiv n^{\prime }(\mathrm{m}\mathrm{o}\mathrm{d}m)$，称同余式

• 剩余类环：$({\mathbb{Z}}_m,\oplus ,\odot )$

  • Z m = { { r } m = r + m Z ∣ r = 0 , 1 , … , m − 1 } \mathbb{Z}_m=\{\{r\}_m = r + m\mathbb{Z} |r = 0,1,\dots,m-1\} Zm​={{r}m​=r+mZ∣r=0,1,…,m−1}, { r } m \{r\}_m {r}m​称为模m剩余类
  • $\oplus$：模m加法 ${a}_m\oplus {b}_m={(a+b)% m}_m $
  • $\odot$：模m乘法 { a } ⊙ { b } = { ( a ⋅ b ) % m } m \{a\}\odot \{b\} = \{(a\cdot b)\%m\}_m {a}⊙{b}={(a⋅b)%m}m​
  • 单位元： { 1 } m \{1\}_m {1}m​；零元： { 0 } m \{0\}_m {0}m​
  • 方便起见，记 { k } m \{k\}_m {k}m​w为$\bar{k}$，甚至记为$k$

• 称 { 0 , 1 , … , m − 1 } \{0,1,\dots,m-1\} {0,1,…,m−1}为模m剩余类的导出集,实际上与${\mathbb{Z}}_m$同构

5）同态：存在同态映射的两个环$(R,+,\cdot ),(R^{\prime },\oplus ,\odot )$，记为$R\cong R^{\prime }$

• 同态映射：$$\begin{gathered} f(a+b)=f(a)\oplus f(b) \\ f(a\cdot b)=f(a)\cdot f(b) \end{gathered}$$
• 满同态下，$f(1)=1,f(0)=0^{\prime },f(na)=nf(a)$
• 核： ker ⁡ f = { a ∈ R ∣ f ( a ) = 0 ′ } \ker{f} = \{a\in R|f(a) = 0'\} kerf={a∈R∣f(a)=0′}

6）零因子：

• $a,b\ne 0,ab=0$，则a称为左零因子，b称为右零因子。交换环中简称零因子。0本身称平凡零因子
• 无零因子环：除0外无其它零影子
• 整环：非平凡(1≠0)、无零因子、交换环
• 定理：有单位元非平凡交换环是整环(即无零因子) iff R中消去律成立
  • 消去律：$\forall a,b,c\in R:ab=ac,a\ne 0\to b=c$

7）可逆：$ab=1$，称a右可逆，b左可逆

• 定理：无零因子环或者交换环中，左右可逆性相同，左右逆相同

  小证：无零因子环中$ab=1\to aba=a,a\ne 0\to a(ba-a)=a,a\ne 0\to ba-1=0\to ba=1$

• 显然，若R是带单位元的环，则所有可逆元素构成一个乘法群$U(R)$

C3 域

1）除环(斜域)：乘法满足[ R ∗ = R ∖ { 0 } R^* = R\setminus\{0\} R∗=R∖{0}关于乘法构成一个群]的环。

• 非零元素可逆
• 没有零因子

2）域：交换除环

• 分式(商、比例式)：$a{b}^{-1}$记为$\frac{a}{b}$

3）子域：域P中为域的子环F，称F为子域，P为扩域

• 记$F(a)$为P中包含{F,a}的所有子域的交（即最小化）

4）同构：作为环同构

• 同态：注意到$\ker f\ne 0⟹\ker f=P$，f一般是单同态

5）定理：剩余类环${\mathbb{Z}}_m$是域 iff m是素数

• 推论(费马小定理)：$m\nmid p$(素数)则 $m^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$

6）素域：不包含任何真子域的域

• 定理：$\forall P,{\exists }_1{P}_o\subset P,P_0$为素域。且$P_0\cong \mathbb{Q}$ 或 $P_0\cong {\mathbb{Z}}_p$

  小证：令$f:\mathbb{Z}\to P:n\mapsto n\cdot 1(i.e.1+1+\cdots +1),\ker f=m\mathbb{Z}$

  • 若m = 0，可证$f:\mathbb{Q}\to P:f(\frac{p}{q})=\frac{p\cdot 1}{q\cdot 1}$为双射，即P中分式构成的域同构于$\mathbb{Q}$
  • 若m ≠ 0，定义$f^{\ast }:{\bar{k}}_m\mapsto f(k)$，此时$f^{\ast }(Z_p)$为其素子域

• 域的特征($charP$)：使得$n\cdot 1$ 为$0$的最小正整数，若不存在则为0

  • 若$P_0\cong \mathbb{Q}$,则特征为0，此时P加法群中1的阶无限

  • 若$P_0\cong {\mathbb{Z}}_p$则特征为p，此时P加法群中任意非零元素有阶p

    小证：$p\cdot x=x+x+\cdots +x=(p\cdot 1)x=0$

7）伽罗瓦域：包含有限个元素的域，记为$GF(p)$或${\mathbb{F}}_p$

8）注记：高斯消元法、行列式理论、克拉默法则中没有对元素的性质进行约束，故将其元素限制在域P中仍然适用