The strong ultrafilter topology on spaces of ideals (Q298036): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Results concerning the use of topology to study the prime spectrum of a commutative ring are long-standing and extensive, starting from the pioneering work by M. H. Stone, O. Zariski and N. Jacobson among others. The Zariski topology and the constructible (or patch) topology are especially well-known after the work by H. Cartan and C. Chevalley, A. Grothendieck and M. Hochster. Recently, \textit{M. Fontana} and \textit{K. A. Loper} [Commun. Algebra 36, No. 8, 2917--2922 (2008; Zbl 1152.13003)] introduced a new topology (called the ultrafilter topology) on the prime spectrum of a ring using ultrafilters and demonstrated that it is equivalent to the constructible (or, patch topology). In the present paper, the authors investigate more deeply at the way that ultrafilters are used to define closure in the ultrafilter topology (mentioned above) and define two refinements called the strong ultrafilter topology and the Goldman topology. Note that the Goldman topology was essentially introduced by \textit{G. Picavet} [Ann. Sci. Univ. Clermont-Ferrand II, Math. 57(11), 73--90 (1975; Zbl 0317.13002)]. The authors declare that the inspiration for their definitions comes from the fact that it often happens in Noetherian rings that a prime ideal can be expressed as the intersection of properly larger primes and the intersection prime can be viewed as a limit of the primes that were intersected. On the other hand, in rings that are not Noetherian a prime can be a limit point in the ultrafilter topology without being representable as an intersection of primes. These two notions give rise to the two topologies investigated in the present paper, Goldman (intersection) and strong (non-intersection) and particular attention is devoted to the case of the strong ultrafilter topology. With this inspiration, the authors study the connections with the Noetherian motivating ideas and demonstrate that the strong ultrafilter topology on the prime spectrum of a ring \(R\) gives rise to a discrete space if and only if \(R\) has a Noetherian spectrum with respect to the Zariski topology. They also show that the strong topology is identical to the ultrafilter topology if and only if all prime ideals of the ring are G-ideals, where a G(oldman)-ideal is a prime ideal which is properly contained in the intersection of all properly larger primes. In this case, the ``substance'' of the ultrafilter topology comes entirely from the strong ultrafilter topology. As an application of their theory, the authors obtain a characterization, using ultrafilters, of which subsets of Spec(\(R\)) are compact in the Zariski topology. Another application concerns Grothendieck's notion of a retrocompact set: using the two new topologies, they characterize when a subset of Spec(\(R\)) is retrocompact. | |||
Property / review text: Results concerning the use of topology to study the prime spectrum of a commutative ring are long-standing and extensive, starting from the pioneering work by M. H. Stone, O. Zariski and N. Jacobson among others. The Zariski topology and the constructible (or patch) topology are especially well-known after the work by H. Cartan and C. Chevalley, A. Grothendieck and M. Hochster. Recently, \textit{M. Fontana} and \textit{K. A. Loper} [Commun. Algebra 36, No. 8, 2917--2922 (2008; Zbl 1152.13003)] introduced a new topology (called the ultrafilter topology) on the prime spectrum of a ring using ultrafilters and demonstrated that it is equivalent to the constructible (or, patch topology). In the present paper, the authors investigate more deeply at the way that ultrafilters are used to define closure in the ultrafilter topology (mentioned above) and define two refinements called the strong ultrafilter topology and the Goldman topology. Note that the Goldman topology was essentially introduced by \textit{G. Picavet} [Ann. Sci. Univ. Clermont-Ferrand II, Math. 57(11), 73--90 (1975; Zbl 0317.13002)]. The authors declare that the inspiration for their definitions comes from the fact that it often happens in Noetherian rings that a prime ideal can be expressed as the intersection of properly larger primes and the intersection prime can be viewed as a limit of the primes that were intersected. On the other hand, in rings that are not Noetherian a prime can be a limit point in the ultrafilter topology without being representable as an intersection of primes. These two notions give rise to the two topologies investigated in the present paper, Goldman (intersection) and strong (non-intersection) and particular attention is devoted to the case of the strong ultrafilter topology. With this inspiration, the authors study the connections with the Noetherian motivating ideas and demonstrate that the strong ultrafilter topology on the prime spectrum of a ring \(R\) gives rise to a discrete space if and only if \(R\) has a Noetherian spectrum with respect to the Zariski topology. They also show that the strong topology is identical to the ultrafilter topology if and only if all prime ideals of the ring are G-ideals, where a G(oldman)-ideal is a prime ideal which is properly contained in the intersection of all properly larger primes. In this case, the ``substance'' of the ultrafilter topology comes entirely from the strong ultrafilter topology. As an application of their theory, the authors obtain a characterization, using ultrafilters, of which subsets of Spec(\(R\)) are compact in the Zariski topology. Another application concerns Grothendieck's notion of a retrocompact set: using the two new topologies, they characterize when a subset of Spec(\(R\)) is retrocompact. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Marco Fontana / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54A10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54A20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14A05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6595346 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
commutative ring | |||
Property / zbMATH Keywords: commutative ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ultrafilter topology | |||
Property / zbMATH Keywords: ultrafilter topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructible topology | |||
Property / zbMATH Keywords: constructible topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral space | |||
Property / zbMATH Keywords: spectral space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Goldman prime ideal | |||
Property / zbMATH Keywords: Goldman prime ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
retrocompact set | |||
Property / zbMATH Keywords: retrocompact set / rank | |||
Normal rank |
Revision as of 22:17, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The strong ultrafilter topology on spaces of ideals |
scientific article |
Statements
The strong ultrafilter topology on spaces of ideals (English)
0 references
20 June 2016
0 references
Results concerning the use of topology to study the prime spectrum of a commutative ring are long-standing and extensive, starting from the pioneering work by M. H. Stone, O. Zariski and N. Jacobson among others. The Zariski topology and the constructible (or patch) topology are especially well-known after the work by H. Cartan and C. Chevalley, A. Grothendieck and M. Hochster. Recently, \textit{M. Fontana} and \textit{K. A. Loper} [Commun. Algebra 36, No. 8, 2917--2922 (2008; Zbl 1152.13003)] introduced a new topology (called the ultrafilter topology) on the prime spectrum of a ring using ultrafilters and demonstrated that it is equivalent to the constructible (or, patch topology). In the present paper, the authors investigate more deeply at the way that ultrafilters are used to define closure in the ultrafilter topology (mentioned above) and define two refinements called the strong ultrafilter topology and the Goldman topology. Note that the Goldman topology was essentially introduced by \textit{G. Picavet} [Ann. Sci. Univ. Clermont-Ferrand II, Math. 57(11), 73--90 (1975; Zbl 0317.13002)]. The authors declare that the inspiration for their definitions comes from the fact that it often happens in Noetherian rings that a prime ideal can be expressed as the intersection of properly larger primes and the intersection prime can be viewed as a limit of the primes that were intersected. On the other hand, in rings that are not Noetherian a prime can be a limit point in the ultrafilter topology without being representable as an intersection of primes. These two notions give rise to the two topologies investigated in the present paper, Goldman (intersection) and strong (non-intersection) and particular attention is devoted to the case of the strong ultrafilter topology. With this inspiration, the authors study the connections with the Noetherian motivating ideas and demonstrate that the strong ultrafilter topology on the prime spectrum of a ring \(R\) gives rise to a discrete space if and only if \(R\) has a Noetherian spectrum with respect to the Zariski topology. They also show that the strong topology is identical to the ultrafilter topology if and only if all prime ideals of the ring are G-ideals, where a G(oldman)-ideal is a prime ideal which is properly contained in the intersection of all properly larger primes. In this case, the ``substance'' of the ultrafilter topology comes entirely from the strong ultrafilter topology. As an application of their theory, the authors obtain a characterization, using ultrafilters, of which subsets of Spec(\(R\)) are compact in the Zariski topology. Another application concerns Grothendieck's notion of a retrocompact set: using the two new topologies, they characterize when a subset of Spec(\(R\)) is retrocompact.
0 references
commutative ring
0 references
ultrafilter topology
0 references
constructible topology
0 references
spectral space
0 references
Goldman prime ideal
0 references
retrocompact set
0 references