English

On the group of unit-valued polynomial functions

Commutative Algebra 2021-06-04 v1

Abstract

Let RR be a finite commutative ring with 101\ne 0. The set F(R)\mathcal{F}(R) of polynomial functions on RR is a finite commutative ring with pointwise operations. Its group of units F(R)×\mathcal{F}(R)^\times is just the set of all unit-valued polynomial functions, that is the set of polynomial functions which map RR into its group of units. We show that PR(R[x]/(x2))\mathcal{P}_R(R[x]/(x^2)) the group of polynomial permutations on the ring R[x]/(x2)R[x]/(x^2), consisting of permutations represented by polynomials over RR, is embedded in a semidirect product of F(R)×\mathcal{F}(R)^\times by P(R)\mathcal{P}(R) the group of polynomial permutations on RR. In particular, when R=FqR=\mathbb{F}_q, we prove that PFq(Fq[x]/(x2))P(Fq)θF(Fq)×\mathcal{P}_{\mathbb{F}_q}(\mathbb{F}_q[x]/(x^2))\cong \mathcal{P}(\mathbb{F}_q) \ltimes_\theta \mathcal{F}(\mathbb{F}_q)^\times. Furthermore, we count unit-valued polynomial functions (modpn)\pmod{p^n} and obtain canonical representations for these functions.

Keywords

Cite

@article{arxiv.2010.00342,
  title  = {On the group of unit-valued polynomial functions},
  author = {Amr Ali Al-Maktry},
  journal= {arXiv preprint arXiv:2010.00342},
  year   = {2021}
}
R2 v1 2026-06-23T18:56:00.739Z