On additive decompositions of the set of quadratic residues modulo \(p\)
type: Item
instance of: scholarly article
zbMATH Open document ID: 1357.11100
author: András Sárközy
published in: Acta Arithmetica
publication date: 2012-10-05T00:00:00Z
Mathematics Subject Classification ID: 11P70
Mathematics Subject Classification ID: 11B13
Mathematics Subject Classification ID: 11T99
zbMATH DE Number: 6090447
zbMATH Keywords: sumset
zbMATH Keywords: primitive set of integers or residue classes
zbMATH Keywords: totalprimitive set of integers
zbMATH Keywords: inverse theorem
zbMATH Keywords: Ostmann's conjecture
zbMATH Keywords: additiv decomposition
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.4064/aa155-1-4
OpenAlex ID: W2060986573
DOI: 10.4064/AA155-1-4
Recommended article: Q5421037
Recommended article: Q3113219
Recommended article: On multiplicative decompositions of the set of the shifted quadratic residues modulo \(p\)
Recommended article: Counting additive decompositions of quadratic residues in finite fields
Recommended article: On additive decompositions of the set of primitive roots modulo \(p\)
Recommended article: Q3001121
Recommended article: On the Distribution of Quadratic Residues (mod p )
Recommended article: Q3574683
Recommended article: On additive decompositions of the set of primes
Recommended article: On Quadratic Residues and Nonresidues in Difference Sets Modulo m
title: On additive decompositions of the set of quadratic residues modulo \(p\)
review text: A finite or infinite subset of non-negative integers \(\mathbb{Z}_{\ge 0}\) is called primitive if it cannot be written in a nontrivial way as a sumset of two subsets of \(\mathbb{Z}_{\ge 0}\). In the opposite case it is called reducible. Further, two subsets of \(\mathbb{Z}_{\ge 0}\) are called asymptotically equal if they are equal apart from a finite number of their elements. An infinite primitive set is called totally primitive if every set asymptotically equal to it is primitive. These notions go back to \textit{H. H. Ostmann} [Additive Zahlentheorie. Erster Teil. Berlin: Springer (1956; Zbl 0072.03102), (1968; Zbl 0179.06903), p.~13] who posed the question -- later called as the ``inverse Goldbach conjecture'' -- whether the set of prime numbers is totally primitive. Despite several interesting and remarkable partial results towards its solution the conjecture as such is still open.NEWLINENEWLINEIn the paper under review the author proposes to turn the attention to finite analogues of problems like reducibility or primitivity. These notions can be naturally extended to any additive group, typically the subsets of finite fields \(\mathbb{F}_q\) (the total primitivity cannot be adapted for finite sets). This idea additionally also opens the way to new methodological approaches to the investigation of these and related problems, e.g. applications of Weil's theorem on summing characters of the values of polynomials over finite fields or results connected with the estimations of the cardinalities of sumsets in abelian groups. Both find applications in the paper.NEWLINENEWLINEAs the title of the paper indicates the subject of the paper is the question of reducibility of the set of quadratic residues modulo a prime \(p\). More precisely, the paper is devoted to the study of the following author's conjecture: NEWLINENEWLINEThe set \(\mathcal{Q}=\mathcal{Q}(p)\) of quadratic residues modulo a prime \(p\) is primitive for \(p\) sufficiently large. NEWLINENEWLINEIn the f…
reviewed by: Štefan Porubský
description: scientific article; zbMATH DE number 6090447