近世代数--极大理想--I是R的极大理想↔R/I是域

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

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

• 极大理想maximal ideal：$M$

  $R$为环，$M$是$R$的真理想，(这里是真理想的定义)，如果对于$R$中任一包含$M$的理想$N$，必有$N=M$或$N=R,$则$M$是$R$的极大理想。

• 极大理想例子：

  • $Z_{18}$的所有极大理想

    $Z_{18}$的所有理想：$<0>、<1>、<2>、<3>、<6>、<9>$

    • $<1>$不是真子集；
    • $<6>\subseteq <3>$，不是极大理想；
    • $<9>\subseteq <3>$，不是极大理想；
    • $<0>\subseteq <3>$，不是极大理想；
    • $<2>、<3>$是$Z_{18}$的极大理想

  • $<p>$为$Z$的极大理想$\leftrightarrow p$为素数

    • $<p>$为$Z$的极大理想$\to p$为素数

      首先，有个定理：$p$是素数$\leftrightarrow p\mid ab$一定能得到$p\mid a$或$p\mid b$（$(p,a)=1\to p\mid b,(p,b)=1\to p\mid a$）

      设$ab\in Z,p\mid ab，$若$$\begin{gathered} p\nmid a, \\ \to a\notin \end{gathered}$$