Group Homomorphism Basic Theorem (First Isomorphism Theorem)

Introduction to Group Homomorphisms

A group homomorphism is a function $ \phi: G \rightarrow H $ between two groups $ G $ and $ H $ that preserves the group operation. Specifically, for all $ a, b \in G $, the homomorphism satisfies $ \phi(a \cdot b) = \phi(a) \cdot \phi(b) $, where $ \cdot $ denotes the group operation in $ G $ and $ H $. Such functions map the structure of $ G $ to that of $ H $ while maintaining the essential algebraic properties. Homomorphisms are fundamental in group theory, as they allow the study of group structures through their relationships with other groups.

The First Isomorphism Theorem, a cornerstone of group theory, establishes a crucial relationship between homomorphisms and quotient groups. It states that if $ \phi: G \rightarrow H $ is a group homomorphism, then the image of $ \phi $, denoted $ \text{Im}(\phi) $, is isomorphic to the quotient group $ G/\ker(\phi) $, where $ \ker(\phi) = { g \in G \mid \phi(g) = e_H } $ is the kernel of $ \phi $, and $ e_H $ is the identity element of $ H $. This theorem provides a way to construct isomorphic groups from homomorphisms and highlights the interplay between homomorphisms and quotient groups.

Statement of the First Isomorphism Theorem

The First Isomorphism Theorem asserts that for any group homomorphism $ \phi: G \rightarrow H $, the following holds:
$$ \text{Im}(\phi) \cong G/\ker(\phi) $$
This means that the image of $ \phi $ is isomorphic to the quotient group of $ G $ by its kernel. The theorem also implies that the kernel of $ \phi $ is a normal subgroup of $ G $, and the image of $ \phi $ is a subgroup of $ H $. Furthermore, the homomorphism $ \phi $ is surjective if and only if $ \ker(\phi) $ is trivial, and it is injective if and only if $ \ker(\phi) $ is the entire group $ G $.

The theorem is particularly significant because it allows the construction of isomorphic groups from homomorphisms. For instance, if $ \phi: G \rightarrow H $ is a homomorphism, then the quotient group $ G/\ker(\phi) $ is isomorphic to $ \text{Im}(\phi) $, enabling the analysis of $ G $ through its homomorphic images. This result is foundational in understanding the structure of groups and their relationships with other groups.

Proof of the First Isomorphism Theorem

To prove the First Isomorphism Theorem, we consider the properties of homomorphisms and their kernels. Let $ \phi: G \rightarrow H $ be a group homomorphism. Define a subset $ K = \ker(\phi) \subseteq G $. By the definition of a homomorphism, $ \phi(g) = e_H $ for all $ g \in K $, and $ K $ is a subgroup of $ G $.

The key step in the proof is to show that $ G/K \cong \text{Im}(\phi) $. To do this, we construct a homomorphism $ \psi: G/K \rightarrow \text{Im}(\phi) $ by defining $ \psi(gK) = \phi(g) $ for all $ g \in G $. This mapping is well-defined because $ \psi(gK) = \psi(g'K) $ if and only if $ gK = g'K $, which holds since $ \phi $ is a homomorphism and $ K $ is a normal subgroup.

Next, we show that $ \psi $ is bijective. The surjectivity of $ \psi $ follows from the fact that $ \text{Im}(\phi) $ is the image of $ G $ under $ \phi $, and every element of $ \text{Im}(\phi) $ is of the form $ \phi(g) $ for some $ g \in G $. The injectivity of $ \psi $ is established by showing that $ \psi(gK) = \psi(g'K) $ implies $ gK = g'K $, which is true because $ \phi $ is a homomorphism and $ K $ is a normal subgroup.

Thus, $ \psi $ is a bijective homomorphism, proving that $ G/K \cong \text{Im}(\phi) $. This completes the proof of the First Isomorphism Theorem, demonstrating that the quotient group of $ G $ by its kernel is isomorphic to the image of the homomorphism.

Implications and Applications

The First Isomorphism Theorem has profound implications in group theory, enabling the study of groups through their homomorphic images and quotient groups. It allows the construction of isomorphic groups from homomorphisms, which is critical in understanding the structure of groups and their relationships. For example, in the case of cyclic groups, the theorem ensures that the quotient group of a cyclic group by its kernel is isomorphic to the image of the homomorphism, providing a direct link between the group's structure and its homomorphic properties.

Moreover, the theorem is instrumental in the study of group extensions and