Polynomial functions over dual numbers of several variables
Let $k\in \mathbb{N}\setminus\{0\}$. For a commutative ring $R$, the ring of dual numbers of $k$ variables over $R$ is the quotient ring $R[x_1,\ldots,x_k]/ I $, where $I$ is the ideal generated by the set $\{x_ix_j\mid i,j=1,\ldots,k\}$. This ring can be viewed as $R[α_1,\ldots,α_k]$ with $α_i α_j=0$, where $α_i=x_i+I$ for $i,j=1,\ldots,k$. We investigate the polynomial functions of $R[α_1,\ldots,α_k]$ whenever $R$ is a finite commutative ring. We derive counting formulas for the number of polynomial functions and polynomial permutations on $R[α_1,\ldots,α_k]$ depending on the order of the pointwise stabilizer of the subring of constants $R$ in the group of polynomial permutations of $R[α_1,\ldots,α_k]$. Further, we show that the stabilizer group of $R$ is independent of the number of variables $k$. Moreover, we prove that a function $F$ on $R[α_1,\ldots,α_k]$ is a polynomial function if and only if a system of linear equations on $R$ that depends on $F$ has a solution.