Skolem properties, value-functions, and divisorial ideals (Q1295698): Difference between revisions
From MaRDI portal
Latest revision as of 09:25, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Skolem properties, value-functions, and divisorial ideals |
scientific article |
Statements
Skolem properties, value-functions, and divisorial ideals (English)
0 references
8 March 2000
0 references
Let \(D\) be a domain with quotient field \(K\), and denote by \(\text{Int}(D)\) the ring of integer-valued polynomials on \(D\), that is, \(\text{Int}(D)=\{f\in K[X]\mid f(D)\subseteq D\}\). An ideal of \(\text{Int}(D)\) is called unitary if it contains nonzero constants. The authors prove that if \(D\) is a rank-one valuation domain with finite residue field, then the unitary ideals of \(\text{Int}(D)\) are entirely determined by their values on the completion of \(D\). Then, the authors globalize this result to any Dedekind domain \(D\) with finite residue fields. They prove that a prime ideal of \(\text{Int}(D)\) is invertible iff it is divisorial, and also, in the case where the characteristic of \(D\) is zero, iff it is upper to zero which is maximal. It follows that if \(D\) is the ring of integers of any algebraic number field, in particular if \(D=\mathbb{Z}\), then no prime ideal of \(\text{Int}(D)\) is divisorial.
0 references
divisorial prime ideal
0 references
invertible prime ideal
0 references
ring of integer-valued polynomials
0 references
Dedekind domain
0 references
Skolem properties
0 references