Ideal theory

This article is about the mathematical theory. For the usage in political philosophy, see Ideal theory (politics).

In mathematics, ideal theory is the theory of ideals in commutative rings.

Topology determined by an ideal

Main article: I-adic topology

Let R be a ring and M an R-module. Then each ideal ${\mathfrak {a}}$ of R determines a topology on M called the ${\mathfrak {a}}$-adic topology such that a subset U of M is open if and only if for each x in U there exists a positive integer n such that

$x+{\mathfrak {a}}^{n}M\subset U.$

With respect to this ${\mathfrak {a}}$-adic topology, $\{x+{\mathfrak {a}}^{n}M\}_{n}$ is a basis of neighbourhoods of $x$ and makes the module operations continuous; in particular, $M$ is a possibly non-Hausdorff topological group. Also, M is a Hausdorff topological space if and only if ${\textstyle \bigcap _{n>0}{\mathfrak {a}}^{n}M=0.}$ Moreover, when $M$ is Hausdorff, the topology is the same as the metric space topology given by defining the distance function: $d(x,y)=2^{-n}$ for $x\neq y$, where $n$ is an integer such that $x-y\in {\mathfrak {a}}^{n}M-{\mathfrak {a}}^{n+1}M$.

Given a submodule N of M, the ${\mathfrak {a}}$-closure of N in M is equal to ${\textstyle \bigcap _{n>0}(N+{\mathfrak {a}}^{n}M)}$, as shown easily.

Now, a priori, on a submodule N of M, there are two natural ${\mathfrak {a}}$-topologies: the subspace topology induced by the ${\mathfrak {a}}$-adic topology on M and the ${\mathfrak {a}}$-adic topology on N. However, when $R$ is Noetherian and $M$ is finite over it, those two topologies coincide as a consequence of the Artin–Rees lemma.

When $M$ is Hausdorff, $M$ can be completed as a metric space; the resulting space is denoted by ${\widehat {M}}$ and has the module structure obtained by extending the module operations by continuity. It is also the same as (or canonically isomorphic to):

${\widehat {M}}=\varprojlim M/{\mathfrak {a}}^{n}M$

where the right-hand side is the completion of the module $M$ with respect to ${\mathfrak {a}}$.

Example: Let $R=k[x_{1},\dots ,x_{n}]$ be a polynomial ring over a field and ${\mathfrak {a}}=(x_{1},\dots ,x_{n})$ the maximal ideal. Then ${\widehat {R}}=k[\![x_{1},\dots ,x_{n}]\!]$ is a formal power series ring.

R is called a Zariski ring with respect to ${\mathfrak {a}}$ if every ideal in R is ${\mathfrak {a}}$-closed. There is a characterization:

R is a Zariski ring with respect to ${\mathfrak {a}}$ if and only if ${\mathfrak {a}}$ is contained in the Jacobson radical of R.

In particular a Noetherian local ring is a Zariski ring with respect to the maximal ideal.

Reduction theory

The reduction theory goes back to the influential 1954 paper by Northcott and Rees, the paper that introduced the basic notions. In algebraic geometry, the theory is among the essential tools to extract detailed information about the behaviors of blow-ups.

Given ideals J ⊂ I in a ring R, the ideal J is said to be a reduction of I if there is some integer m > 0 such that $JI^{m}=I^{m+1}$. For such ideals, immediately from the definition, the following hold:

• For any k, $J^{k}I^{m}=J^{k-1}I^{m+1}=\cdots =I^{m+k}$.
• J and I have the same radical and the same set of minimal prime ideals over them (the converse is false).

If R is a Noetherian ring, then J is a reduction of I if and only if the Rees algebra R[It] is finite over R[Jt]. (This is the reason for the relation to a blow up.)

A closely related notion is that of analytic spread. By definition, the fiber cone ring of a Noetherian local ring (R, ${\mathfrak {m}}$) along an ideal I is

${\mathcal {F}}_{I}(R)=R[It]\otimes _{R}\kappa ({\mathfrak {m}})\simeq \bigoplus _{n=0}^{\infty }I^{n}/{\mathfrak {m}}I^{n}$.

The Krull dimension of ${\mathcal {F}}_{I}(R)$ is called the analytic spread of I. Given a reduction $J\subset I$, the minimum number of generators of J is at least the analytic spread of I. Also, a partial converse holds for infinite fields: if $R/{\mathfrak {m}}$ is infinite and if the integer $\ell$ is the analytic spread of I, then each reduction of I contains a reduction generated by $\ell$ elements.

Local cohomology in ideal theory

Local cohomology can sometimes be used to obtain information on an ideal. This section assumes some familiarity with sheaf theory and scheme theory.

Let $M$ be a module over a ring $R$ and $I$ an ideal. Then $M$ determines the sheaf ${\widetilde {M}}$ on $Y=\operatorname {Spec} (R)-V(I)$ (the restriction to Y of the sheaf associated to M). Unwinding the definition, one sees:

$\Gamma _{I}(M):=\Gamma (Y,{\widetilde {M}})=\varinjlim \operatorname {Hom} (I^{n},M)$.

Here, $\Gamma _{I}(M)$ is called the ideal transform of $M$ with respect to $I$.

References

• Atiyah, Michael Francis; Macdonald, I.G. (1969), Introduction to Commutative Algebra, Westview Press, ISBN 978-0-201-40751-8
• Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.
• Huneke, Craig; Swanson, Irena (2006), Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, MR 2266432