Radical of an ideal

From Wikipedia, the free encyclopedia

(Redirected from Prime radical)

For other radicals, see radical of a ring.

In commutative ring theory, a branch of mathematics, the radical of an ideal is a kind of completion of the ideal. A radical ideal is an ideal that is its own radical (this can be phrased as being a fixed point of an operation on ideals called 'radicalization'). For example, a prime ideal is radical. The radical of a primary ideal is prime.

[edit] Definition

The radical of an ideal I in a commutative ring R, denoted by Rad(I) or √I, is defined as

$\hbox{Rad}(I)=\{r\in R|r^n\in I\ \hbox{for some positive integer}\ n\}.$

Intuitively, one can think of the radical of I as obtained by taking all the possible roots of elements of I. Rad(I) turns out to be an ideal itself, containing I.

The easiest way to prove that the radical of I of a ring A is an ideal is to note that it is the pre-image of the ideal of nilpotent elements in $A / I$ .^[1] In fact, one often takes this identification as a definition of radical.

If an ideal I coincides with its own radical, then I is called a radical ideal.

[edit] Examples

Consider the ring Z of integers.

The radical of the ideal 4Z of integers multiple of 4 is 2Z.
The radical of 5Z is 5Z.
The radical of 12Z is 6Z.

The radical of a primary ideal is prime.

[edit] The nilradical of a ring

Main article: nilradical of a ring

Consider the set of all nilpotent elements of R, which will be called the nilradical of R (and will be denoted by N(R)). One can easily see that the nilradical of R is just the radical of the zero ideal (0). This permits an alternative definition for the (general) radical of an ideal I in R. Define Rad(I) as the preimage of N(R/I), the nilradical of R/I, under the projection map R→R/I.

To see that the two definitions for the radical of I are equivalent, note first that if r is in the preimage of √(R/I), then for some n, r ⁿ is zero in R/I, and hence r ⁿ is in I. Second, if r ⁿ is in I for some n, then the image of r ⁿ in R/I is zero, and hence r ⁿ is in the preimage of √(R/I).

This alternative definition can be very useful, as we shall see right below. See #Properties below for another characterization of the nilradical.

[edit] Properties

If P is a prime ideal, then R/P is an integral domain, so it cannot have zero divisors, and in particular it cannot have nonzero nilpotents. Hence, the nilradical of R/P is {0}, and its preimage, being P, is a radical ideal.

By using localization, we can see that Rad(I) is the intersection of all the prime ideals of R that contain I: Every prime ideal is radical, so the intersection J of the prime ideals containing I contains Rad(I). If r is an element of R which is not in Rad(I), then we let S be the set {rⁿ|n is a nonnegative integer}. S is multiplicatively closed, so we can form the localization S^-1R. Form the quotient S^-1R/S^-1I. By Zorn's lemma we can choose a maximal ideal P in this ring. The preimage of P under the maps R→S^-1R→S^-1R/S^-1I is a prime ideal which contains I and does not meet S; in particular, it does not meet r, so r is not in J.

In particular, the nilradical is equal to the intersection of all prime ideals containing the 0 ideal, but all ideals must contain 0 so the nilradical can alternatively be defined as the intersection of the prime ideals.

[edit] Applications

The primary motivation in studying radicals is the celebrated Hilbert's Nullstellensatz in commutative algebra. An easily understood version of this theorem states that for an algebraically closed field k, and for any finitely generated polynomial ideal J in the n indeterminates $x_1, x_2, \ldots, x_n$ over the field k, one has

$I(\hbox{V}(J)) = \hbox{Rad} (J)\,$

where

$\hbox{V}(J) = \{x \in k^n \ |\ f(x)=0 \mbox{ for all } f\in J\}$

and

$I(S) = \{f \in k[x_1,x_2,\ldots x_n] \ |\ f(x)=0 \mbox{ for all } x\in S \}.$

Another way of putting it: The composition I V is a closure operator, and by identifying the closure as the radical we have established that taking the radical is an idempotent operation.

[edit] References

^ A direct proof can be give as follows: Let a and b be in the radical of an ideal I. Then, for some positive integers m and n, aⁿ and b^m are in I. We will show that a + b is in the radical of I. Use the binomial theorem to expand (a+b)^n+m−1 (with commutativity assumed):

$(a+b)^{n+m-1}=\sum_{i=0}^{n+m-1}{n+m-1\choose i}a^ib^{n+m-1-i}.$

For each i, exactly one of the following conditions will hold:
- i ≥ n
- n + m − 1 − i ≥ m.
This says that in each expression aⁱb^{n+m− 1 − i}, either the exponent of a will be large enough to make this power of a be in I, or the exponent of b will be large enough to make this power of b be in I. Since the product of an element in I with an element in R is in I (as I is an ideal), this product expression will be in I, and then (a+b)^n+m−1 is in I, therefore a+b is in the radical of I. To finish checking that the radical is an ideal, we take an element a in the radical, with aⁿ in I and an arbitrary element r∈R. Then, (ra)ⁿ = rⁿaⁿ is in I, so ra is in the radical. Thus the radical is an ideal.

Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.

[0] A direct proof can be give as follows: Let a and b be in the radical of an ideal I. Then, for some positive integers m and n, aⁿ and b^m are in I. We will show that a + b is in the radical of I. Use the binomial theorem to expand (a+b)^n+m−1 (with commutativity assumed):

$(a+b)^{n+m-1}=\sum_{i=0}^{n+m-1}{n+m-1\choose i}a^ib^{n+m-1-i}.$

For each i, exactly one of the following conditions will hold:

i ≥ n

n + m − 1 − i ≥ m.

This says that in each expression aⁱb^{n+m− 1 − i}, either the exponent of a will be large enough to make this power of a be in I, or the exponent of b will be large enough to make this power of b be in I. Since the product of an element in I with an element in R is in I (as I is an ideal), this product expression will be in I, and then (a+b)^n+m−1 is in I, therefore a+b is in the radical of I. To finish checking that the radical is an ideal, we take an element a in the radical, with aⁿ in I and an arbitrary element r∈R. Then, (ra)ⁿ = rⁿaⁿ is in I, so ra is in the radical. Thus the radical is an ideal.

[2] ≥ n

[3] + m − 1 − i ≥ m.

[1]

Radical of an ideal

From Wikipedia, the free encyclopedia

Contents

[edit] Definition

[edit] Examples

[edit] The nilradical of a ring

[edit] Properties

[edit] Applications

[edit] References

Views

Personal tools

Navigation

Search

Interaction

Toolbox

Languages