The Decomposition Theorem for Algebraic Integer Rings

Introduction

Algebraic integers are fundamental objects in algebraic number theory, representing roots of monic polynomials with integer coefficients. These elements lie within the ring of integers of a number field, which is the set of algebraic integers that satisfy polynomial equations with integer coefficients. The decomposition theorem, a cornerstone of algebraic number theory, provides a profound structural insight into the behavior of ideals in algebraic integer rings. This theorem establishes that every ideal in the ring of integers of a number field can be uniquely decomposed into a product of prime ideals, a property that underpins many advancements in number theory, including the study of class numbers and the structure of Dedekind domains.

Definition and Context

Let $ \mathbb{Q}(\alpha) $ be a finite extension of $ \mathbb{Q} $, and let $ \mathcal{O}{\mathbb{Q}(\alpha)} $ denote the ring of integers of $ \mathbb{Q}(\alpha) $. A algebraic integer is an element of $ \mathcal{O}{\mathbb{Q}(\alpha)} $ that is also a root of a monic polynomial with integer coefficients. The ring $ \mathcal{O}{\mathbb{Q}(\alpha)} $ is a noetherian domain and is a finite extension of $ \mathbb{Z} $. The decomposition theorem asserts that every ideal in $ \mathcal{O}{\mathbb{Q}(\alpha)} $ is a product of prime ideals, a property that reflects the deep interplay between algebraic number theory and commutative algebra.

The theorem relies on the structure theorem for finitely generated modules over a PID, which guarantees that any finitely generated module over a principal ideal domain (PID) can be expressed as a direct sum of cyclic modules. In the context of $ \mathcal{O}_{\mathbb{Q}(\alpha)} $, this theorem ensures the uniqueness of ideal decomposition, provided certain conditions are met, such as the integrality of the ring and the maximal order of its ideals.

Statement of the Decomposition Theorem

The decomposition theorem states that for any finite extension $ \mathbb{Q}(\alpha) $ of $ \mathbb{Q} $, the ring $ \mathcal{O}{\mathbb{Q}(\alpha)} $ is a Noetherian domain and satisfies the ideal decomposition property. Specifically, every ideal $ \mathfrak{a} \subseteq \mathcal{O}{\mathbb{Q}(\alpha)} $ can be uniquely written as $ \mathfrak{a} = \mathfrak{p}1^{e_1} \mathfrak{p}_2^{e_2} \cdots \mathfrak{p}_r^{e_r} $, where $ \mathfrak{p}_i $ are prime ideals of $ \mathcal{O}{\mathbb{Q}(\alpha)} $ and $ e_i $ are positive integers. This decomposition is up to units, meaning that the prime ideals are not necessarily distinct, but their exponents are.

The theorem is closely tied to the concept of ideal classes, which measure the failure of the ring of integers to be a PID. In the case of $ \mathcal{O}_{\mathbb{Q}(\alpha)} $, the decomposition theorem ensures that the ideal class group is finite, a result that is central to the study of number fields. The theorem also underpins the Kronecker-Weber theorem, which states that every finite extension of $ \mathbb{Q} $ is contained in a cyclotomic field, a result that relies on the decomposition of ideals in the ring of integers of such fields.

Proof Outline

The proof of the decomposition theorem involves several key steps, beginning with the structure theorem for finitely generated modules over a PID. Let $ \mathcal{O}{\mathbb{Q}(\alpha)} $ be a Dedekind domain, and let $ \mathfrak{a} $ be an ideal in $ \mathcal{O}{\mathbb{Q}(\alpha)} $. The theorem can be approached by considering the primary decomposition of $ \mathfrak{a} $, which is a direct sum of cyclic modules.

A critical component of the proof is the existence of an integral basis for $ \mathcal{O}{\mathbb{Q}(\alpha)} $. If $ \mathcal{O}{\mathbb{Q}(\alpha)} $ is a PID, then every ideal is principal, and the decomposition theorem reduces to the trivial case. However, in general, the ring $ \mathcal{O}_{\mathbb{Q}(\alpha)} $ is not a PID, and the decomposition theorem requires more sophisticated tools.

One key step in the proof involves the factorization of ideals in $ \mathcal{O}{\mathbb{Q}(\alpha)} $. For a prime ideal $ \mathfrak{p} $, the ideal $ \mathfrak{p} \mathcal{O}{\mathbb{Q}(\alpha)} $ is a maximal order in $ \mathcal{O}_{\mathbb{Q}(\alpha)} $, and the decomposition theorem ensures that every ideal can be expressed as a product of such maximal orders. This is achieved through the valuation theory and the valuation rings associated with the prime ideals.

Another essential aspect of the proof is the role of the ring of integers in the decomposition of ideals. The ring $ \mathcal{O}_{\mathbb{Q}(\alpha)} $ is a Noetherian domain, and its ideals are finitely generated. The structure theorem for finitely generated modules over a PID guarantees that the decomposition of ideals is unique up to units, which is a crucial property for the theorem's validity.

Key Concepts and Tools

The decomposition theorem relies on several foundational concepts in algebraic number theory. One of the most important is the integrality of the ring $ \mathcal{O}_{\mathbb{Q}(\alpha)} $, which ensures that the ideal decomposition is well-defined. Another critical concept is the structure theorem for finitely generated modules over a PID, which provides the framework for the decomposition of ideals.

In addition, the ideal class group plays a pivotal role in the theorem. The class group measures the number of ideal classes in $ \mathcal{O}_{\mathbb{Q}(\alpha)} $, and the decomposition theorem ensures that this group is finite. This finiteness is a direct consequence of the theorem's structure, as it guarantees that the ideal classes are well-behaved and can be systematically analyzed.

The valuation theory also contributes to the proof, as it provides a way to analyze the behavior of ideals in the ring