环

环

• 环：
  
  • 两种运算$+,\cdot$
  • 对加法做成交换群
  • 对乘法做成幺半群
  • 乘法对加法的分配律成立
• 例子：零环、整数环、一元多项式环、全矩阵环
• $0\cdot a=0$
• 如果环中的元素多于一个，那么环中的$0$是不可逆的，因为$0\cdot a=0,1\neq 0$
• 除环：每一个非零元都可逆，也叫体。除环的乘法满足消去律。
• 零因子：非零元素的乘积为$0$，互为零因子
• 整环：没有零因子的交换环。整环的乘法满足消去律。
• 子环：含有乘法单位元，对原来的运算构成环。
  
  1. 有单位元$1$
  2. 对减法封闭
  3. 对乘法封闭
  4. 例子$\mathbb{Z}[\sqrt{m}]=\{a+b\sqrt{m}|a,b\in \mathbb {Z}\}$ .交换、整环，实数域的子环
  5. 域的子环一定是除环。

同态

• 同态：保持运算；$1$映射到$1'$
• 单同态，满同态，同构
• $\varphi:R\to R'$是满同态$\Leftrightarrow \varphi(R)=R'$
• $\varphi:R\to R'$是单同态$\Leftrightarrow Ker\varphi=\{0\}$
• 子环的像是子环
• 不能将$1$映射成$0$，否则像是零环。因此同态核虽然是加法子群，但是不是子环。
• 理想：加法子群、对环中任意的元素，左乘右乘该子群得到的都是该子群子集。
• 非平凡的理想中没有可逆元。（否则$1$在理想中，进而所有的元素都在理想中）
• 单环：只有平凡理想的环。
• 除环（域）一定是单环。
• 从单环到非零环的同态一定是单同态。
  $Ker \varphi$是环的理想，要么是零环要么是自身；零环则单同态，自身则单位元映射到零则为像零环。
• 理想作为加法子群为交换群，所以理想是正规子群（交换群的子群都是正规子群），可以作商群。在商群中可以定义乘法。该商群构成环，为商环。
• 环到商环的自然同态
  $$\eta:R\to R/S,\\ a\mapsto a+S$$
  
  1. 商环是同态像。
  2. 理想是同态核。

• 环同态基本定理（同态像是商环）：
  

  $$R/Ker\varphi\cong \varphi(R)$$
  证明：首先是一个群同构(同态基本定理)，其次证明它乘法保持运算，再证单位元映成单位元。

• 理想是正规子群在环中的推广，但是理想不是子环。

• 主理想：环中单个元素左乘环得到的理想。

• 全矩阵环只有平凡理想，即为单环。

  proof
  设$N$是一个$M_n(F)$的非零理想，证明任一个元素都在$N$中。
  $N$为非零理想，则存在非零元$A=(a_{ij})_{n\times n}$，则存在$1\leq l,k\leq n$，使得$a_{lk}\ne 0$，
  所以$a_{lk}^{-1}e_{ll}Ae_{kk}=e_{lk}\in N$（理想的性质），
  所以任意的$i,j,e_{il}e_{lk}e_{kj}=e_{ij}\in N$，
  所以任意的$B\in N,$

  $$B=\sum_{ij}b_{ij}e_{ij}=\sum_{ij}b_{ij}(e_{ii})e_{ij}\in N$$

• 域上的一元多项式环的理想都是主理想。

• 整数环的每个理想也是主理想。
• 主理想整环：每个理想都是主理想的整环。

• 理想的和

• 极大理想：没有真包含该理想的其他非平凡理想。

• 定理：交换环的理想做成的商环是域当且仅当极大理想。

几类重要的环

四元数除环

• $M_2(\mathbb{C})$复数域上$2$阶方阵的全矩阵环。
• $H=\left\{\begin{pmatrix}\alpha &\beta \\ -\bar\beta &\bar \alpha \end{pmatrix},\alpha=a+bi,\beta=c+di\right\}$是$M_2$的子环，并且构成除环。
  $E=\begin{pmatrix}1&0\\0&1\end{pmatrix},I=\begin{pmatrix}i&0\\0&-i\end{pmatrix},J=\begin{pmatrix}0&1\\-1&0\end{pmatrix},K=\begin{pmatrix}0&i\\i&0\end{pmatrix},E,I,J,K\in H.\forall A\in H,A=aE+bI+cJ+dK$
• 不满足交换律，交换除环。
• $Wedderburn$定理：有限除环都是域。
• $Q=\{\pm E,\pm I,\pm J,\pm K\}$四元数群，非交换群，二面体群8个元素也不交换，并且和这个不同构。

整数模$n$的剩余类环

• 整数环的每个理想K都是主理想，即存在自然数$n$，使得,$K=(n)=n\mathbb{Z}$
  • 定理：整数环$\mathbb Z$的理想为极大理想当且仅当$n$为素数。

  多项式环

  • $\mathbb{Z}[x]$构成环（可以看作是有理数域上多项式环的子环）。
  • 根据$\mathbb{Z}$到$\mathbb{Z}_p$的自然同态$a\mapsto \bar a$，构造$\mathbb{Z}[x]$到$\mathbb{Z}_p[x]$的自然同态
    $$f(x)=\sum_{i=0}^ka_ix^i \mapsto\bar{f}(x)=\sum_{i=0}^k\bar a_ix^i$$
  • $Eisenstein$判别法：
    
    1. $p$不整除首项系数
    2. $p$整除所有其他系数
    3. $p^2$不整除常数项系数
       则该多项式在$\mathbb{Q}[x]$上不可约。
  • 例：对任意的素数$p$，$x^n+p$在$\mathbb{Q}[x]$中不可约，进而在$\mathbb{Q}[x]$上存在任意阶不可约多项式。

  $F[x]$模某个理想的剩余类环

  • $\bar k\ne\bar 0,\bar k\in \mathbb{Z}_n$，则$\bar k$是$\mathbb Z_n$中的可逆元当且仅当$k$与$n$互素。
  • $\mathbb{Z}_n$中全体可逆元构成一个群，阶为$\varphi(n)$
  • $Euler-Fermat$定理
    $$a^{\varphi(n)}\equiv 1 \qquad(\mod n)$$
    域上的多项式环
    
    1. 有带余除法；2. 是主理想整环。
  • 定理：$F[x]$的理想$(f(x))$为极大理想当且仅当$f(x)$为不可约多项式。

  域的扩张

  域的扩张

  • 子域：子集，在原运算下构成域。
  • 扩域：域是其子域的扩域。
  • 通过域上多项式环的模去某个理想得到子域实现扩域。
  • 嵌入：域到该子域的同构
  • 例子：实数域$\to$实数域上的多项式环$\to$实数域上多项式环模去任一个二次不可约多项式得到的子环（复数域）$\to$在复数域中嵌入实数域即实现了扩域

  有限域

  • 通过扩域，可以把$q$阶的有限域扩充到$q^n$阶的有限域。

  • 例子：借助$\mathbb{Z}_2[x]$中的不可约多项式$x^3+x+1$构造8元域$\{0,1,x,1+x,x^2,1+x^2,x+x^2,1+x+x^2\}$

  • 许多问题在扩域上解决。比如实数域上多项式可以分解成一次二次多项式。

  添加元素的扩域

  • 添加元素的扩域（单扩域）
  • 添加集合的扩域

  扩域作为线性空间

  • 
    
  • $E$是$F$的扩域，把$F$对$E$的乘法看成数量乘法，则$E$成为$F$上的线性空间
  • 扩张次数，即维数，记作$[E:F]$ 。
  • 望远镜法则：$E\subset H\subset E$是域扩张，则$[E:F]=[E:H][H:F]$
    

  proof
  1. If $[H:F]=\infty,$
  $\forall N\in Z^+,\exists \text{线性无关}\alpha_1,\alpha_2,\cdots,\alpha_N\in H$
  $\Rightarrow \alpha_1,\alpha_2,\cdots,\alpha_N\in E$
  $\Rightarrow[E:F]=\infty$
  2. If $[E:H]=\infty,$反设$[E:F]=n,...$
  3. If $[E:H]=n,[H:F]=m,e_1,e_2,\cdots,e_n,f_1,f_2,\cdots,f_m$ are basis.
  $\forall e\in E,$

  $$e=\sum_{i=1}^n l_ie_i=\sum_{i=1}^n\sum_{j=1}^mc_{ij}e_if_j$$
  is a linear combination of $e_if_j$.
  Assume $$\sum_{i=1}^n\sum_{j=1}^ma_{ij}e_if_j=0$$ $\Rightarrow l_i=0,i=1,2,...,n\Rightarrow \sum_{j=1}^ma_{ij}e_i=0\\\Rightarrow a_{ij}=0$
  $\Rightarrow e_if_j$ are linear independent.
  so $[E:F]=mn=[E:H][H:F]$

  代数扩张

  • 代数元：是$F$上非零多项式的根。
  • 超越元：非代数元。
  • 代数扩张：扩域的元都是代数元的扩张。
  • 定理：$F\subset E$是域扩张，如果$[E:F]<\infty$，那么是代数扩张。

  ---

  Thanks to Prof. Rongquan Feng