Let be a group having normal subgroups and with . Then and
where indicates that is a normal subgroup of and indicates that and are isomorphic groups.
Let be a group having normal subgroups and with . Then and
where indicates that is a normal subgroup of and indicates that and are isomorphic groups.
This entry contributed by Nick Hutzler
Hutzler, Nick. "Third Group Isomorphism Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ThirdGroupIsomorphismTheorem.html