Interpolation over ℤ and torsion in class groups

Abstract

We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of integers are torsion. We provide an independent proof using elementary techniques.