Kernel (algebra)

In mathematics, we often move items from one collection to another using a special rule. This rule is called a homomorphism.

A homomorphism is a way to map one structure to another while keeping the patterns the same. Within this move, we find a very important concept called the kernel. The kernel is the collection of all items that land on the starting point of the new collection. In a group, this starting point is known as the identity element. By looking at the kernel, we can see how much the mapping changes the original set.

To understand how a kernel works, imagine a rule that checks if numbers are even or odd. We can map every integer to a new set where 0 means even and 1 means odd. In this specific example, every even number lands on 0. Because 0 is the identity in this new set, all even numbers make up the kernel.

If the kernel contains only the identity element, the mapping is called injective. This means every single item from the first set lands in its own unique spot. If the kernel is larger, it shows that many different items are being grouped together into one.

Different types of math structures have their own special versions of kernels. In the study of rings, the kernel is the set of items that map to zero. This kernel is not just a subring, but it is called a two-sided ideal.

In vector spaces, the kernel is often called the null space. It consists of all vectors that the map turns into the zero vector. This null space is always a linear subspace of the original space. For a linear map, the dimension of the whole space equals the dimension of the kernel plus the dimension of the image.

We can see kernels in many different mathematical settings. For example, a map can project points onto the x-axis.

In that case, all points on the y-axis are sent to zero, so the y-axis is the kernel. Another example involves the determinant of matrices. The determinant is a map that takes a matrix and turns it into a number. The kernel for this map is called the special linear group, which contains matrices with a determinant of exactly 1. Even the derivative of a polynomial has a kernel, which consists of all constant functions.

Finally, the kernel allows mathematicians to build something called a quotient object. This is a way of creating a new, smaller structure by "dividing out" the kernel.

We can think of this as grouping the original items into sets called fibers. Each fiber contains all the points that land on the same spot. The first isomorphism theorem tells us that the image of a map is related to this quotient. This helps us understand how different algebraic structures fit together perfectly. It is a fundamental way to study the deep connections in math.