Dimension de l’anneau des polynomes a valeurs entieres

Abstract

Let A be a commutative domain with quotient field K and AS the ring of integer-valued polynomials thus AS={f∈K[X]; f(A)⊂A}; we show that the Krull dimension of AS is such that dim AS≥dim A[X]-1 and give examples where dim AS=dim A[X]-1. Considering chains of primes of AS above a maximal idealm of finite residue field, we give also examples where the length of such a chain can arbitrarily be prescribed (whereas in A[X] the length of such chains is always 1). To provide such examples we consider a pair of domains A⊂B sharing an ideal I such that A/I is finite; we give sufficient conditients to have AS⊂B[X] and show that in this case dim AS=dim B[X]. At last, as a generalisation of Noetherian rings of dimension 1, we consider domains with an ideal I such that A/I is finite and a power In of I is contained in a proper principal ideal of A; for such domains we show that every prime of AS above a primem containing I is maximal.