Fundamental theorem on homomorphisms

Fundamental theorem on homomorphisms In abstract algebra, the fundamental theorem on homomorphisms, also known as the fundamental homomorphism theorem, or the first isomorphism theorem, relates the structure of two objects between which a homomorphism is given, and of the kernel and image of the homomorphism.

The homomorphism theorem is used to prove the isomorphism theorems.

Contenuti 1 Group theoretic version 2 Other versions 3 Guarda anche 4 References Group theoretic version Diagram of the fundamental theorem on homomorphisms where f is a homomorphism, N is a normal subgroup of G and e is the identity element of G.

Given two groups G and H and a group homomorphism f : G → H, let N be a normal subgroup in G and φ the natural surjective homomorphism G → G/N (where G/N is the quotient group of G by N). If N is a subset of ker(f) then there exists a unique homomorphism h: G/N → H such that f = h∘φ.

In altre parole, the natural projection φ is universal among homomorphisms on G that map N to the identity element.

The situation is described by the following commutative diagram: h is injective if and only if N = ker(f). Perciò, by setting N = ker(f) we immediately get the first isomorphism theorem.

We can write the statement of the fundamental theorem on homomorphisms of groups as "every homomorphic image of a group is isomorphic to a quotient group".

Other versions Similar theorems are valid for monoids, spazi vettoriali, moduli, and rings.

See also Quotient category References Beachy, John A. (1999), "Teorema 1.2.7 (The fundamental homomorphism theorem)", Introductory Lectures on Rings and Modules, Testi degli studenti della London Mathematical Society, vol. 47, Cambridge University Press, p. 27, ISBN 9780521644075. Grove, Larry C. (2012), "Teorema 1.11 (The Fundamental Homomorphism Theorem)", Algebra, Dover Books on Mathematics, Courier Corporation, p. 11, ISBN 9780486142135. Jacobson, Nathan (2012), "Fundamental theorem on homomorphisms of Ω-algebras", Basic Algebra II, Dover Books on Mathematics (2nd ed.), Courier Corporation, p. 62, ISBN 9780486135212. Rose, Giovanni S. (1994), "3.24 Fundamental theorem on homomorphisms", A course on Group Theory [reprint of the 1978 originale], Pubblicazioni di Dover, Inc., New York, pp. 44–45, ISBN 0-486-68194-7, SIG 1298629. Categorie: Teoremi in algebra astratta