Intersections of shifts of multiplicative subgroups
type: Item
instance of: scholarly article
title: Intersections of shifts of multiplicative subgroups
zbMATH Open document ID: 1370.11024
DOI: 10.1134/S0001434616070154
author: I. V. V'yugin
author: E. V. Solodkova
author: Ilya D. Shkredov
published in: Mathematical Notes
publication date: 2017-02-08T00:00:00Z
review text: Let \(p\) be a prime and let \(\mathbb F_p=\mathbb Z/p\mathbb Z\) be a finite field of \(p\) elements. Applying a suitable generalization of \textit{S. A. Stepanov}'s method [Math. USSR, Izv. 3, 1103--1114 (1971; Zbl 0209.24401)] and using some results from \textit{F. K. Schmidt} [Math. Z. 45, 62--74 (1939; JFM 65.0115.02)] and \textit{A. Garcia} and \textit{J. F. Voloch} [Manuscr. Math. 59, 457--469 (1987; Zbl 0637.12015)], the authors obtain that Theorem: Let \(G_0, \ldots, G_k\subset \mathbb F_p^*, k\geq 1\) be multiplicative subgroups and let \(\mu_1, \ldots, \mu_k\in \mathbb F_p^*\) be distinct nonzero elements of \(\mathbb F_p\). If the following conditions hold {\parindent=0.7cm\begin{itemize}\item[(1)] \(|G_0|\cdot\ldots\cdot|G_s|<(s+1)^{-s-1/2}p^{s+1/2}\) for all \(s=1, \ldots, k\); \item[(2)] \[ \frac{1}{2}\big(\prod_{i=0}^{\ell}|G_i|\big)^{1/(2\ell+1)}<|G_m|<\frac{1}{2(\ell+3)}\big(\prod_{i=0}^{\ell}|G_i|\big)^{2/(2\ell+1)} \] for all \(\ell=0,\ldots, k\), \(m=0, \ldots, \ell\) and for the pair \(\ell=k-1, m=k\), \end{itemize}} then \[ |G_0\cap(G_1+\mu_1)\cap\ldots\cap(G_k+\mu_k)|\leq 16k(k+2)(|G_0|\cdot\ldots\cdot|G_k|)^{1/(2k+1)}\,. \] By the theorem in the particular case \(k=1\), the authors also get a result on the additive decomposability of multiplicative subgroups. Corollary: Let \(\epsilon\in (0,1]\) be a real number and let \(A, G\subset \mathbb F_p^*\) be multiplicative subgroups. Suppose \(|G|\geq C(\epsilon)\) is sufficiently large and \(B\subset \mathbb F_p^*\) is a nonempty subset. If \(|G\cap A|\leq |A|^{1-\epsilon}\), then \(G\) does not have a nontrivial representation of the form \(G=A+B\), where \(A+B=\{a+b\, |\, a\in A, b\in B\}\).
reviewed by: Qinghai Zhong
Mathematics Subject Classification ID: 11B30
zbMATH DE Number: 6682149
zbMATH Keywords: multiplicative subgroup
zbMATH Keywords: finite field
zbMATH Keywords: Stepanov's method
MaRDI profile type: Publication
cites work: Fermat curves over finite fields
cites work: New bounds for Gauss sums derived from KTH powers, and for Heilbronn's exponential sum
cites work: Q5587679
cites work: On additive shifts of multiplicative subgroups
cites work: Q5472006
cites work: Q5296656
cites work: Die Wronskische Determinante in beliebigen differenzierbaren Funktionenkörpern
cites work: Wronskians and linear independence in fields of prime characteristic
cites work: On additive decompositions of the set of primitive roots modulo \(p\)
cites work: On additive decompositions of the set of quadratic residues modulo \(p\)
cites work: Additive Decompositions of Subgroups of Finite Fields
full work available at URL: s0001434616070154
OpenAlex ID: W2513804554
Recommended article: On tripling constant of multiplicative subgroups
Recommended article: On exponential sums over multiplicative subgroups of medium size
Recommended article: Sum-product phenomenon in finite fields not of prime order
Recommended article: On a certain sum-product estimate in fields of prime order
Recommended article: On sum-product bases
Recommended article: An improved sum-product estimate for general finite fields
Recommended article: Polynomial values in small subgroups of finite fields
Recommended article: An asymptotic formula for counting subset sums over subgroups of finite fields
Recommended article: On the volume set of boxes in finite spaces
Recommended article: Q4455333
description: scientific article; zbMATH DE number 6682149