Gabriel filters in real closed rings (Q1379592)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gabriel filters in real closed rings |
scientific article |
Statements
Gabriel filters in real closed rings (English)
0 references
24 March 1998
0 references
The paper consists of seven sections: 1. \(l\)-ideals in real closed rings; 2. Multiplicative filters in arbitrary rings; 3. Deligne's formula; 4. Filters of finite type in real closed rings; 5. Filters in real closed domains; 6. Localization of real closed rings are real closed rings; 7. Multiplicative filters and the Keimel spectrum. The author investigates Gabriel filters, multiplicative filters, filters of finite type and spaces of prime ideals of real closed rings [see \textit{N. Schwartz}, in: Algebra and Order, Proc. 1st Int. Symp., Luminy 1984, Res. Expo. Math. 14, 175-194 (1986; Zbl 0616.14019)]. The class of real closed rings contains rings of continuous real functions on topological spaces. It is established that for a real closed ring \(A\) the following three sets have the same cardinality: (i) the set of isomorphic classes of flat epimorphisms over \(A\); (ii) the set of Gabriel filters of finite type; (iii) the set of generically closed proconstructible subsets of \(\text{Spec}(A)\). It is proved that in a real closed domain every multiplicative filter is a Gabriel filter and is given a description of filters of finite type in real closed domains. The main results of the paper are contained in section 6 where is proved that if \(A\) is a real closed ring and \(\mathcal F\) a Gabriel filter in \(A\) then its localization \(L_{\mathcal F}(A)\) is real closed. It is obtained that the complete ring of quotients \(Q(A)\) of a real closed ring \(A\) is real closed.
0 references
Gabriel filters
0 references
multiplicative filters
0 references
filters of finite type
0 references
real closed rings
0 references
complete ring of quotients
0 references