Generating ideals in real holomorphy rings (Q1178871): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q1298153 |
Changed an Item |
||
Property / author | |||
Property / author: Wojciech Kucharz / rank | |||
Normal rank |
Revision as of 18:27, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generating ideals in real holomorphy rings |
scientific article |
Statements
Generating ideals in real holomorphy rings (English)
0 references
26 June 1992
0 references
Let \(R\) be a real closed field and let \(F\) be a formally real function field over \(R\) of transcendence degree \(n\). The real holomorphy ring \(H(F\mid R)\) of \(F\) over \(R\) is defined to be the intersection of all valuation rings of \(F\) which contain \(R\) and have formally real residue fields. The main theorem proved in this paper is: Let \(R\), \(F\) and \(n\) be as above. Then there exists a finitely generated ideal of \(H(F\mid R)\) which cannot be generated by \(n\) elements. In the special case, when \(R=\mathbb{R}\), these results had been proved by the author in an earlier paper [J. Reine Angew. Math. 395, 171-185 (1989; Zbl 0653.13001)].
0 references
real holomorphy ring
0 references
valuation rings
0 references
formally real residue fields
0 references