Radicals of ideals that are not the intersection of radical primes

D. Laksov; M. Rosenlund

Fundamenta Mathematicae (2005)

  • Volume: 185, Issue: 1, page 83-96
  • ISSN: 0016-2736

Abstract

top
Various kinds of radicals of ideals in commutative rings with identity appear in many parts of algebra and geometry, in particular in connection with the Hilbert Nullstellensatz, both in the noetherian and the non-noetherian case. All of these radicals, except the *-radicals, have the fundamental, and very useful, property that the radical of an ideal is the intersection of radical primes, that is, primes that are equal to their own radical. It is easy to verify that when the ring A is noetherian then the *-radical R(ℑ) of an ideal is the intersection of *-radical primes. However, it has been an open question whether this holds in general. The main purpose of this article is to give an example of a ring with a *-radical that is not radical. To our knowledge it is the first example of a natural radical on a ring such that the radical of each ideal is not the intersection of radical primes. More generally, we present a method that may be used to construct more such examples. The main new idea is to introduce radical operations on the closed sets of topological spaces. We can then use the Zariski topology on the spectrum of a ring to translate algebraic questions into topology. It turns out that the quite intricate algebraic manipulations involved in handling the *-radical become much more transparent when rephrased in geometric terms.

How to cite

top

D. Laksov, and M. Rosenlund. "Radicals of ideals that are not the intersection of radical primes." Fundamenta Mathematicae 185.1 (2005): 83-96. <http://eudml.org/doc/282763>.

@article{D2005,
abstract = { Various kinds of radicals of ideals in commutative rings with identity appear in many parts of algebra and geometry, in particular in connection with the Hilbert Nullstellensatz, both in the noetherian and the non-noetherian case. All of these radicals, except the *-radicals, have the fundamental, and very useful, property that the radical of an ideal is the intersection of radical primes, that is, primes that are equal to their own radical. It is easy to verify that when the ring A is noetherian then the *-radical R(ℑ) of an ideal is the intersection of *-radical primes. However, it has been an open question whether this holds in general. The main purpose of this article is to give an example of a ring with a *-radical that is not radical. To our knowledge it is the first example of a natural radical on a ring such that the radical of each ideal is not the intersection of radical primes. More generally, we present a method that may be used to construct more such examples. The main new idea is to introduce radical operations on the closed sets of topological spaces. We can then use the Zariski topology on the spectrum of a ring to translate algebraic questions into topology. It turns out that the quite intricate algebraic manipulations involved in handling the *-radical become much more transparent when rephrased in geometric terms. },
author = {D. Laksov, M. Rosenlund},
journal = {Fundamenta Mathematicae},
keywords = {quasi-radicals and radicals on topological spaces; spectrum of a ring},
language = {eng},
number = {1},
pages = {83-96},
title = {Radicals of ideals that are not the intersection of radical primes},
url = {http://eudml.org/doc/282763},
volume = {185},
year = {2005},
}

TY - JOUR
AU - D. Laksov
AU - M. Rosenlund
TI - Radicals of ideals that are not the intersection of radical primes
JO - Fundamenta Mathematicae
PY - 2005
VL - 185
IS - 1
SP - 83
EP - 96
AB - Various kinds of radicals of ideals in commutative rings with identity appear in many parts of algebra and geometry, in particular in connection with the Hilbert Nullstellensatz, both in the noetherian and the non-noetherian case. All of these radicals, except the *-radicals, have the fundamental, and very useful, property that the radical of an ideal is the intersection of radical primes, that is, primes that are equal to their own radical. It is easy to verify that when the ring A is noetherian then the *-radical R(ℑ) of an ideal is the intersection of *-radical primes. However, it has been an open question whether this holds in general. The main purpose of this article is to give an example of a ring with a *-radical that is not radical. To our knowledge it is the first example of a natural radical on a ring such that the radical of each ideal is not the intersection of radical primes. More generally, we present a method that may be used to construct more such examples. The main new idea is to introduce radical operations on the closed sets of topological spaces. We can then use the Zariski topology on the spectrum of a ring to translate algebraic questions into topology. It turns out that the quite intricate algebraic manipulations involved in handling the *-radical become much more transparent when rephrased in geometric terms.
LA - eng
KW - quasi-radicals and radicals on topological spaces; spectrum of a ring
UR - http://eudml.org/doc/282763
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.