# Sum-free set
A **sum-free set** is a set of numbers or group elements containing no solution of the equation x + y = z with all three terms in the set, where x and y need not be distinct. Equivalently, a subset A of an abelian group is sum-free if (A + A) ∩ A = ∅[1](https://www.cs.tau.ac.il/~nogaa/PDFS/Publications2/Sum-free%20subsets.pdf), or, in the language of additive combinatorics, if A contains no Schur triple x, y, z with x + y = z[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/). The notion originated in [Issai Schur](https://www.edgepedia.org/issai-schur)'s 1916 work on colorings of the integers[3](https://www.ams.org//journals/proc/2015-143-11/S0002-9939-2015-12615-9/S0002-9939-2015-12615-9.pdf).
| Key fact | Detail |
|---|---|
| Definition | A subset A of a group is sum-free if it contains no Schur triple x + y = z with x, y, z ∈ A (not necessarily distinct)[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/) |
| Extremal size in [n] | The largest sum-free subset of {1, ..., n} has size ⌈n/2⌉, attained by the odd integers[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/) |
| Density in abelian groups | For a finite abelian group G of order n, 2n/7 ≤ μ(G) ≤ n/2, where μ(G) is the largest sum-free set size (Green–Ruzsa)[4](https://www.sciencedirect.com/science/article/abs/pii/S0012365X25004753) |
| Universal guarantee | Every set B of n nonzero elements of a finite abelian group contains a sum-free subset of size greater than 2n/7, and the constant 2/7 is best possible (Alon–Kleitman)[1](https://www.cs.tau.ac.il/~nogaa/PDFS/Publications2/Sum-free%20subsets.pdf) • [10](https://repository.essex.ac.uk/36058/1/axioms-12-00724.pdf) |
| Schur numbers | S(1), ..., S(5) = 1, 4, 13, 44, 160; S(5) = 160 was settled in 2017 by a SAT proof with a roughly 2 PB certificate; S(6) ≥ 536 remains open[5](https://cairn-commons.com/problems/schur-number-six) |
| Counting | The number of sum-free subsets of [n] is (C_i + o(1))2^(n/2) for n ≡ i (mod 2), resolving the Cameron–Erdős conjecture (Green; Sapozhenko)[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/) |
| Largest guaranteed subset of an arbitrary integer set | Every set of n nonzero integers contains a sum-free subset of size greater than n/3, and (1/3 + o(1))n cannot be improved (Erdős; Eberhard–Green–Manners)[6](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf) |
## Definition and first examples
For a set of integers, the definition reads: S is sum-free if x + y ∉ S for every x, y ∈ S, with x and y not required to be distinct[3](https://www.ams.org//journals/proc/2015-143-11/S0002-9939-2015-12615-9/S0002-9939-2015-12615-9.pdf). Equivalently, a finite set of positive integers A is sum-free if A ∩ (A + A) is empty, where A + A collects all sums of pairs of elements of A[7](https://www.numdam.org/item/AST_1999__258__149_0.pdf). The same definition transfers to any abelian group, (A + A) ∩ A = ∅[1](https://www.cs.tau.ac.il/~nogaa/PDFS/Publications2/Sum-free%20subsets.pdf), and to general groups, where a subset A is sum-free if it does not contain the sum of two (not necessarily distinct) of its elements, that is, A and 2A are disjoint[8](https://ar5iv.labs.arxiv.org/html/1603.03071).
Two canonical examples dominate the theory. The set of odd integers is sum-free, since the sum of two odd numbers is even; consequently every subset of the odd numbers in [n] = {1, ..., n} is sum-free, which already gives 2^(n/2) sum-free subsets[9](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v16i1r59/pdf/). A maximal sum-free set is one not properly contained in a larger sum-free set; a maximum one is one of largest size[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/). These notions differ: for example, within the interval [⌈n/3⌉, n], which is itself not sum-free, the sets [⌈(n+1)/2⌉, n] (for odd n) and [⌈n/2⌉, n − 1] are maximal sum-free[10](https://repository.essex.ac.uk/36058/1/axioms-12-00724.pdf).
## Largest sum-free subsets: [n] versus groups
In the integer interval the answer is exact: the largest sum-free subset of [n] has size ⌈n/2⌉, attained by the odd integers[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/). So a density of 1/2 is achievable in [n].
In finite abelian groups the picture changes. Write h(G) for the maximum density of a sum-free subset. If |G| is divisible by a prime p ≡ 2 (mod 3), then h(G) = 1/3 + 1/(3q), where q is the smallest such prime; if |G| is divisible only by primes p ≡ 1 (mod 3), then h(G) = 1/3 − 1/(3m), where m is the largest element order. These results are due to Diananda and Yap and to Green and Ruzsa[8](https://ar5iv.labs.arxiv.org/html/1603.03071). Rhemtulla and Street proved that for G = (Z/pZ)^s with p = 3k + 1 prime, the maximum sum-free subset has size kp^(s−1)[8](https://ar5iv.labs.arxiv.org/html/1603.03071), and the Diananda–Yap conjecture for abelian groups whose prime divisors are all 1 mod 3 was proved for elementary abelian p-groups[11](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1E62411D67F97335728D0D40FB083A2C/S0004972700024588a.pdf/maximal-sum-free-sets-in-finite-abelian-groups-v.pdf). Across all finite abelian groups G of order n, Green and Ruzsa showed 2n/7 ≤ μ(G) ≤ n/2, where μ(G) is the size of a largest sum-free set[4](https://www.sciencedirect.com/science/article/abs/pii/S0012365X25004753).
Arbitrary subsets behave differently from intervals. Alon and Kleitman proved that every set B of n nonzero elements of a finite abelian group contains a sum-free subset A with |A| > 2n/7, and that the constant 2/7 is best possible; this settled a problem of Babai and Sós for finite abelian groups[1](https://www.cs.tau.ac.il/~nogaa/PDFS/Publications2/Sum-free%20subsets.pdf) • [10](https://repository.essex.ac.uk/36058/1/axioms-12-00724.pdf). In the same spirit, they showed every subset A of a group G contains a subset B with 2B ∩ A = ∅ and |B| > (2/7)|A|, which is sharp[8](https://ar5iv.labs.arxiv.org/html/1603.03071).
## Schur's theorem and Schur numbers
The subject begins with [Schur's theorem](https://www.edgepedia.org/schurs-theorem-ramsey-theory) of 1916: if n is sufficiently large, then any r-coloring of the integers yields a monochromatic solution to x + y = z[3](https://www.ams.org//journals/proc/2015-143-11/S0002-9939-2015-12615-9/S0002-9939-2015-12615-9.pdf). In sum-free language, the integers cannot be partitioned into finitely many sum-free sets, because each color class would have to be sum-free.
The Schur number S(r) is the largest integer n for which the interval {1, ..., n} can be partitioned into r sum-free sets[12](https://mathworld.wolfram.com/SchurNumber.html). The first values are S(1) = 1, S(2) = 4, S(3) = 13, S(4) = 44, and S(5) = 160[12](https://mathworld.wolfram.com/SchurNumber.html). The value S(5) = 160 was settled in 2017 by Marijn Heule using massively parallel SAT solving, with a proof of roughly 2 petabytes checked by a formally verified checker[5](https://cairn-commons.com/problems/schur-number-six). As of October 2026, S(6) remains open with the best lower bound S(6) ≥ 536, due to Fredricksen and Sweet (2000) and unchanged since; S(7) ≥ 1680[5](https://cairn-commons.com/problems/schur-number-six). An upper bound comes from [Ramsey theory](https://www.edgepedia.org/ramsey-theory): S(k) ≤ R_k(3) − 2, obtained by coloring the edge ij of a complete graph with the color of |i − j|; for k = 6 this leaves a very wide gap[5](https://cairn-commons.com/problems/schur-number-six).
## The 1/3 problem for largest sum-free subsets
In 1965 Erdős asked how large a sum-free subset every n-element set of nonzero integers must contain. His probabilistic argument shows that every set A of n nonzero integers contains a sum-free subset of size greater than n/3: choose θ randomly and take the elements x with 1/3 < {θx} < 2/3[6](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf). In the presentation of Tao and Vu, one fixes a prime p = 3k + 2 large enough that A ⊂ [−p/3, p/3] \ {0} and applies the same interval idea in Z/pZ[13](https://math.bme.hu/%7egabor/oktatas/SztoM/TaoVu.AddComb.pdf).
The lower bound was pushed up in small increments. Alon and Kleitman modified Erdős's argument to give f(n) > (n + 1)/3, and Bourgain proved f(n) ≥ (n + 2)/3, still the best lower bound of its kind at the time of the 2016 survey[6](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf) • [8](https://ar5iv.labs.arxiv.org/html/1603.03071). On the other side, the upper-bound constant was improved step by step, from 7/15 through 3/7, 12/29, 2/5, 11/28, and 11/28 − ε, down to 1/3[14](https://arxiv.org/abs/2502.08624).
**The matching upper bound.** Eberhard, Green, and Manners proved that there exists a set of n positive integers with no sum-free subset of size greater than (1/3)n + o(n), answering Erdős's 1965 question affirmatively[6](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf). Thus the constant 1/3 cannot be improved[8](https://ar5iv.labs.arxiv.org/html/1603.03071). Their proof uses the arithmetic regularity lemma and yields an ineffective o(n) term; Eberhard later gave explicit examples of sets A with S(A) ≤ |A|/3 + o(|A|)[14](https://arxiv.org/abs/2502.08624). It remains open whether f(n) − n/3 tends to infinity with n[8](https://ar5iv.labs.arxiv.org/html/1603.03071).
## Counting sum-free sets
Cameron and Erdős conjectured that the number s(n) of sum-free subsets of [n] grows like 2^(n/2). The lower bound is immediate from the odd numbers[9](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v16i1r59/pdf/), and OEIS sequence A007865, which counts subsets of {1, ..., n} containing no solutions of x + y = z, records that two proofs establish a(n) = 2^(n/2)(1 + o(1)) as conjectured[15](https://oeis.org/A007865/internal). Ben Green and, independently, Sapozhenko proved the sharp form: there are constants C_i such that the number of sum-free subsets of [n] is (C_i + o(1))2^(n/2) for n ≡ i (mod 2)[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/).
Maximal sum-free sets are far rarer. Cameron and Erdős observed that their number s_max(n) is at least 2^(n/4) and asked whether s_max(n) = o(s(n))[9](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v16i1r59/pdf/). Łuczak and Schoen proved that [n] contains at most 2^(n/2 − 2 − εn) maximal sum-free subsets for some ε > 0 when n is large[9](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v16i1r59/pdf/), and Balogh, Liu, Sharifzadeh, and Treglown established the sharp count: for each i ∈ {1, ..., 4}, [n] contains (D_i + o(1))2^(n/4) maximal sum-free sets for n ≡ i (mod 4)[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/). A complementary bound of 2^((1/4 + o(1))n) maximal sum-free sets in [n] was proved in the Proceedings of the AMS[3](https://www.ams.org//journals/proc/2015-143-11/S0002-9939-2015-12615-9/S0002-9939-2015-12615-9.pdf). In abelian groups, Alon, Balogh, Morris, and Samotij determined the typical structure and asymptotic number of sum-free sets of order m in groups whose order is divisible by a prime q ≡ 2 (mod 3), for every m > C(q)√n log n, extending a theorem of Green and Ruzsa, and showed that almost all sum-free subsets of size m lie inside a maximum-size sum-free subset[16](https://web.math.princeton.edu/~nalon/PDFS/sumfg1.pdf). Relatedly, the number of subsets of [n] partitionable into two sum-free sets is Θ(2^(4n/5))[17](https://link.springer.com/article/10.1007/s11856-018-1763-4).
## Structure: large or structured
Large sum-free sets of integers are forced into one of two shapes. Freiman showed that if A ⊆ [1, n] has cardinality at least 5n/12 + 2, then A is essentially a subset of the odd numbers in [1, n] or of the upper half interval ((n/2), n][7](https://www.numdam.org/item/AST_1999__258__149_0.pdf). The Deshouillers–Freiman–Sós–Temkin (DFST) theorem of 1999 gives a trichotomy: if S ⊆ [n] is sum-free, then at least one of the following holds: |S| ≤ 2n/5 + 1; S consists of odds; or |S| ≤ min(S)[18](https://web.mat.bham.ac.uk/A.Treglown/berlin2017b.pdf). In the form stated with minimal element m and maximal element M, if |A| > 0.4M + 0.8 then either all elements of A are odd, or the minimal element of A is at least M/3 and Card(A ∩ [1, M/2]) < (M − 2m + 3)/4[7](https://www.numdam.org/item/AST_1999__258__149_0.pdf). Later work provided a structural characterization of sum-free subsets of [n] of density at least 2/5 − c for an absolute constant c[17](https://link.springer.com/article/10.1007/s11856-018-1763-4), and Tuan Tran refined the DFST result[18](https://web.mat.bham.ac.uk/A.Treglown/berlin2017b.pdf).
This is the local face of a broader principle in additive combinatorics. [Freiman's theorem](https://www.edgepedia.org/freimans-theorem) states that any set of integers with small sumset A + A has a precise combinatorial structure known as a generalised progression[19](https://people.maths.ox.ac.uk/greenbj/papers/additive-combinatorics.pdf).
## By the numbers
The quantitative skeleton of the subject:
- Density 1/2 in [n]: the largest sum-free subset of {1, ..., n} has size ⌈n/2⌉[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/).
- Density near 1/3 in groups: h(G) = 1/3 + 1/(3q) or 1/3 − 1/(3m) depending on the prime divisors of |G|[8](https://ar5iv.labs.arxiv.org/html/1603.03071), and 2n/7 ≤ μ(G) ≤ n/2 in general[4](https://www.sciencedirect.com/science/article/abs/pii/S0012365X25004753).
- The universal constant 1/3: every n-element set of nonzero integers has a sum-free subset of size greater than n/3, and (1/3 + o(1))n is sharp[6](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf).
- Schur numbers: 1, 4, 13, 44, 160, with S(6) ≥ 536 open[5](https://cairn-commons.com/problems/schur-number-six).
- Counting exponents: 2^(n/2) sum-free subsets of [n][2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/) and 2^(n/4) maximal ones[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/).
## Applications and recent developments
Within the elementary abelian group Z_2^k, sum-free sets also find applications beyond combinatorics itself: in geometry they serve as [blocking sets](https://www.edgepedia.org/blocking-set), while in coding theory they supply the columns of a parity check matrix for a linear code whose minimum distance is at least four.[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/) In that group the number of maximal sum-free sets is ((n − 1)/2 + o(1))2^(n/4) with n = 2^k, the first sharp count for finite abelian groups, and maximal sum-free sets in Z_2^(k+1) are equivalent to complete caps in projective space PG(k, 2)[2](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/).
**Since 2023.** A 2025 preprint proves that every finite set A of integers satisfies S(A) ≥ |A|/3 + c log log |A| for some constant c > 0, giving a lower bound that matches the Eberhard–Green–Manners upper bound S(N) ≤ N/3 + o(N) up to a much smaller error term[14](https://arxiv.org/abs/2502.08624). On Schur numbers, a 2026 preprint on shifted S-templates improves lower bounds only for k ≥ 8, for example S(8) ≥ 5,362 and S(13) ≥ 2,038,282 via the recurrence S(k + 2) ≥ 10S(k) + 2, while S(6) ≥ 536 stands unchanged[5](https://cairn-commons.com/problems/schur-number-six). In higher dimensions, a 2026 paper in International Mathematics Research Notices determines the density of the largest sum-free subset of the lattice cube {1, ..., n}^d for d = 3 and d = 4, solving a conjecture of Cameron and Aydinian in those dimensions[20](https://academic.oup.com/imrn/article-abstract/2026/9/rnag081/8662049).
## References
1. [N. Alon and D. J. Kleitman. Sum-free subsets.](https://www.cs.tau.ac.il/~nogaa/PDFS/Publications2/Sum-free%20subsets.pdf)
2. [Maximal sum-free sets in finite abelian groups, Electronic Journal of Combinatorics.](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v29i2p32/pdf/)
3. [The number of maximal sum-free subsets of integers, Proceedings of the AMS (2015).](https://www.ams.org//journals/proc/2015-143-11/S0002-9939-2015-12615-9/S0002-9939-2015-12615-9.pdf)
4. [Maximal sum-free and triangle-free sets in Z_5^k, Discrete Mathematics.](https://www.sciencedirect.com/science/article/abs/pii/S0012365X25004753)
5. [The sixth Schur number S(6): current bounds and history.](https://cairn-commons.com/problems/schur-number-six)
6. [S. Eberhard, B. Green, D. Manners. Sets of integers with no large sum-free subset, Annals of Mathematics 180(2), 2014.](https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p05-p.pdf)
7. [Deshouillers, Freiman, Sós, Temkin. On the structure of sum-free sets, 2, Astérisque 258.](https://www.numdam.org/item/AST_1999__258__149_0.pdf)
8. [Sum-free sets in groups: a survey, Journal of Combinatorics.](https://ar5iv.labs.arxiv.org/html/1603.03071)
9. [Łuczak and Schoen, Maximal sum-free sets, Electronic Journal of Combinatorics.](https://www.combinatorics.org/ojs/index.php/eljc/article/download/v16i1r59/pdf/)
10. [On Sum-Free Subsets of Abelian Groups, Axioms (2023).](https://repository.essex.ac.uk/36058/1/axioms-12-00724.pdf)
11. [Maximal sum-free sets in finite abelian groups, V, Bulletin of the Australian Mathematical Society.](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/1E62411D67F97335728D0D40FB083A2C/S0004972700024588a.pdf/maximal-sum-free-sets-in-finite-abelian-groups-v.pdf)
12. [Schur Number, Wolfram MathWorld.](https://mathworld.wolfram.com/SchurNumber.html)
13. [Tao and Vu, Additive Combinatorics (excerpt).](https://math.bme.hu/%7egabor/oktatas/SztoM/TaoVu.AddComb.pdf)
14. [Large sum-free subsets of sets of integers via L^1-estimates for trigonometric series (2025).](https://arxiv.org/abs/2502.08624)
15. [OEIS A007865.](https://oeis.org/A007865/internal)
16. [Alon, Balogh, Morris, Samotij. Sum-free sets in Abelian groups.](https://web.math.princeton.edu/~nalon/PDFS/sumfg1.pdf)
17. [On the structure of large sum-free sets of integers, Israel Journal of Mathematics.](https://link.springer.com/article/10.1007/s11856-018-1763-4)
18. [A. Treglown, On sum-free and solution-free sets of integers (lecture slides).](https://web.mat.bham.ac.uk/A.Treglown/berlin2017b.pdf)
19. [B. Green, Additive Combinatorics (course notes, Oxford).](https://people.maths.ox.ac.uk/greenbj/papers/additive-combinatorics.pdf)
20. [Size of the Largest Sum-Free Subset of [n]^3 and [n]^4, International Mathematics Research Notices (2026).](https://academic.oup.com/imrn/article-abstract/2026/9/rnag081/8662049)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Number theory › Analytic number theory › Additive number theory › Sum-free sets and Ramsey-type additive problems*
*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Oct 11, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license