Science Fair Project Encyclopedia
Fundamental theorem on homomorphisms
In abstract algebra, for a number of algebraic structures, the fundamental theorem on homomorphisms relates the structure of two objects between which a homomorphism is given, and of the kernel and image of the homomorphism.
For groups, the theorem states:
- Let G and H be groups; let f : G->H be a group homomorphism; let K be the kernel of f; let φ be the natural surjective homomorphism G->G/K. Then there exists a unique homomorphism h:G/K->H such that f = h φ. Moreover, h is injective and provides an isomorphism between G/K and the image of f.
The situation is described by the following commutative diagram:
Similar theorems are valid for monoids, vector spaces, modules, and rings.
03-10-2013 05:06:04
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details