Integral Expansion of Prime Ideals: Raising and Contraction

Introduction

In commutative algebra, prime ideals play a foundational role in understanding the structure of rings. A prime ideal $ \mathfrak{p} $ in a ring $ R $ is an ideal such that if $ a \in R $ and $ a b \in \mathfrak{p} $, then $ a \in \mathfrak{p} $ or $ b \in \mathfrak{p} $. The study of prime ideals often involves their behavior under ring extensions, where ideals can be "raised" or "contracted" to preserve certain properties. This article explores the concept of integral expansions, focusing on the raising and contraction of prime ideals in the context of ring extensions.

Raising Prime Ideals in Integral Extensions

An integral extension of rings is a ring homomorphism $ \phi: R \to S $ such that $ S $ is an integral domain over $ R $, meaning that every element of $ S $ satisfies a monic polynomial with coefficients in $ R $. When such an extension is considered, prime ideals in $ R $ can be extended to prime ideals in $ S $, a process known as raising.

The key property of integral extensions is that if $ \phi: R \to S $ is an integral ring homomorphism, then the image of a prime ideal $ \mathfrak{p} \subseteq R $ under $ \phi $ is a prime ideal in $ S $, provided $ \phi $ is surjective and $ R $ is a domain. This is formalized in the Prime Ideal Extension Theorem, which states that if $ \phi: R \to S $ is an integral extension and $ \mathfrak{p} \subseteq R $ is a prime ideal, then $ \phi(\mathfrak{p}) $ is a prime ideal in $ S $.

The raising process is closely tied to the integral closure of $ R $ in $ S $. If $ S $ is the integral closure of $ R $, then the image of any prime ideal in $ R $ under $ \phi $ is also prime in $ S $. This ensures that the algebraic structure of $ S $ retains the prime ideal properties of $ R $. For example, consider the ring $ \mathbb{Z} $ and its integral extension $ \mathbb{Z}[\sqrt{2}] $, where the prime ideal $ (2) \subseteq \mathbb{Z} $ maps to the prime ideal $ (2, \sqrt{2}) \subseteq \mathbb{Z}[\sqrt{2}] $.

The raising of prime ideals in integral extensions has significant implications for the Noetherian property of rings. If $ R $ is Noetherian, then so is $ S $, provided $ \phi $ is an integral extension. This result is crucial in the study of finitely generated rings and their properties.

Contraction of Prime Ideals in Ring Extensions

Contraction is the inverse process of raising, where a prime ideal in the extended ring $ S $ is mapped back to the original ring $ R $. This operation is particularly useful when analyzing the structure of rings under extensions.

Given an integral extension $ \phi: R \to S $ and a prime ideal $ \mathfrak{q} \subseteq S $, the contraction of $ \mathfrak{q} $ to $ R $ is defined as the set $ \phi^{-1}(\mathfrak{q}) \subseteq R $. If $ \phi $ is surjective and $ R $ is a domain, then $ \mathfrak{q} $ is a prime ideal in $ S $ if and only if its contraction $ \phi^{-1}(\mathfrak{q}) $ is a prime ideal in $ R $.

The contraction process is often used to study the prime ideal structure of rings. For instance, in the case of $ \mathbb{Z} $ and $ \mathbb{Z}[\sqrt{-1}] $, the prime ideal $ (2) \subseteq \mathbb{Z} $ contracts to the prime ideal $ (2) \subseteq \mathbb{Z}[\sqrt{-1}] $, preserving the prime ideal's properties.

A critical distinction in contraction is whether the extension is flat. If $ \phi: R \to S $ is a flat integral extension, then the contraction of a prime ideal in $ S $ is also a prime ideal in $ R $, ensuring that the prime ideal's properties are preserved. Flat extensions are particularly important in the study of flat modules and cohomology theories.

Structural Implications of Raising and Contraction

The raising and contraction of prime ideals have profound effects on the dimension theory of rings. For example, in the case of a Noetherian ring $ R $, the dimension of $ S $ (the integral extension) is at most the dimension of $ R $, provided $ \phi $ is an integral extension. This is a key result in dimension theory and is closely related to the Hartshorne's theorem on the dimension of integral extensions.

Moreover, the contraction of prime ideals can reveal information about the structure of the original ring. If $ \mathfrak{q} \subseteq S $ is a prime ideal whose contraction $ \phi^{-1}(\mathfrak{q}) $ is a prime ideal in $ R $, then $ \mathfrak{q} $ is a prime ideal in $ S $ if and only if $ \phi^{-