Teorema 16.3.13. Teorema Isomorfisma Kedua.
Misalkan \(I\) adalah subgelanggang dari gelanggang \(R\) dan \(J\) adalah ideal dari \(R\text{.}\) Maka \(I \cap J\) adalah ideal dari \(I\) dan
\begin{equation*}
I / I \cap J \cong (I+ J) /J\text{.}
\end{equation*}