We know, from basic arithmetic, that any natural number greater than is either a prime number or can be factored **uniquely** into a product of prime numbers. For example, consider the number :

This is only unique, of course, up to the order in which multiplication is performed (since multiplication in the natural numbers is commutative), and up to a unit, i.e.

so we just consider all these different factorizations to be the same. This fact is so important that it is referred to as the **fundamental theorem of arithmetic**.

Now let us consider other kinds of numbers. We start with the integers, which are almost like the natural numbers except that there are negative numbers. The most important thing we should take note of here is that aside from the unit , we also have another unit, namely .

Let’s consider the number :

This is also

Once again, we consider these factorizations to be the same. Aside from these differences involving units, and also the order of multiplication, the factorization is unique.

Now we move on to less familiar numbers. Consider the Gaussian integers, complex numbers whose real and imaginary parts are both integers. In more technical terms, we write

.

The units here are, in addition to and , and .

For Gaussian integers, the number is not a prime number anymore, but instead factorizes as follows:

.

Note that this is also the same as

.

Since these two factorizations differ only by units:

Meanwhile, the number is still a prime number.

It is a theorem, which I shall not prove in this post, that the “ordinary” prime numbers that leave a remainder of when divided by “remain prime” for Gaussian integers. Those that leave a remainder of when divided by are no longer prime for Gaussian integers. We say that they “split”. The number 2 is a special case, we say that it “ramifies”; this means it factorizes, again, up to units, as a power:

But through all this, even though factorization in the Gaussian integers is very different from factorization in the natural numbers or the integers, the factorization in the Gaussian integers remains unique, of course up to the order of the factors and up to units.

We now show an example of factorization no longer being unique. Consider the (complex) numbers

.

We now have, for the number , the following two factorizations which are truly different, not just in order or up to units:

Unique factorization has failed. And in numbers like these, the failure of unique factorization can be measured by something called the class number. When unique factorization holds, the class number is . The class number is one of the most important quantities in all of algebraic number theory and will be tackled in later posts.

References:

Fundamental Theorem of Arithmetic on Wikipedia

Algebra by Michael Artin

Pingback: Basics of Algebraic Geometry | Theories and Theorems

Pingback: Algebraic Numbers | Theories and Theorems

Pingback: Splitting of Primes in Extensions | Theories and Theorems