On value sets of polynomials over a field

From MaRDI portal
Publication:2426470



Abstract: Let F be any field. Let p(F) be the characteristic of F if F is not of characteristic zero, and let p(F)=+infty otherwise. Let A_1,...,A_n be finite nonempty subsets of F, and let f(x_1,...,x_n)=a_1x_1^k+...+a_nx_n^k+g(x_1,...,x_n)in F[x_1,...,x_n] with k in {1,2,3,...}, a_1,...,a_n in F{0} and deg(g)<k. We show that |{f(x_1,...,x_n):x_1 in A_1,...,x_n in A_n}| geq min{p(F),sum_{i=1}^n[(|A_i|-1)/k]+1}. When kgeqn and |Ai|geqi for i=1,...,n, we also have |{f(x_1,...,x_n):x_1 in A_1,...,x_n in A_n, and x_i not=x_j if i not=j}| geq min{p(F),sum_{i=1}^n[(|A_i|-i)/k]+1}; consequently, if ngeqk then for any finite subset A of F we have |{f(x_1,...,x_n): x_1,...,x_n in A, and x_i not=x_j if i not=j}| geq min{p(F),|A|-n+1}. In the case n>k we propose a further conjecture which extends the Erdos-Heilbronn conjecture in a new direction.


Let \(F\) be a field with the characteristic \(p(F)\). Let \(A_1,\dots, A_n\) be finite nonempty subsets of \(F\), and let \(f(x_1,\dots, x_n)= a_1 x^k_1+\cdots+ a_n x^k_n+ g(x_1,\dots, x_n)\in F[x_1,\dots, x_n]\), where \(k\) is a positive integer, \(a_1,\dots, a_n\in F\setminus\{0\}\) and \(\deg g< k\). In this paper the author proves that \[ |\{f(x_1,\dots, x_n)| x_1\in A_1,\dots, x_n\in A_n\}|\geq \min\biggl(p(F), \sum^n_{i=1} [(|A_i|- 1)/k]+ 1\biggr), \] where \([a]\) is the integral part of \(a\). This result includes a result given by \textit{B. Felszeghy} [Publ. Math. 68, No. 1--2, 15--23 (2006; Zbl 1111.11055)].











This page was built for publication: On value sets of polynomials over a field

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