Polynomial closure (Q1352629): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jnth.1996.0146 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4210710941 / rank | |||
Normal rank |
Latest revision as of 23:37, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polynomial closure |
scientific article |
Statements
Polynomial closure (English)
0 references
10 December 1997
0 references
We quote the author's words: ``Let \(D\) be a domain with quotient field \(K\). The polynomial closure of a subset \(E\) of \(K\) is the largest subset \(F\) of \(K\) such that each polynomial (with coefficients in \(K\)), which maps \(E\) into \(D\), maps also \(F\) into \(D\). In this paper we show that the closure of a fractional ideal is a fractional ideal, that divisorial ideals are closed and that conversely closed ideals are divisorial for a Krull domain. If \(D\) is a Zariski ring, the polynomial closure of a subset is shown to contain its topological closure; the two closures are the same if \(D\) is a one-dimensional Noetherian local domain, with finite residue field, which is analytically irreducible. A subset of \(D\) is said to be polynomially dense in \(D\) if its polynomial closure is \(D\) itself. The characterization of such subsets is applied to determine the ring \(R_\alpha\) formed by the values \(f(\alpha)\) of the integer valued polynomials on a Dedekind domain \(R\) (at some element \(\alpha\) of an extension of \(R\)). It is also applied to generalize a characterization of the Noetherian domains \(D\) such that the ring \(\text{Int}(D)\) of integer-valued polynomials on \(D\) is contained in the ring \(\text{Int}(D')\) of integer-valued polynomials on the integral closure \(D'\) of \(D\)''.
0 references
polynomial closure
0 references
fractional ideal
0 references
divisorial ideals
0 references
topological closure
0 references
Dedekind domain
0 references