Ring theory is a branch of mathematics that is closely interlinked with group theory. To create a ring, we take a group with its “addition” operation, and add “multiplication” to the mix! We say that this group is a ring if we can apply the distribution law like standard addition and multiplication. If the nonzero elements of the ring form a group under multiplication, then we call the ring a field. It is important to include this “nonzero” part, because 0, or the identity of the group, does not have an inverse under multiplication. Instead, the identity of the multiplicative group is another element, commonly referred to as 1.
The integers, rationals, and reals are all examples of rings, using standard addition and multiplication. Another example is the set of n by n matrices under matrix addition and multiplication. Note that the rationals and reals are also fields, as we can take the multiplicative inverse of every nonzero element.
Given some field , we can actually construct another field by considering the polynomials in , denoted as . An element of this field has the form
where are elements of F.
Exercise: Check that is indeed a field.
If is a field, then we can substitute for any number, and get a field as well. These fields are called field extensions of .
Fields and their extensions are widely used in many fields relating to algebra and number theory, including abstract algebra and Galois theory. They are one of the most fundamental mathematical objects, and are a way to describe the overall structure of sets that (integers modulo ), the rationals, and others share.
Prerequisites/What you need to know
Rings do not take a lot of background in mathematics to understand. However, ring theory can be thought of as an expansion to group theory that adds on an additional binary operation to the set.