Sums of multivariate polynomials in finite subgroups

DOI10.1142/S1793042118500185MaRDI QIDQ3133114zbMATH OpenOpenAlexFDO

Authors Paolo Leonetti, Andrea Marino

Publication date 13 February 2018

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1411.2269

zbMATH Keywords

commutative ringmultivariate polynomialsymmetric sumregular elementWilson's theorem\(n\)-th residues

Mathematics Subject Classification ID

Congruences; primitive roots; residue systems (11A07) Polynomials over finite fields (11T06) Polynomials and finite commutative rings (13M10)

Abstract: Let $R$ be a commutative ring, $finR[X_1,ldots,X_k]$ a multivariate polynomial, and $G$ a finite subgroup of the group of units of $R$ satisfying a certain constraint, which always holds if $R$ is a field. Then, we evaluate $sumf(x_1,ldots,x_k)$, where the summation is taken over all pairwise distinct $x_1,ldots,x_{k}inG$. In particular, let $p^s$ be a power of an odd prime, $n$ a positive integer coprime with $p-1$, and $a_1,ldots,a_k$ integers such that $varphi(p^s)$ divides $a_1+cdots+a_k$ and $p-1$ does not divide $su{m}_{iinI}{a}_i$ for all non-empty proper subsets $Isubseteq1,ldots,k$; then ${\displaystyle }$ sum x_1^{a_1}cdots x_k^{a_k} equiv frac{varphi(p^s)}{mathrm{gcd}(n,varphi(p^s))}(-1)^{k-1}(k-1)! ,,�mod{p^s}, ${\displaystyle }$ where the summation is taken over all pairwise distinct $n$-th residues $x_1,ldots,x_k$ modulo $p^s$ coprime with $p$.

Recommendations

• Power sums over finite commutative unital rings
• Power sums over finite subspaces of a field
• Remarks on generalised power sums
• A Carlitz-von Staudt type theorem for finite rings

Cites work

• scientific article; zbMATH DE number 3102822 (Why is no real title available?)
• Algebraic number theory
• Carmichael's lambda function
• Properties of rings with a finite number of zero divisors
• Two addition theorems on groups of prime order

Cited in

(3)

• Polynomial Equations in Subgroups and Applications
• Power sums over finite subspaces of a field
• Solutions of polynomial equations in subgroups of \(\mathbb{F}_p^*\)

This page was built for publication: Sums of multivariate polynomials in finite subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133114)