First Isomorphism Theorem

students, imagine you build a machine that takes objects in one set and turns them into another set while keeping the important structure intact. In abstract algebra, that machine is called a homomorphism. The First Isomorphism Theorem explains what happens when some objects get sent to the same place. It tells us that the original algebraic structure can be “compressed” by grouping together elements that behave the same under the map. 🔍

In this lesson, you will learn how to:

explain the main ideas and vocabulary behind the First Isomorphism Theorem,
identify kernels, images, and the connection to quotient structures,
use the theorem to solve problems and prove isomorphisms,
connect the theorem to the wider study of homomorphisms and isomorphisms.

By the end, you should be able to see why this theorem is one of the most useful tools in abstract algebra. It connects a map, its kernel, its image, and a quotient structure into one powerful result. 🚀

Homomorphisms: structure-preserving maps

A homomorphism is a function between algebraic structures that preserves the operation. For groups, if $\varphi:G\to H$ is a group homomorphism, then

$$\varphi(ab)=\varphi(a)\varphi(b)$$

for all $a,b\in G$.

This means the map respects multiplication in the group. If $G$ and $H$ are written additively, such as in rings or vector spaces, the rule becomes

$$\varphi(a+b)=\varphi(a)+\varphi(b).$$

Real-world idea: think of a school grading system where multiple raw scores may lead to the same letter grade. The function is not just any random assignment; it keeps some structure of performance while simplifying the information. 🎓

A homomorphism can be:

one-to-one if different inputs always give different outputs,
onto if every element of the target is hit,
or neither.

The First Isomorphism Theorem helps explain what a homomorphism looks like when it is not one-to-one.

Kernel and image: the two most important sets

To understand the theorem, students, you need two key ideas.

Kernel

The kernel of a homomorphism $\varphi:G\to H$ is the set

$$\ker(\varphi)=\{g\in G\mid \varphi(g)=e_H\},$$

where $e_H$ is the identity element of $H$.

For additive structures, the kernel is

$$\ker(\varphi)=\{x\in G\mid \varphi(x)=0\}.$$

The kernel measures what gets “collapsed” to the identity. If the kernel contains only the identity element, then the homomorphism is injective.

Image

The image of $\varphi$ is the set

$$\operatorname{im}(\varphi)=\{\varphi(g)\mid g\in G\}.$$

This is the part of the target actually reached by the map. The image is always a subgroup of $H$.

A very important fact is that the kernel and image tell us a lot about the map. The kernel tells us how much information is lost, and the image tells us where the information ends up. 📦

Example: Define $\varphi:\mathbb{Z}\to\mathbb{Z}_n$ by

$$\varphi(k)=k\bmod n.$$

Then

$$\ker(\varphi)=n\mathbb{Z},$$

and

$$\operatorname{im}(\varphi)=\mathbb{Z}_n.$$

Here, all integers that differ by a multiple of $n$ look the same after applying the map.

Cosets and quotient structures

The First Isomorphism Theorem is built on the idea of grouping elements that are indistinguishable under a homomorphism.

If $N$ is a normal subgroup of a group $G$, then the quotient group $G/N$ is formed from the cosets of $N$ in $G$. The coset of $g\in G$ is

$$gN=\{gn\mid n\in N\}.$$

Two elements $a,b\in G$ are in the same coset of $N$ if

$$a^{-1}b\in N.$$

When $N=\ker(\varphi)$, this condition becomes especially important. If $a$ and $b$ differ by something in the kernel, then they have the same image under $\varphi$:

$$\varphi(a)=\varphi(b).$$

This is the key idea behind the theorem. Elements that the homomorphism cannot distinguish are grouped together into one class. 🧩

Statement of the First Isomorphism Theorem

Here is the theorem in its standard group form:

If $\varphi:G\to H$ is a group homomorphism, then

$$G/\ker(\varphi)\cong \operatorname{im}(\varphi).$$

This says that the quotient group formed by the kernel is isomorphic to the image of the homomorphism.

In words, the structure of $G$ after collapsing everything in the kernel is exactly the same as the part of $H$ reached by the map.

Why this matters:

it turns a possibly complicated homomorphism into a cleaner isomorphism,
it shows that every homomorphism factors through a quotient,
it gives a direct way to identify quotient groups and images.

The theorem is called the First Isomorphism Theorem because there are also second and third isomorphism theorems in abstract algebra.

Why the theorem is true: the big idea

The theorem works because the kernel identifies exactly which elements of $G$ become equal after applying $\varphi$.

Define a new map

$$\overline{\varphi}:G/\ker(\varphi)\to \operatorname{im}(\varphi)$$

$$\overline{\varphi}(g\ker(\varphi))=\varphi(g).$$

This is the “compressed” version of $\varphi$.

To see why this works, we need to know the map is well-defined. If

$$g\ker(\varphi)=g'\ker(\varphi),$$

then

$$g^{-1}g'\in \ker(\varphi).$$

$$\varphi(g^{-1}g')=e_H.$$

Using the homomorphism rule,

$$\varphi(g)^{-1}\varphi(g')=e_H,$$

which means

$$\varphi(g)=\varphi(g').$$

So the definition does not depend on which representative of the coset you pick. That is exactly why the quotient is the right object to use. ✅

Also, $\overline{\varphi}$ is a homomorphism, it is onto $\operatorname{im}(\varphi)$ by definition, and it is one-to-one because different cosets of the kernel give different outputs. Therefore, $\overline{\varphi}$ is an isomorphism.

Example 1: integers modulo $n$

Let $\varphi:\mathbb{Z}\to\mathbb{Z}_n$ be defined by

$$\varphi(k)=k\bmod n.$$

We already found that

$$\ker(\varphi)=n\mathbb{Z}.$$

The theorem says

$$\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}_n.$$

This is one of the most familiar results in algebra. It tells us that the quotient group of integers modulo multiples of $n$ is the same as the group of integers mod $n$.

This example is useful because it shows how quotient groups naturally arise from homomorphisms. The kernel contains all integers that disappear into $0$ mod $n$, and the quotient records the remaining classes.

Example 2: a linear algebra connection

The First Isomorphism Theorem also appears in linear algebra. If $T:V\to W$ is a linear transformation, then

$$V/\ker(T)\cong \operatorname{im}(T).$$

This looks almost the same as the group version, because vector spaces are also algebraic structures with a homomorphism concept.

Suppose $T:\mathbb{R}^3\to\mathbb{R}^2$ is given by

$$T(x,y,z)=(x+y,\,y+z).$$

To find the kernel, solve

$$T(x,y,z)=(0,0).$$

That gives the system

$$x+y=0,$$

$$y+z=0.$$

So $x=-y$ and $z=-y$, which means

$$(x,y,z)=(-t,t,-t)$$

for some $t\in\mathbb{R}$.

Thus the kernel is one-dimensional. The theorem says that if we collapse that one-dimensional kernel, the quotient space has the same structure as the image of $T$. This gives a clean way to compare dimensions and understand how much information the transformation preserves.

How to use the theorem in problem solving

When students sees a homomorphism problem, a good strategy is:

Find the kernel by solving $\varphi(g)=e_H$ or $\varphi(x)=0$.
Find the image by describing all outputs.
Form the quotient by the kernel if needed.
Use the theorem to connect the quotient with the image.

The theorem is especially helpful when you need to prove that two algebraic structures are isomorphic. Instead of building a difficult direct isomorphism, you can sometimes recognize one structure as a quotient and the other as an image of a known map.

Example idea: If a map has kernel $N$, then the theorem says

$$G/N\cong \operatorname{im}(\varphi).$$

So if you can identify $\operatorname{im}(\varphi)$ with a familiar group, you have described the quotient group too.

Conclusion

The First Isomorphism Theorem is a central idea in abstract algebra because it shows how homomorphisms compress structure without destroying the parts that still matter. students, the kernel tells you what is lost, the image tells you what is kept, and the quotient by the kernel captures the exact structure that survives. The theorem

$$G/\ker(\varphi)\cong \operatorname{im}(\varphi)$$

links these ideas into one powerful statement.

This lesson also shows why the theorem belongs at the heart of Homomorphisms and Isomorphisms. It explains the relationship between a map and the algebraic objects it connects, and it gives a practical tool for proving isomorphisms in groups, rings, and vector spaces. 📘

Study Notes

A homomorphism is a structure-preserving map.
The kernel of $\varphi:G\to H$ is $\ker(\varphi)=\{g\in G\mid \varphi(g)=e_H\}$.
The image is $\operatorname{im}(\varphi)=\{\varphi(g)\mid g\in G\}$.
Elements that differ by an element of the kernel have the same image.
The First Isomorphism Theorem says

$$G/\ker(\varphi)\cong \operatorname{im}(\varphi).$$

The theorem explains how every homomorphism factors through a quotient.
For $\varphi:\mathbb{Z}\to\mathbb{Z}_n$ given by $\varphi(k)=k\bmod n$, the kernel is $n\mathbb{Z}$ and

$$\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}_n.$$

In linear algebra, a similar statement is

$$V/\ker(T)\cong \operatorname{im}(T).$$

The theorem is useful for finding isomorphisms, simplifying homomorphisms, and understanding how algebraic structure is preserved.