Polynomial functions over dual numbers of several variables

Abstract: Let

k i n m a t h b b N s e t m i n u s 0

. For a commutative ring

R

, the ring of dual numbers of

k

variables over

R

is the quotient ring

R [x_{1}, l d o t s, x_{k}] / I

, where

I

is the ideal generated by the set

x_{i} x_{j} m i d i, j = 1, l d o t s, k

. This ring can be viewed as

R [a l p h a_{1}, l d o t s, a l p h a_{k}]

with

a l p h a_{i} a l p h a_{j} = 0

, where

a l p h a_{i} = x_{i} + I

for

i, j = 1, l d o t s, k

. We investigate the polynomial functions of

R [a l p h a_{1}, l d o t s, a l p h a_{k}]

whenever

R

is a finite commutative ring. We derive counting formulas for the number of polynomial functions and polynomial permutations on

R [a l p h a_{1}, l d o t s, a l p h a_{k}]

depending on the order of the pointwise stabilizer of the subring of constants

R

in the group of polynomial permutations of

R [a l p h a_{1}, l d o t s, a l p h a_{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 [a l p h a_{1}, l d o t s, a l p h a_{k}]

is a polynomial function if and only if a system of linear equations on

R

that depends on

F

has a solution.

Cites Work

Cited In (4)

This page was built for publication: Polynomial functions over dual numbers of several variables