Let 
be a ring, and let 
be an ideal of 
. The correspondence 
is an inclusion preserving bijection between the
set of subrings 
of 
that contain 
and the set of subrings of 
. Furthermore, 
(a subring containing 
) is an ideal of 
iff 
is an ideal of 
.
Fourth Ring Isomorphism Theorem
See also
First Ring Isomorphism Theorem, Second Ring Isomorphism Theorem, Third Ring Isomorphism TheoremThis entry contributed by Nick Hutzler
Explore with Wolfram|Alpha
References
Dummit, D. S. and Foote, R. M. Abstract Algebra, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, p. 246, 2003.Referenced on Wolfram|Alpha
Fourth Ring Isomorphism TheoremCite this as:
Hutzler, Nick. "Fourth Ring Isomorphism Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/FourthRingIsomorphismTheorem.html