In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences.
The isomorphism theorems were formulated in some generality for homomorphisms of modules by Emmy Noether in her paper , which was published in 1927 in Mathematische Annalen. Less general versions of these theorems can be found in work of Richard Dedekind and previous papers by Noether.Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern
Three years later, B.L. van der Waerden published his influential Moderne Algebra the first abstract algebra textbook that took the groups-rings-fields approach to the subject. Van der Waerden credited lectures by Noether on group theory and Emil Artin on algebra, as well as a seminar conducted by Artin, Wilhelm Blaschke, Otto Schreier, and van der Waerden himself on ideals as the main references. The three isomorphism theorems, called homomorphism theorem, and two laws of isomorphism when applied to groups, appear explicitly.
Below we present four theorems, labelled A, B, C and D. They are often numbered as "First isomorphism theorem", "Second..." and so on; however, there is no universal agreement on the numbering. Here we give some examples of the group isomorphism theorems in the literature. Notice that these theorems have analogs for rings and modules.
It is less common to include the Theorem D, usually known as the lattice theorem or the correspondence theorem, to one of isomorphism theorems, but when they do, it is the last one.
The correspondence theorem (also known as the lattice theorem) is sometimes called the third or fourth isomorphism theorem.
Let R be a ring. Let S be a subring of R, and let I be an ideal of R. Then:
In the following, "module" will mean "R-module" for some fixed ring R.
Let M and N be modules, and let φ : M → N be a module homomorphism. Then: