近世代数--整环的商域--整环D扩充为域Q

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

整环可以扩充成域

我们知道

• Z = { … − 3 , − 2 , − 1 , 0 , 1 , 2 , 3 … } Z=\{…-3,-2,-1,0,1,2,3…\} Z={ …−3,−2,−1,0,1,2,3…}，$Z$是整数环
• Q = { n m ∣ m , n ∈ Z , m ≠ 0 } Q=\{\frac{n}{m}|m,n\in Z,m\neq 0\} Q={ mn​∣m,n∈Z,m​=0}，$Q$是有理数域
• $Z$是$Q$的子环

整数环$Z$扩充为一个更大的域$Q$，那么是不是所有的环都能扩充成域？如果不是，在什么限制条件下，环可以扩充成域？

• 无零因子：有零因子的环，即$\exists a,b\ne 0,a\cdot b=0$，那么非零元全体(包括$a,b$)在乘法运算下不满足封闭性（非零元相乘得到零元），不构成群；
• 有单位元：域$\to$除环，非零元全体构成群，群的定义：有单位元
• 交换环：存在无零因子的非交换环不一定能被一个除环包含，可交换性在定义商域的代数运算时有用到

综上，整环满足所有条件，即整环可以扩充成一个域。

整环如何扩充成域/商域quotient field

整环扩充成域的构造过程：设$D$为整环，单位元为$e$

第一步：构造集合$S$

S = { ( a , b ) ∣ a , b ∈ D , b ≠ 0 } S=\{(a,b)|a,b\in D,b\neq 0\} S={ (a,b)∣a,b∈D,b​=0}

第二步：在$S$上定义一个等价关系

$\forall (a,b),(c,d)\in S,(a,b)\sim (c,d)\leftrightarrow ad=bc$

• 证明等价：

  • 自反性：证$(a,b)\sim (b,a)$

    $ab=ba\to (a,b)\sim (a,b)$

  • 对称性：证$(a,b)\sim (c,d)\to (c,d)\sim (a,b)$

    $$\begin{gathered} (a,b)\sim (c,d) \\ \to ad=bc \\ \to da=cb \\ \to cb=da \\ \to (c,d)\sim (a,b) \end{gathered}$$

  • 传递性：证$(a,b)\sim (c,d),(c,d)\sim (e,f)\to (a,b)\sim (e,f)$

    $$\begin{gathered} (a,b)\sim (c,d) \\ \to ad=bc \end{gathered}$$ (1)
    $$\begin{gathered} (c,d)\sim (e,f) \\ \to cf=de \end{gathered}$$ (2)
    (1)(2) 相乘：$a(dc)f=b(cd)e,d\ne 0$

    • $c=0$，

      由（1）得：$a=0$
      由（2）得：$e=0$
      所以，$af=be=0\to (a,b)\sim (e,f)$

    • $c\ne 0$

      $c\ne 0,d\ne 0\to cd\ne 0,dc\ne 0$
      又无零因子的环$\to$左右消去律成立得，