近世代数--环同态--环的第二同构定理

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

$R$是环，$S\le R,I◃R,$要证

• $S\cap I◃S,$
• $S/(S\cap I)\cong (S+I)/I$

证明：根据环同态基本定理：$\phi :R\to R^{\prime }$是满同态，则$R/Ker\phi \cong R^{}$