arXiv:1611.08852v1 [math.GR] 27 Nov 2016

A characterization of
elementary abelian 2-groups
Marius Tărnăuceanu
November 27, 2016
Abstract
In this note we give a characterization of elementary abelian 2groups in terms of their maximal sum-free subsets.

MSC (2010): Primary 11B75; Secondary 20D60, 20K01.
Key words: elementary abelian 2-groups, sum-free subsets, maximal sumfree subsets, maximal subgroups.

1

Introduction

Throughout this paper G will denote an additive, but not necessarily abelian,
group. A subset A of G is said to be sum-free if (A + A) ∩ A = ∅, that is the
equation x+y = z has no solutions x, y, z ∈ A. Sum-free sets were introduced
by Schur [12] whose celebrated result states that the set of positive integers
cannot be partitioned into finitely many sum-free sets. Another famous result
on sum-free sets is a conjecture of Cameron and Erdős [3, 4], which asserts
that the number of sum-free subsets of {1, 2, ..., n} is O(2n/2 ). It has been
recently proved by Green [7].
Sum-free subsets of abelian groups are central objects of interest in Additive Combinatorics, and have been studied intensively in the last years (see
e.g. [1, 2], [5, 6] and [8]-[11]). Probably the most important problems in
this direction are: How large a sum-free subset of G can be ? and How many
sum-free sets of G are there ?
In the following we will focus on maximal sum-free subsets of G. Our
main theorem characterizes elementary abelian 2-groups by connecting these
subsets with the complements of maximal subgroups.
1

Theorem 1.1. A finite group G is an elementary abelian 2-group if and only
if the set of maximal sum-free subsets coincides with the set of complements
of maximal subgroups.
The following corollary is an immediate consequence of Theorem 1.1.
Corollary 1.2. The number of maximal sum-free subsets of Zn2 is 2n − 1,
and each of them has 2n−1 elements.
Theorem 1.1 can be also used to count the sum-free subsets of Zn2 since
these are all subsets of maximal sum-free subsets. Let k = 2n − 1 and denote
by M1 , M2 , ..., Mk the maximal subgroups of Zn2 . Then, by applying the
well-known Inclusion-Exclusion Principle, we infer that the total number of
sum-free subsets of Zn2 is
xn = |

k
[

P(Zn2 \ Mi )| =

r=1

i=1

=

k
X
r=1

k
X

(−1)r−1

X

(−1)r−1

X

|P(Zn2 \ Mi1 ) ∩ · · · ∩ P(Zn2 \ Mir )|

1≤i1 <···<ir ≤k

|P(Zn2 \Mi1 ∪· · ·∪Mir )| =

k
X

(−1)r−1

r=1

1≤i1 <···<ir ≤k

X

n −|M

22

i1 ∪ ··· ∪Mir |

.

1≤i1 <···<ir ≤k

We remark that this depends only on the cardinality of any union of Mi ’s.
Note that its first values are: x1 = 2, x2 = 7, x3 = 64, x4 = 3049, ... and so
on. Thus, a natural problem is the following.
Open problem. Give an explicit formula for xn .
Most of our notation is standard and will usually not be repeated here.
Given a subset A of G, we write A + A = {a1 + a2 | a1 , a2 ∈ A}, A − A =
1
/ A}.
{a1 − a2 | a1 , a2 ∈ A}, A = {a ∈ G | 2a ∈ A} and G \ A = {x ∈ G | x ∈
2

2

Proofs of the main results

We start with two easy but important lemmas.
Lemma 2.1. Let G be a group and H be a subgroup of G. Then G \ H is a
non-empty maximal sum-free subset of G if and only if [G : H] = 2.
2

|G|
.
2
Indeed, given x ∈ A the set x + A = {x + y | y ∈ A} has the same number of
elements as A and (x + A) ∩ A = ∅. In other words, G contains at least 2|A|
elements.
Assume first that G \ H is a non-empty maximal sum-free subset of G.
|G|
, or equivalently [G : H] ≤ 2.
By the above remark we have |G \ H| ≤
2
This leads to [G : H] = 2 because G \ H is non-empty.
Conversely, assume that [G : H] = 2 and let x, y ∈ G \ H. Since x + H
and −y + H are non-trivial cosets, it follows that x + H = −y + H, that is
x + y ∈ H. Therefore G \ H is a sum-free subset of G. Now, let x ∈ G \ H
and z ∈ H. Then x + z ∈ G \ H. This shows that (G \ H) ∪ {z} is not
a sum-free subset of G, and consequently G \ H is a non-empty maximal
sum-free subset of G, as desired.
Proof. First of all, we remark that if A is a sum-free of G, then |A| ≤

Lemma 2.2. Let G be a group and A be a subset of G. Then A is a maximal
1
sum-free subset of G if and only if G \ A = (A + A) ∪ (A − A) ∪ A.
2
Proof. Assume first that A is a maximal sum-free subset of G. Then it is
1
a routine to check that (A + A) ∪ (A − A) ∪ A ⊆ G \ A. Let x ∈ G \ A.
2
By our hypothesis, we infer that A ∪ {x} is not a maximal sum-free subset
of G and so there are a, b ∈ A ∪ {x} such that a + b ∈ A ∪ {x}. If a = b = x
1
we have either x + x ∈ A, i.e. x ∈ A, or x + x = x, i.e. x = 0 ∈ A − A.
2
If a ∈ A and b = x, then a + x 6= x and so a + x ∈ A, i.e. x ∈ A − A.
Note that a similar conclusion follows for b ∈ A and a = x. Finally, if
a, b ∈ A, then we must have a + b = x, i.e. x ∈ A + A. These show that
1
G \ A ⊆ (A + A) ∪ (A − A) ∪ A.
2
1
Conversely, assume that G \ A = (A + A) ∪ (A − A) ∪ A. Since A + A ⊆
2
G \ A, we infer that A is a sum-free subset of G. It remains to prove that this
is maximal, that is A ∪ {x} is not a sum-free subset of G for any x ∈ G \ A.
By our hypothesis, we distinguish the following three cases. If x ∈ A + A,
then x = a + b for some a, b ∈ A; thus a, b ∈ A ∪ {x} and a + b ∈ A ∪ {x}.
If x ∈ A − A, then x = a − b for some a, b ∈ A; thus x, b ∈ A ∪ {x}
1
and x + b = a ∈ A ∪ {x}. Finally, if x ∈ A, then x ∈ A ∪ {x} and
2
x + x ∈ A ⊆ A ∪ {x}. This completes the proof.
3

We are now able to prove Theorem 1.1.
Proof of Theorem 1.1. Let G = Zn2 for some n ≥ 1. Then all maximal
subgroups of G are of index 2, and therefore their complements are maximal
sum-free subsets by Lemma 2.1. Suppose now that A is a maximal sum-free
1
subset of G. Then x+x = 0 ∈
/ A ∀ x ∈ G, that is A = ∅, and A+A = A−A.
2
These lead to
G\A=A+A
in view of Lemma 2.2. Let {e1 , e2 , ..., em } be a maximal linearly independent
subset of A (over Z2 ). We infer that A consists of all sums of an odd number
of ei ’s. If m < n we can choose em+1 ∈ G such that the vectors e1 , e2 , ..., em+1
are linearly independent. One obtains that
A′ = {e1 , e2 , ..., em+1 , e1 + e2 + e3 , e1 + e2 + e4 , ..., em−1 + em + em+1 , ...}
is a sum-free subset of G and A ( A′ , contradicting the maximality of A.
Thus m = n and


   
n
n
n
+ · · · = 2n−1 ,
+···+
+
|A| =
2r + 1
3
1
which implies that
|G \ A| = |A + A| = 2n−1 .
On the other hand, G \ A is a subgroup of G because it consists of all sums
of an even number of ei ’s, and so it is a maximal subgroup.
Conversely, let M1 , M2 , ..., Mk be the maximal subgroups of G and suppose that G \ Mi , i = 1, 2, ..., k, are the maximal sum-free subsets of G. Then
[G : Mi ] = 2, for any i = 1, 2, ..., k, by Lemma 2.1. We infer that G is a
nilpotent group, more precisely a 2-group. Since every non-trivial element of
G is contained in a maximal sum-free subset of G, we have
G\1=

k
[

G \ Mi = G \

i=1

k
\

Mi = G \ Φ(G),

i=1

that is Φ(G) = 1. Hence G is an elementary abelian 2-group.
Acknowledgements. The author is grateful to the reviewer for its remarks
which improve the previous version of the paper.
4

References
[1] Alon, N., Balogh, J., Morris, R., Samotij, W., Counting sum-free sets
in abelian groups, arXiv:1201.6654.
[2] Bourgain, J., Estimates related to sumfree subsets of sets of integers,
Israel J. Math. 97 (1997), 71-92.
[3] Cameron, P.J., Erdős, P., On the number of sets of integers with various
properties, Number theory (Banff, AB, 1988), 6179, de Gruyter, Berlin,
1990.
[4] Cameron, P.J., Erdős, P., Notes on sum-free and related sets, Recent
trends in combinatorics (Mátraháza, 1995), 95-107, CUP, Cambridge,
2001.
[5] Eberhard, S., Green, B., Manners, F., Sets of integers with no large
sum-free subset, arXiv:1301.4579.
[6] Giudici, M., Hart, S., Small maximal sum-free sets, Electron. J. Combin.
16 (2009), research paper 59, 17 pp.
[7] Green, B., The Cameron-Erdős conjecture, Bull. London Math. Soc. 36
(2004), 769-778.
[8] Green, B., Ruzsa, I.Z., Sum-free sets in abelian groups, Israel J. Math.
147 (2005), 157-188.
[9] Kedlaya, K.S., Product-free subsets of groups, then and now, Communicating Mathematics, Contemp. Math. 479, 2009, 168-178.
[10] Kedlaya, K.S., Shao, X., Generalizations of product-free subsets, Communicating Mathematics, Contemp. Math. 479, 2009, 179-188.
[11] Rhemtulla, A.H., Street, A.P., Maximal sum-free sets in elementary
abelian p-groups, Canad. Math. Bull. 14 (1971), 73-86.
[12] Schur, I., Über die Kongruenz xm +y m = z m (mod p), Jahresber. Deutsch.
Math. Verein. 25 (1916), 114-117.

5

Marius Tărnăuceanu
Faculty of Mathematics
“Al.I. Cuza” University
Iaşi, Romania
e-mail: tarnauc@uaic.ro

6

arXiv:1611.08852v1 [math.GR] 27 Nov 2016

A result on the maximal sum-free subsets
of finite groups
Marius Tărnăuceanu
November 27, 2016
Abstract
In this note we give a characterization of the elementary abelian
2-groups Zn2 , n = 1, 2, 3, in terms of their maximal sum-free subsets.

MSC (2010): Primary 11B75; Secondary 20D60, 20K01.
Key words: elementary abelian 2-groups, sum-free subsets, maximal sumfree subsets, maximal subgroups.

1

Introduction

Throughout this paper G will denote an additive, but not necessarily abelian,
group. A subset A of G is said to be sum-free if (A + A) ∩ A = ∅, that is the
equation x+y = z has no solutions x, y, z ∈ A. Sum-free sets were introduced
by Schur [12] whose celebrated result states that the set of positive integers
cannot be partitioned into finitely many sum-free sets. Another famous result
on sum-free sets is a conjecture of Cameron and Erdős [3, 4], which asserts
that the number of sum-free subsets of {1, 2, ..., n} is O(2n/2 ). It has been
recently proved by Green [7].
Sum-free subsets of abelian groups are central objects of interest in Additive Combinatorics, and have been studied intensively in the last years (see
e.g. [1, 2], [5, 6] and [8]-[11]). Probably the most important problems in
this direction are: How large a sum-free subset of G can be ? and How many
sum-free sets of G are there ?
In the following we will focus on the above second question. We remark
that it is enough to study the maximal sum-free subsets of G because they
1

contain all sum-free subsets of G. We can easily check that for G ∼
= Zn2 , n ≤ 3,
the maximal sum-free subsets coincide with the complements of maximal
subgroups. Our main theorem shows that Zn2 , n = 1, 2, 3, exhaust all finite
groups with this property.
Theorem 1.1. Let G be a finite group. Then the set of maximal sum-free
subsets coincides with the set of complements of maximal subgroups if and
only if G ∼
= Zn2 for some n = 1, 2, 3.
The next corollary follows immediately from the proof of Theorem 1.1.
Corollary 1.2. The elementary abelian 2-group Zn2 has 2n −1 maximal sumfree subsets for n = 1, 2, 3, and at least 2n − 1 maximal sum-free subsets for
n ≥ 4.
A lower bound for the number of sum-free subsets of Zn2 can be also
given from the above results. Let k = 2n − 1 and denote by M1 , M2 , ..., Mk
the maximal subgroups of Zn2 . Then, by applying the well-known InclusionExclusion Principle, we infer that the total number of sum-free subsets of Zn2
is at least
k
k
[
X
X
n
xn = | P(Z2 \ Mi )| =
(−1)r−1
|P(Zn2 \ Mi1 ) ∩ · · · ∩ P(Zn2 \ Mir )|
r=1

i=1

=

k
X
r=1

(−1)r−1

X

1≤i1 <···<ir ≤k

|P(Zn2 \Mi1 ∪· · ·∪Mir )| =

k
X
r=1

1≤i1 <···<ir ≤k

(−1)r−1

X

n −|M

22

i1 ∪ ··· ∪Mir |

,

1≤i1 <···<ir ≤k

and we have equality if and only if n ≤ 3. We remark that xn depends only
on the cardinality of any union of Mi ’s. Its first values are: x1 = 2, x2 = 7,
x3 = 64, x4 = 3049, ... and so on.
Finally, we indicate two natural open problems concerning the above
study.
Problem 1. Describe all maximal sum-free subsets of Zn2 for n ≥ 4.
Problem 2. Give a precise lower bound for the total number of sum-free
subsets of Zn2 by computing explicitly xn .
Most of our notation is standard and will usually not be repeated here.
Given a subset A of G, we write A + A = {a1 + a2 | a1 , a2 ∈ A} and G \ A =
{x ∈ G | x ∈
/ A}.
2

2

Proof of the main result

We start with the following easy but important lemma.
Lemma 2.1. Let G be a group and H be a subgroup of G. Then G \ H is a
maximal sum-free subset of G if and only if [G : H] = 2.
Proof. Assume first that G \ H is a maximal sum-free subset of G and let
x+ H, y + H be two non-trivial cosets. Then x, −y ∈ G \ H and so x−y ∈ H,
or equivalently x + H = y + H. In other words, G has a unique non-trivial
coset with respect to H, i.e. [G : H] = 2.
Conversely, assume that [G : H] = 2 and let x, y ∈ G \ H. Since x + H
and −y + H are non-trivial cosets, it follows that x + H = −y + H, that is
x + y ∈ H. Therefore G \ H is a sum-free subset of G. Now, let x ∈ G \ H
and z ∈ H. Then x + z ∈ G \ H. This shows that (G \ H) ∪ {z} is not a
sum-free subset of G, and consequently G \ H is a maximal sum-free subset
of G, as desired.
We are now able to prove Theorem 1.1.
Proof of Theorem 1.1. Let M1 , M2 , ..., Mk be the maximal subgroups of
G and assume that G \ Mi , i = 1, 2, ..., k, are the maximal sum-free subsets
of G. Then [G : Mi ] = 2, for any i = 1, 2, ..., k, by Lemma 2.1. We infer
that G is a nilpotent group, more precisely a 2-group. Since every non-trivial
element of G is contained in a maximal sum-free subset of G, we have
G\1=

k
[

G \ Mi = G \

i=1

k
\

Mi = G \ Φ(G),

i=1

that is Φ(G) = 1. Consequently, G is an elementary abelian 2-group, say
G∼
= Zn2 .
Next we will prove that n ∈ {1, 2, 3}. Assume that n ≥ 4 and denote by e1 , e2 , ..., en the canonical basis of G over Z2 . It is clear that A =
{e1 , e2 , e3 , e4 , e1 + e2 + e3 + e4 } is a sum-free subset of G. If there is a maximal subgroup M such that A ⊆ G \ M, then M must be of index 2, which
implies that the sum of any two elements of A belongs to M. Therefore
e1 + e2 , e3 + e4 ∈ M and so e1 + e2 + e3 + e4 ∈ M, a contradiction. This
completes the proof.
3

References
[1] Alon, N., Balogh, J., Morris, R., Samotij, W., Counting sum-free sets
in abelian groups, arXiv:1201.6654.
[2] Bourgain, J., Estimates related to sumfree subsets of sets of integers,
Israel J. Math. 97 (1997), 71-92.
[3] Cameron, P.J., Erdős, P., On the number of sets of integers with various
properties, Number theory (Banff, AB, 1988), 6179, de Gruyter, Berlin,
1990.
[4] Cameron, P.J., Erdős, P., Notes on sum-free and related sets, Recent
trends in combinatorics (Mátraháza, 1995), 95-107, CUP, Cambridge,
2001.
[5] Eberhard, S., Green, B., Manners, F., Sets of integers with no large
sum-free subset, arXiv:1301.4579.
[6] Giudici, M., Hart, S., Small maximal sum-free sets, Electron. J. Combin.
16 (2009), research paper 59, 17 pp.
[7] Green, B., The Cameron-Erdős conjecture, Bull. London Math. Soc. 36
(2004), 769-778.
[8] Green, B., Ruzsa, I.Z., Sum-free sets in abelian groups, Israel J. Math.
147 (2005), 157-188.
[9] Kedlaya, K.S., Product-free subsets of groups, then and now, Communicating Mathematics, Contemp. Math. 479, 2009, 168-178.
[10] Kedlaya, K.S., Shao, X., Generalizations of product-free subsets, Communicating Mathematics, Contemp. Math. 479, 2009, 179-188.
[11] Rhemtulla, A.H., Street, A.P., Maximal sum-free sets in elementary
abelian p-groups, Canad. Math. Bull. 14 (1971), 73-86.
[12] Schur, I., Über die Kongruenz xm +y m = z m (mod p), Jahresber. Deutsch.
Math. Verein. 25 (1916), 114-117.

4

Marius Tărnăuceanu
Faculty of Mathematics
“Al.I. Cuza” University
Iaşi, Romania
e-mail: tarnauc@uaic.ro

5

