What does it mean to localize at a prime ideal?

It means inverting every element not in the prime, leaving a local ring whose unique maximal ideal corresponds to that prime. Geometrically this focuses attention on the behavior of the ring near the point the prime represents.

Why is the local-global principle useful?

Many properties, such as a module being zero or a map being an isomorphism, can be checked one prime at a time after localizing. This reduces difficult global questions to simpler local ones, a recurring strategy in algebra and number theory.

Localization

Localization formally inverts a chosen set of elements of a ring, producing a ring of fractions that isolates algebraic behavior near a prime ideal, the algebraic counterpart of zooming in geometrically.

Намерете тема с PaperMindСкороFind papers & topics

Tools & resources

Изтегляне на слайдове

Learn & explore

ВидеоСкоро

Definition

The localization of a commutative ring at a multiplicatively closed set is the ring of fractions obtained by formally adjoining inverses of that set; localizing at the complement of a prime ideal yields a local ring with a unique maximal ideal.

Scope

This topic covers the construction of rings and modules of fractions, localization at a prime ideal and the resulting local ring, the exactness of localization, the correspondence between primes of a localization and primes of the ring, and the local-global principle.

Core questions

How does one formally invert elements of a ring?
What is a local ring, and how does localization at a prime produce one?
How do the prime ideals of a localization relate to those of the original ring?
How does the local-global principle reduce global statements to local ones?

Key theories

Ring and module of fractions: Inverting a multiplicatively closed set yields a ring of fractions with a universal property among ring maps sending that set to units, and the same construction localizes modules compatibly.
Exactness of localization: Localization is an exact functor, preserving injections, surjections, and exact sequences, which makes it an especially well-behaved tool for studying modules.
Local-global principle: Many properties of a module or ring hold globally if and only if they hold after localizing at every prime (or maximal) ideal, so local computations determine global structure.

Clinical relevance

Localization is the algebraic formalization of studying a space near a point: in algebraic geometry it constructs the local rings of points on a variety and the structure sheaf, and in number theory it produces the localizations of rings of integers at primes that underlie local-global methods.

History

Localization generalized the passage from an integral domain to its field of fractions and the p-adic constructions of number theory. Krull and Chevalley developed local rings in the 1930s and 1940s, and localization became foundational with the geometric reformulation of commutative algebra by Zariski and Grothendieck.

Key figures

Wolfgang Krull
Claude Chevalley
Oscar Zariski
Alexander Grothendieck

Seminal works

atiyah1969
eisenbud1995
matsumura1989

Frequently asked questions

What does it mean to localize at a prime ideal?: It means inverting every element not in the prime, leaving a local ring whose unique maximal ideal corresponds to that prime. Geometrically this focuses attention on the behavior of the ring near the point the prime represents.
Why is the local-global principle useful?: Many properties, such as a module being zero or a map being an isomorphism, can be checked one prime at a time after localizing. This reduces difficult global questions to simpler local ones, a recurring strategy in algebra and number theory.