Nepedia
Back to Discover
Advanced Reader
🔢

Algebraic number field

math Maturity 11-13 Next article →

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.

748 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (1)
File:Schematic depiction of ramification.svg
Schematic depiction of ramification.svg
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.