近世代数--子环--怎么判断是不是子环？

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

• 环ring：$(R,+,\cdot ),\forall a,b,c\in R$

  • $R1$：$“+”$满足交换律，$a+b=b+a$
  • $R2$：$“\cdot ”$满足结合律，$a\cdot (b\cdot c)=(a\cdot b)\cdot c$
  • $R3$：$“+”“\cdot ”$满足分配律，$a\cdot (b+c)=a\cdot b+a\cdot c,(b+c)\cdot a=b\cdot a+c\cdot a$

• 子环subring：设$(R,+,\cdot )$是一个环，$S$是$R$的一个非空子集，$S\subset R,$如果$S$关于$R$的运算构成环(满足$R1、R2、R3$)，则称$S$为$R$的子环，记作$S<R$。

• 子环的充分必要条件：$(R,+,\cdot )$是一个环，$S\subset R$，$S$是$R$的子环的充分必要条件：

  • (1) $(S,+)$是$(R,+)$的加法子群；$\leftrightarrow S$关于$R$的减法封闭，即$\forall a,b\in S,a-b\in S$；
  • (2) $S$关于$R$的乘法封闭，即$\forall a,b\in S,ab\in S$。
    证明：
    • $S$是$R$的子环$\to (1)(2)$：
      $(S,+,\cdot )$是环$\to (S,+)$是群，$S$关于乘法$\cdot$封闭。
      又因为$S<R$，所以易得$(1)(2)$
    • $(1)(2)\to S$是$R$的子环：
      因为$R1$：环上的加法具有交换律，所以对于环上的子群的元素做加法运算，也满足交换律；即环上的加法子群$(S,+)$关于加法构成交换群，满足$R1$；
      $R$满足$R2$结合律、$R3$分配律，$S\subset R$，$S$的运算就是$R$的运算，所以$S$也满足$R2、R3$。

• 子环例子：$I$为$Z$的子环，证明：存在唯一非负整数$d$，使 I = d Z = { d z ∣ z ∈ Z } I=dZ=\{dz|z\in Z\} I=dZ={dz∣z∈Z}。

  • 存在性：
    • 如果 I = { 0 } ， I=\{0\}， I={0}，那么$d=0,I=dZ$；
    • i ≠ { 0 } , i\neq \{0\}, i​={0},有$z>0,$使$z\in I,$取 d = m i n { z ∈ I , z > 0 } d=min\{z\in I,z>0\} d=min{z∈I,z>0}，那么有$d\in I,d>0$。
      既然$d\in I,$由环满足加法封闭性可知，$dZ\subseteq I$。现在只要证明$dZ=I$，即$\forall z\in I,$都可以写成$z=dq,q\in Z$的形式。
      假设$\forall z\in I,z=dq+r,d>r$，那么$r=z-dq\in I,$又因为 d = m i n { z ∈ I , z > 0 } d=min\{z\in I,z>0\} d=min{z∈I,z>0}，所以$r=0\to z=dq\to dZ=I.$
  • 唯一性： 假设$I=d_{1}Z=d_{2}Z,d_1\ge 0,d_2\ge 0$
    • 如果$d_1=0$，那么 I = { 0 } I=\{0\} I={0}，所以$d_2=0\to d_1=d_2$；
    • 如果$d_1>0$，那么$d_2>0$。因为$d_1\in I\to d_1\in d_{2}Z\to d_2\mid d_1$，同理$d_1\mid d_2\to d_1=\pm d_2$，又$d_1>0,d_2>0，$所以$d_1=d_2$。