In this post we revisit certain topics discussed in one of the earliest posts on this blog, namely, The Fundamental Theorem of Arithmetic and Unique Factorization. In that post we introduced certain “numbers” such as , also referred to as the **Gaussian integers**, and , which I currently do not know the name of, despite it being one of the most basic examples of “numbers” displaying “weird” behavior such as the failure of unique factorization.

In that post we have been quite vague, and it is the intention of this post to start taking on the same topics with a little more clarity and rigor.

We define two important concepts – **algebraic numbers** and **finite degree ****field extensions of** **the field of rational numbers **. These two concepts are the objects of study of the branch of mathematics called **algebraic number theory**.

An **algebraic number** is a complex number which is the root of a polynomial with integer coefficients. The square root of , which we of course write as , is an example of an algebraic number. It is a root of the equation

Numbers that are not algebraic numbers are called **transcendental numbers**. Examples of transcendental numbers are the constants and .

Given a field (see Rings, Fields, and Ideals) , a **field extension** of is another field that contains as a subset (or rather, a subfield). The **degree** of a field extension of is its dimension (see More on Vector Spaces and Modules) as a vector space whose field of scalars is .

It is known that every element of a finite degree field extension of the field of rational numbers is an algebraic number. Hence, such a field extension is also called an **algebraic number field**.

An algebraic number which is the root of a **monic** polynomial with integer coefficients is called an **algebraic integer**. A **monic** polynomial is a polynomial where the term with the highest degree has a coefficient of . Hence, is not only an algebraic number, but is also an algebraic integer, since the polynomial is monic. The algebraic integers in an algebraic number field form a ring. They are related to the elements of the algebraic number field in an analogous way to how ordinary integers are related to rational numbers.

The ring of Gaussian integers is the ring of algebraic integers of the algebraic number field , which is made up of complex numbers whose real and imaginary parts are both rational numbers, while the ring is the ring of algebraic integers of the algebraic number field , which is made up of complex numbers which can be written in the form , where and are rational numbers.

A **unit** is an element of the ring of algebraic integers of an algebraic number field which has a multiplicative inverse.As we have already seen in previous posts, it is important to identify the units in the ring of algebraic integers because we have to exclude them when we talk about unique factorization.

One of the things we can do with an algebraic number field is to study the factorization of its ring of algebraic integers. We have explored a little bit of this in The Fundamental Theorem of Arithmetic and Unique Factorization, and we have seen that in the ring the factorization into **irreducible elements** fails to be unique. For example, we may have

The numbers , , , and are all irreducible in the ring .

However, for certain rings called **Dedekind domains**, even if unique factorization into irreducible elements does not hold, the **ideals** of the ring may still be factored uniquely as a product of the **prime ideals** (see More on Ideals) of the ring. The ring of algebraic integers of an algebraic number field happens to be a Dedekind domain. We will discuss this factorization of ideals next.

We recall that an ideal of a ring is a subset of the ring which is closed under addition and multiplication by elements of the ring. In other words, it is a subset of the ring which is also a module with the ring itself as its ring of scalars. Perhaps the most simple kind of ideal is a **principal ideal**, written for an element of the ring , which consists of all products of with all the other elements of the ring. We may also say that the ideal is the set of all multiples of .

In the ring of ordinary integers , all ideals are principal ideals. However, this may not be true for more general rings. For example, in the ring , consider the set of linear combinations of and , i.e. the set of elements of which can be written as , where and are elements . This set, written , forms an ideal, but this ideal is not a principal ideal. It is not the set of multiples of a single element. However, it is closed under addition and multiplication by any element of .

Given two ideals and in some ring, the product is the set of all elements of the ring which can be written as where are elements of the ideal and are elements of the ideal .

We can now state the following “ideal-theoretic” analogue of the fundamental theorem of arithmetic (quoted from the book Algebraic Number Theory by Jurgen Neukirch):

*Every ideal of different from (0) and (1) admits a factorization*

* into nonzero prime ideals of which is unique up to the order of the factors.*

Here the symbol refers to the ring of algebraic integers of an algebraic number field.

We recall once again our example showing the failure of unique factorization in :

If we instead consider ideals instead of individual elements, we would have

(Note: Parentheses are used to denote principal ideals in abstract algebra and algebraic number theory. However, they are also used to denote multiplication of expressions, as in basic arithmetic and algebra. Hopefully the intended purpose of the parentheses will be obvious from the context and will not cause too much confusion for the reader. In the examples above, we have first used them for individual elements of the ring, and later on, for ideals, which are sets of elements of the ring.)

But the ideals in the last expression can be factored even further:

Therefore, the principal ideal admits a unique factorization as a product of ideals as follows:

We turn next to the definition of the class number of an algebraic number field, which was given a passing mention in The Fundamental Theorem of Arithmetic and Unique Factorization. The class number “measures” in some way the failure of unique factorization, and if its value is equal to , then unique factorization holds (this also means that all ideals in the ring of algebraic integers of the algebraic number field are principal ideals).

To define the class number, we first have to introduce the concept of a fractional ideal. A **fractional ideal** is a module which is obtained by taking the linear combinations of products of a finite number of elements of an algebraic number field with its ring of algebraic integers. Note that these elements need not be an algebraic integer itself. For example, the set

is obtained by taking the products of the rational number with the ordinary integers. We write it as , and, in analogy with principal ideals, we refer to such fractional ideals which are “generated” by a single element as **principal fractional ideals**. It is a property of fractional ideals that one can multiply them by a certain algebraic integer (which is an element of the ring of algebraic integers of the algebraic number field to which it belongs) and get back the ring of algebraic integers of the algebraic number field. For the example above, we can multiply each element by and get back the ordinary integers.

The fractional ideals, including the principal fractional ideals, form a group (see Groups) under multiplication. The **ideal class group** is then the group obtained by taking the quotient (see Modular Arithmetic and Quotient Sets) of the group of fractional ideals by the group of principal fractional ideals. The ideal class group only has a finite number of elements (called **ideal classes**), and this number is called the **class number**.

There is another way to define the ideal classes. We will say that two ideals and are **equivalent**, written , if there exist principal ideals and such that . The ideals that are equivalent to each other then form an **equivalence class**, and these equivalence classes are the ideal classes. The set of ideal classes form a group, which is the **ideal class group**.

The ring , which does not possess unique factorization (of elements) has two ideal classes – the class of principal fractional ideals, and another class, which includes the ideal . Hence its class number is .

In summary, algebraic number fields are not always uniquely factorizable into irreducible elements. The class number (which requires the concept of ideals to be properly defined) allows us to somehow “measure” the failure of unique factorization. However, despite the failure of factorization of elements, there is always the uniqueness of factorization for ideals.

This makes up the basics of the subject of **algebraic number theory**, which I find to be interestingly named – on one hand, it is “algebraic” number theory, which means that it uses concepts from abstract algebra to study numbers. On the other hand, it is “algebraic number” theory, which means that it is the study of algebraic numbers, which we have defined above as the numbers that are zeroes of polynomials with integer coefficients. Algebraic number theory is one of the oldest and most revered branches of mathematics, and has developed consistently and grown in beauty and elegance throughout history – including in modern times.

References:

Algebraic Number Theory in Wikipedia

Algebra by Michael Artin

A Classical Introduction to Modern Number Theory by Kenneth Ireland and Michael Rosen

Algebraic Number Theory by Jurgen Neukirch

Pingback: Galois Groups | Theories and Theorems

Pingback: Localization | Theories and Theorems

Pingback: Cohomology in Algebraic Geometry | Theories and Theorems

Pingback: Etale Cohomology of Fields and Galois Cohomology | Theories and Theorems

Pingback: Divisors and the Picard Group | Theories and Theorems

Pingback: Elliptic Curves | Theories and Theorems

Pingback: Varieties and Schemes Revisited | Theories and Theorems

Pingback: Adeles and Ideles | Theories and Theorems