设 
为一个环。如果 
是一个 环同态，则 
是 
的一个理想，
是 
的一个子环，并且 
。
第一环同构定理
另请参阅
第二环同构定理, 第三环同构定理, 第四环同构定理此条目由 Nick Hutzler 贡献
使用 Wolfram|Alpha 探索
参考文献
Dummit, D. S. 和 Foote, R. M. Abstract Algebra, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2003。在 Wolfram|Alpha 中被引用
第一环同构定理请引用为
Hutzler, Nick. "第一环同构定理。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/FirstRingIsomorphismTheorem.html