Proof of the combinatorial nullstellensatz over integral domains, in the spirit of Kouba (Q2380425)

Summary: It is shown that by eliminating duality theory of vector spaces from a recent proof of \textit{O. Kouba} [Electron. J. Comb. 16, No. 1, Research Paper N9, 3 p. (2009; Zbl 1172.12005)] we obtain a direct proof of the nonvanishing-version of Alon's combinatorial nullstellensatz for polynomials over an arbitrary integral domain. The proof relies on Cramer's rule and Vandermonde's determinant to explicitly describe a map used by Kouba in terms of cofactors of a certain matrix. That the combinatorial nullstellensatz is true over integral domains is a well-known fact which is already contained in Alon's work and emphasized in recent articles of Michalek and Schauz; the sole purpose of the present note is to point out that not only is it not necessary to invoke duality of vector spaces, but by not doing so one easily obtains a more general result.