近世代数--环同态--环同态基本定理

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

环同态跟群同态类似。

有一些概念和简单性质。

• 同态映射homorphism：

  设$R$和$R^{\prime }$是两个环，$\phi$是集合$R$到$R^{\prime }$的映射，如果有$\forall a,b\in R$，有$\phi (a+b)=\phi (a)+\phi (b),\phi (ab)=\phi (a)\phi (b)$，则称$\phi$是环$R$到环$R^{\prime }$的一个同态映射，简称同态。

• 单同态monomorphism：$\phi$是单映射

• 满同态epimorphism：$\phi$是满映射

• 同构isomorphism：$\phi$是单同态，又是满同态

• 单位元映射：$R$和$R^{\prime }$都是有单位元的环，$e$和$e^{\prime }$分别是单位元，$\phi$是$R$到$R^{\prime }$的环同态。那么

  • 如果$\phi$是满同态，则$\phi (e)=e^{\prime }$

    $$\begin{gathered} \forall a^{\prime }\in R^{\prime },\exists a,\phi (a)=a^{\prime }, \\ \phi (e)a^{\prime }=\phi (e)\phi (a)=\phi (ea)=\phi (a)=a^{\prime }, \end{gathered}$$