近世代数--素理想--I是R的素理想↔R/I是整环

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

商环类似商群，通过对环、理想限制某些条件，可以构造出不同特点的环。现在我们通过素理想，构造整环；通过极大理想，构造域。

• 商环quotient ring：$R/I$

  $R$是一个环，$I$为$R$的理想，则$(I,+)$是$(R,+)$的加法子群,$(I,+)$是$(R,+)$的正规子群，即$(I,+)◃(R,+)$；

  • 商群 R / I = { x ˉ = x + I ∣ x ∈ R } R/I=\{\bar{x}=x+I|x\in R\} R/I={ xˉ=x+I∣x∈R}，
  • 加法$"+"$定义为$\bar{x}+\bar{y}=\overline{x+y},x,y\in R$，
  • 乘法$"\cdot "$定义为$\bar{x}\cdot \bar{y}=\overline{xy},x,y\in R$，

  则$(R/I,+,\cdot )$是环$R$关于理想$I$的商环。

  证明：

  • 乘法定义：$x_1,x_2,y_1,y_2\in R,$且$$\begin{gathered} \overline{x_1}=\overline{x_2},\overline{y_1}=\overline{y_2}, \\ {x}_1{y}_1-x_2{y}_2 \\ =x_1{y}_1-x_1{y}_2+x_1{y}_2-x_2{y}_2 \\ =x_1(y_1-y_2)+y_2(x_1-x_2), \end{gathered}$$
    因为 x 1 ‾ = x 2 ‾ → x 1 + I = x 2 + I → x 1 − x 2 = I − I ∈ I , \overline{x_1}=\overline{x_2}\\\rightarrow x_1+I=x_2+I\\\rightarrow x_1-x_2=I-I\in I, x1​​=x2​​→x1​<