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. History The isomorphism theorems were formulated in some generality for homomorphisms of modules by Emmy Noether in her paper Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, 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. 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. Groups We first present the isomorphism theorems of the groups. Note on numbers and names 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, as one of isomorphism theorems, but when included, it is the last one. Statement of the theorems Theorem A (groups) Let G and H be groups, and let f : G → H be a homomorphism. Then: The kernel of f is a normal subgroup of G, The image of f is a subgroup of H, and The image of f is isomorphic to the quotient group G / ker(f). In particular, if f is surjective then H is isomorphic to G / ker(f). Theorem B (groups) Let be a group. Let be a subgroup of , and let be a normal subgroup of . Then the following hold: The product is a subgroup of ,