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. Similar theorems are valid for vector spaces, modules, and rings.
Group-theoretic versionEdit
Given two groups <math>G</math> and <math>H</math> and a group homomorphism <math>f: G \rarr H</math>, let <math>N</math> be a normal subgroup in <math>G</math> and <math>\phi</math> the natural surjective homomorphism <math>G \rarr G / N</math> (where <math>G / N</math> is the quotient group of <math>G</math> by <math>N</math>). If <math>N</math> is a subset of <math>\ker(f)</math> (where <math>\ker</math> represents a kernel) then there exists a unique homomorphism <math>h: G / N \rarr H</math> such that <math>f = h \circ \phi</math>.
In other words, the natural projection <math>\phi</math> is universal among homomorphisms on <math>G</math> that map <math>N</math> to the identity element.
The situation is described by the following commutative diagram:
<math>h</math> is injective if and only if <math>N = \ker(f)</math>. Therefore, by setting <math>N = \ker(f)</math>, 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".
ProofEdit
The proof follows from two basic facts about homomorphisms, namely their preservation of the group operation, and their mapping of the identity element to the identity element. We need to show that if <math>\phi: G \to H</math> is a homomorphism of groups, then:
- <math>\text{im}(\phi)</math> is a subgroup of Template:Tmath.
- <math>G / \ker(\phi)</math> is isomorphic to Template:Tmath.
Proof of 1Edit
The operation that is preserved by <math>\phi</math> is the group operation. If Template:Tmath, then there exist elements <math>a', b' \in G</math> such that <math>\phi(a')=a</math> and Template:Tmath. For these <math>a</math> and Template:Tmath, we have <math>ab = \phi(a')\phi(b') = \phi(a'b') \in \text{im}(\phi)</math> (since <math>\phi</math> preserves the group operation), and thus, the closure property is satisfied in Template:Tmath. The identity element <math>e \in H</math> is also in <math>\text{im}(\phi)</math> because <math>\phi</math> maps the identity element of <math>G</math> to it. Since every element <math>a'</math> in <math>G</math> has an inverse <math>(a')^{-1}</math> such that <math>\phi((a')^{-1}) = (\phi(a'))^{-1}</math> (because <math>\phi</math> preserves the inverse property as well), we have an inverse for each element <math>\phi(a') = a</math> in Template:Tmath, therefore, <math>\text{im}(\phi)</math> is a subgroup of Template:Tmath.
Proof of 2Edit
Construct a map <math>\psi: G / \ker(\phi) \to \text{im}(\phi)</math> by Template:Tmath. This map is well-defined, as if Template:Tmath, then <math>b^{-1}a \in \ker(\phi)</math> and so <math>\phi(b^{-1}a) = e \Rightarrow \phi(b^{-1})\phi(a) = e</math> which gives Template:Tmath. This map is an isomorphism. <math>\psi</math> is surjective onto <math>\text{im}(\phi)</math> by definition. To show injectivity, if <math>\psi(a\ker(\phi)) = \psi(b\ker(\phi))</math>, then Template:Tmath, which implies <math>b^{-1}a \in\ker(\phi)</math> so Template:Tmath.
Finally,
- <math>\psi((a\ker(\phi))(b\ker(\phi))) = \psi(ab\ker(\phi)) = \phi(ab)</math>
- <math>= \phi(a)\phi(b) = \psi(a\ker(\phi))\psi(b\ker(\phi)),</math>
hence <math>\psi</math> preserves the group operation. Hence <math>\psi</math> is an isomorphism between <math>G / \ker(\phi)</math> and Template:Tmath, which completes the proof.
ApplicationsEdit
The group theoretic version of the fundamental homomorphism theorem can be used to show that two selected groups are isomorphic. Two examples are shown below.
Integers modulo nEdit
For each Template:Tmath, consider the groups <math> \mathbb{Z} </math> and <math> \mathbb{Z}_n </math> and a group homomorphism <math> f:\mathbb{Z} \rightarrow \mathbb{Z}_n </math> defined by <math> m \mapsto m \text{ mod }n </math> (see modular arithmetic). Next, consider the kernel of Template:Tmath, Template:Tmath, which is a normal subgroup in Template:Tmath. There exists a natural surjective homomorphism <math> \varphi : \mathbb{Z} \rightarrow \mathbb{Z}/n\mathbb{Z} </math> defined by Template:Tmath. The theorem asserts that there exists an isomorphism <math> h </math> between <math> \mathbb{Z}_n </math> and Template:Tmath, or in other words Template:Tmath. The commutative diagram is illustrated below.
N / C theoremEdit
Let <math>G</math> be a group with subgroup Template:Tmath. Let Template:Tmath, <math>N_G(H)</math> and <math> \operatorname{Aut}(H) </math> be the centralizer, the normalizer and the automorphism group of <math> H </math> in Template:Tmath, respectively. Then, the <math>N/C</math> theorem states that <math>N_G(H)/C_G(H)</math> is isomorphic to a subgroup of Template:Tmath.
ProofEdit
We are able to find a group homomorphism <math> f: N_G(H) \rightarrow \operatorname{Aut}(H) </math> defined by Template:Tmath, for all Template:Tmath. Clearly, the kernel of <math> f </math> is Template:Tmath. Hence, we have a natural surjective homomorphism <math> \varphi : N_G(H) \rightarrow N_G(H)/C_G(H) </math> defined by Template:Tmath. The fundamental homomorphism theorem then asserts that there exists an isomorphism between <math> N_G(H)/C_G(H) </math> and Template:Tmath, which is a subgroup of Template:Tmath.