Sum-free sets in abelian groups

We show that there is an absolute constant δ>0 such that the number of sum-free subsets of any finite abelian groupG is

Counting sum-free sets in abelian groups

In this paper we study sum-free sets of order m in finite abelian groups. We prove a general theorem about independent sets in 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting. As a consequence, we determine the typical structure and asymptotic number of sum-free sets of order m in abelian groups G whose order n is divisible by a prime q with q ≡ 2 (mod 3), for every m ? \(C(q)\sqrt {n\log n} \) , thus extending and refining a theorem of Green and Ruzsa. In particular, we prove that almost all sumfree subsets of size m are contained in a maximum-size sum-free subset of G. We also give a completely self-contained proof of this statement for abelian groups of even order, which uses spectral methods and a new bound on the number of independent sets of a fixed size in an (n, d, λ)-graph.     

Progression-free sets in finite abelian groups

Let G be a finite abelian group. Write and denote by rk(2G) the rank of the group 2G.Extending a result of Meshulam, we prove the following. Suppose that A⊆G is free of “true” arithmetic progressions; that is, a₁+a₃=2a₂ with a₁,a₂,a₃∈A implies that a₁=a₃. Then |A|<2|G|/rk(2G). When G is of odd order this reduces to the original result of Meshulam.As a corollary, we generalize a result of Alon and show that if an integer k?2 and a real ε>0 are fixed, |2G| is large enough, and a subset A⊆G satisfies |A|?(1/k+ε)|G|, then there exists A₀⊆A such that 1?|A₀|?k and the elements of A₀ add up to zero. When G is of odd order or cyclic this reduces to the original result of Alon.     

Difference sets in abelian groups ofp-rank two

Under a technical assumption that pertains to the so-called self-conjugacy, we prove: if an abelian groupG ofp-rank two,p a prime, admits a (nontrivial) (v, k, ) difference setD, then for each for some subgroupC _p ofG of orderp. Consequently,k(p=1), with equality only ifF=1/p D , whereD is the image ofD under the canonical homomorphism fromG ontoG/E (E being the unique elementary abelian subgroup ofG of orderp ²), is a (v/p ²,k/p, ) difference set inG/E. As applications, we establish the nonexistence of (i) (96, 20, 4) difference sets in ₄ x ₈ x ₃, (ii) (640, 72, 8) difference sets in ₈ x ₁₆ x ₅ and (iii) (320, 88, 24) difference sets in ₈ x ₈ x ₅. The first one fills a missing entry in Lander's table [6] and the other two in Kopilovich's table [5] (all with the answer no). We also point out the connection of the parameter sets in (i) above with the Turyn-type bounds [10] for the McFarland difference sets [9].Research partially supported by NSA Grant #904-92-H-3057 and by NSF Grant # NCR-9200265.     

Counting MSTD sets in finite abelian groups

In an abelian group G, a more sums than differences (MSTD) set is a subset A⊂G such that |A+A|>|A−A|. We provide asymptotics for the number of MSTD sets in finite abelian groups, extending previous results of Nathanson. The proof contains an application of a recently resolved conjecture of Alon and Kahn on the number of independent sets in a regular graph.     

Free generating sets of lattice-ordered abelian groups

We prove that the generators g₁,…,g_n of a lattice-ordered abelian group G form a free generating set iff each ?-ideal generated by any n−1 linear combinations of the g_i is strictly contained in some maximal ?-ideal of G.     

Paley type partial difference sets in abelian groups

Partial difference sets with parameters $\left(v,k,\lambda ,\mu \right)=\left(v,\left(v?1\right)/2,\left(v?5\right)/4,\left(v?1\right)/4\right)$ are called Paley type partial difference sets. In this note, we prove that if there exists a Paley type partial difference set in an abelian group of order v, where v is not a prime power, then $v=n^4$ or $9n^4$, $n>1$ an odd integer. In 2010, Polhill constructed Paley type partial difference sets in abelian groups with those orders. Thus, combining with the constructions of Polhill and the classical Paley construction using nonzero squares of a finite field, we completely answer the following question: “For which odd positive integers $v>1$, can we find a Paley type partial difference set in an abelian group of order $v$?”     

Centerpole sets for colorings of abelian groups

A subset C?G of a group G is called k-centerpole if for each k-coloring of G there is an infinite monochromatic subset G, which is symmetric with respect to a point c??C in the sense that S=cS ^?1 c. By c _k (G) we denote the smallest cardinality c _k (G) of a k-centerpole subset in G. We prove that c _k (G)=c _k (? ^m ) if G is an abelian group of free rank m??k. Also we prove that c ₁(? ⁿ⁺¹)=1, c ₂(? ⁿ⁺²)=3, c ₃(? ⁿ⁺³)=6, 8??c ₄(? ⁿ⁺⁴)??c ₄(?⁴)=12 for all n????, and ${\frac{1}{2}(k^{2}+3k-4)\le c_{k}(\mathbb{Z}^{n})\le2^{k}-1-\max_{s\le k-2}\binom {k-1}{s-1}}$ for all n??k??4.     

Structure of large incomplete sets in abelian groups

Let G be a finite abelian group and A be a subset of G. We say that A is complete if every element of G can be represented as a sum of different elements of A. In this paper, we study the following question     

Sum-free sets and Ramsey numbers

In this note we obtain new lower bounds for the Ramsey numbers R(5, 5) and R(5, 6). The method is based on computational results of partitioning the integers into sum-free sets. We obtain R(5, 5)?42 and R(5, 6)?53.     

Countably infinite quasi-convex sets in some locally compact abelian groups

We produce a class of countably infinite quasi-convex sets (sequences converging to zero) in the circle group T and in the group J₂ of 2-adic integers determined by sequences of integers satisfying a mild lacunarity condition. We also extend our results to the group R of real numbers. All these quasi-convex sets have a stronger property: Every infinite (necessarily) symmetric subset containing 0 is still quasi-convex.     

On sets of Haar measure zero in abelian polish groups

It is shown that the concept of zero set for the Haar measure can be generalized to abelian Polish groups which are not necessarily locally compact. It turns out that these groups, in many respects, behave like locally compact groups. Suitably modified, many theorems from harmonic analysis carry over to this case. A few applications are given and some open problems are mentioned.     

Toward the abelian root groups conjecture for special Moufang sets

We prove that if a root group of a special Moufang set contains an element of order then it is abelian.     

Almost-affable abelian groups

In this paper we show that a direct summand of a simply presented mixed abelain group is an almost affable group. As a consequence, the classification theorem due to the author is extended to the largest possible class.     

Universal abelian groups

We examine the existence of universal elements in classes of infinite abelian groups. The main method is using group invariants which are defined relative to club guessing sequences. We prove, for example:Theorem:For n≧2, there is a purely universal separable p-group in ℵ _n if, and only if, . Partially supported by the United States-Israel Binational Science Foundation. Publication number 455.     

Graphically abelian groups

We define a group G to be graphically abelian if the function g?g⁻¹ induces an automorphism of every Cayley graph of G. We give equivalent characterizations of graphically abelian groups, note features of the adjacency matrices for Cayley graphs of graphically abelian groups, and show that a non-abelian group G is graphically abelian if and only if G=E×Q, where E is an elementary abelian 2-group and Q is a quaternion group.     

Quasi-minimal abelian groups

An abelian group is said to be quasi-minimal (purely quasi-minimal, directly quasi-minimal) if it is isomorphic to all its subgroups (pure subgroups, direct summands, respectively) of the same cardinality as . Obviously quasi-minimality implies pure quasi-minimality which in turn implies direct quasi-minimality, but we show that neither converse implication holds. We obtain a complete characterisation of quasi-minimal groups. In the purely quasi-minimal case, assuming GCH, a complete characterisation is also established. An independence result is proved for directly quasi-minimal groups.