Algebraic number field

Math can find new numbers. We start with numbers like one or two. These are rational numbers. We can make bigger groups of numbers. We do this by adding them together. We can also multiply them. These new groups are called number fields.

Some number fields are very special. One kind uses a special math rule. This rule uses a part called the imaginary unit. We can add and multiply these numbers too. They follow the same rules we use every day. This helps us see hidden patterns in math.

Math can find new numbers. We start with rational numbers. These are numbers like one or two. We can make bigger groups of numbers. We do this by adding them together. We can also multiply them. We call these groups number fields.

An algebraic number field is a special kind of group. It grows from the rational numbers. It has a finite size. We call this size the degree. This degree is like the number of parts in a set. We use these fields to find hidden patterns.

Some fields are very special. The Gaussian rationals are a famous example. They use a part called the imaginary unit. You can add and multiply these numbers. They follow the same rules we use every day.

In these fields, we find algebraic integers. These are special numbers that fit certain math rules. Sometimes, these numbers are hard to break into parts. In some groups, you cannot split numbers into prime parts in just one way. This is a big difference from normal math. We use a tool called a class number to measure this. It tells us how much the rules change.

Mathematics can find new types of numbers by growing existing ones. We often start with the rational numbers. These are numbers like one, two, or one-half. We can build larger groups of numbers called fields. A field is a set where you can add and multiply. These groups must follow specific rules to work correctly. An algebraic number field is a special kind of field. It grows from the rational numbers by adding new pieces. It also has a finite size, which mathematicians call its degree.

To understand these fields, we look at how they behave like vector spaces. A vector space is a collection of sequences. You can add these sequences together by adding their parts. You can also multiply a sequence by a single number. In an algebraic number field, the degree tells us the dimension. This dimension is the number of parts needed to build the field. If the sequences were infinite, it would not be a number field. Real numbers and complex numbers are too large for this. They have an infinite dimension, so they are not number fields.

History shows us many ways to create these new groups. The Gaussian rationals are a famous early example. They use a special part called the imaginary unit. You can write these numbers using two rational parts. They allow us to add, subtract, and multiply easily. Another way is to use quadratic fields. These are made by adding the square root of a number. We also have cyclotomic fields. These come from adding roots of unity to the rational numbers. Each type of field reveals different patterns in math.

Inside these fields, we find special members called algebraic integers. These are numbers that solve certain math equations. Every regular integer is also an algebraic integer. These special numbers form their own group called a ring. This ring has very important properties studied by mathematicians. One person who studied these deeply was Richard Dedekind. We call certain rings Dedekind rings in his honor. These rings help us understand how numbers break apart. They are very organized and follow strict rules.

One big surprise in these fields is how numbers split. In normal math, every number has a unique way to break into primes. This is called unique factorization. However, some algebraic number fields do not do this. In those fields, a number might break into primes in two different ways. This can be confusing but it is a real property. We use a tool called a class number to measure this. The class number tells us how much the rules change. If the class number is one, the rules stay the same.

An algebraic number field is a specific type of mathematical structure called a field extension. It starts with the field of rational numbers, which includes all fractions. We create a number field by adding new numbers to this base set. To be an algebraic number field, the extension must have a finite degree. This degree represents the dimension of the field when viewed as a vector space over the rational numbers. The study of these fields is the main focus of algebraic number theory. This field of study uses algebraic methods to uncover hidden structures within the rational numbers.

To understand how these fields work, we must first understand fields and vector spaces. A field is a set of elements where you can perform addition and multiplication. These operations must follow specific rules, such as distributivity. The set of rational numbers is a prominent example of a field. A vector space is a collection of sequences or tuples. You can add two sequences by adding their corresponding entries. You can also perform scalar multiplication by multiplying every entry in a sequence by a single number from a fixed field. In an algebraic number field, the dimension is finite, meaning the sequences have a limited length.

There are several distinct types of number fields. The rational numbers themselves are the smallest and most basic example. One famous example is the Gaussian rationals, denoted as Q(i). This field is created by adjoining the imaginary unit, i, to the rational numbers. Every element in this field looks like a + bi, where a and b are rational numbers. The Gaussian rationals are a two-dimensional vector space over the rationals. Another type is a quadratic field. These are formed by adjoining the square root of a square-free integer to the rational numbers. We also find cyclotomic fields. These are created by adjoining a primitive n-th root of unity to the rational numbers. The dimension of a cyclotomic field is determined by the Euler totient function.

History shows us that these structures are not all the same. While many properties of number fields mimic the rational numbers, many others are very different. For instance, the ring of algebraic integers in a number field is not always a unique factorization domain. This means that the familiar rules of arithmetic can change in these larger fields. Mathematicians like Richard Dedekind studied these rings deeply. Because of his work, certain rings with specific properties are called Dedekind rings. These rings are integral domains that are integrally closed in their field of fractions. They are also Noetherian rings, and their nonzero prime ideals are always maximal.

One of the most important concepts is the algebraic integer. An element is an algebraic number if it is a root of a polynomial with rational coefficients. If that polynomial is monic and has only integer coefficients, the root is an algebraic integer. The set of all such integers in a number field forms a ring, denoted as O_K. This ring is a subring of the number field. Every regular integer is also an algebraic integer. These integers can be used to form an integral basis. An integral basis is a set of elements that can build every algebraic integer through integer combinations.

Unique factorization is a property that does not always hold in these fields. In the standard integers, every number can be broken down into primes in exactly one way. However, in some algebraic number fields, a number might have multiple, different prime factorizations. This failure of unique factorization is measured by a value called the class number, denoted as h. The class number is the size of the ideal class group. If the class number is 1, the ring has unique factorization. The class number problem, which traces back to Gauss, involves finding fields with specific class numbers. We can also use the Dedekind zeta function to study these properties through complex analysis.

Algebraic number fields connect to many different areas of mathematics. They link basic arithmetic to advanced topics like algebraic K-theory and analytic number theory. The study of these fields helps us understand the relationship between prime ideals and the behavior of functions. For example, the class number formula relates the class number to the residue of the Dedekind zeta function at s = 1. This formula involves several invariants, including the regulator and the discriminant of the field. By studying these fields, mathematicians can explore the deep connections between algebra and analysis.