Generating abelian groups by addition only

Let A be a subset of a finite abelian group G. We say that A is sum-free if there is no solution of the equation x+ y = z, with x, y, z belonging to the set A. Let SF (G) the sel of all sum-free subets of G and σ(G) deonotes the number n(log 2 |SF (G)|). In this article we shall improve the error term in asymptotic formula of σ(G) obtained in [GR05]. The methods used are a slight refinement of methods of [GR05]. Let G be a finite abelian group of order n. A subset A of G is said to be sum-free if there is no solution of the equation x+ y = z, with x, y, z belonging to the set A. Let SF (G) denotes the set of all sum-free subsets of G. This article is motivated by the question of studying the cardinality of the set SF (G). Definition: (I) Let μ(G) denotes the density of a largest sum-free subset of G, so that any such subset has size μ(G)n. (II) Given a set B ⊂ G we say that (x, y, z) ∈ B3 is a Schur triple of the set B if x+ y = z. Observing that all subsets of a sum-free set are sum-free we have the obvious inequality |SF (G)| ≥ 2 (1) Let the symbol σ(G) denotes the number n(log2 |SF (G)|). Then from (1) it follows trivially that σ(G) ≥ μ(G). In this article we improve the results of Ben Green and Imre Ruzsa [GR05] and prove the following two results. The theorem 1 follows immediately from theorem 2 and a result from [GR05], namely theorem 6. The methods used to prove theorem 2 are a slight refinements of methods in [GR05].

This thesis presents some contributions in additive combinatorics and arithmetic Ramsey theory. More specifically, it deals with the interaction between combinatorics, number theory and additive combinatorics. This area saw a great improvement with the Szemerédi Regularity Lemma and some of the results that followed. The Regularity Lemma and its consequences have become a widely used tool in graph theory, combinatorics and number theory. Furthermore, its language and point of view has deeply changed the face of additive number theory, a fact universally acknowledged by the Abel award given to Szemerédi in 2012. One of the main reasons for the prize has been Szemerédi's theorem, a result regarding the existence of arbitrarily long arithmetic progressions in dense sets of the integers, the proof of which uses the Regularity Lemma in a key step. One of the earlier consequences of the Regularity Lemma was the Removal Lemma for graphs that was used by Ruzsa and Szemerédi to show Roth theorem, regarding the existence of 3-term arithmetic progressions in dense sets of the integers, in a combinatorial way. The Removal Lemma states that in any graph K with few copies of a subgraph, say a triangle, we can remove few edges from K so that the result contains no copy of the subgraph. This has become a key tool in the applications of the so-called Regularity Method, which has extensive literature in combinatorics, graph theory, number theory and computer science. In 2005 Green introduced a regularity lemma for Abelian groups as well as an algebraic removal lemma. The removal lemma for groups states that, for a given finite Abelian group G, if there are o(|G|^3) solution to x+y+z+t=0 with the variables taking values in S, a subset of G, then we can remove o(|G|) elements from S to make the set S solution-free. The main contributions of this work corresponds to extensions of the removal lemma for groups to either more general contexts, like non-necessary Abelian finite groups, or to linear systems of equations for finite Abelian groups. The main goal is to give a comprehensive and more general framework for many results in additive number theory like Szemerédi Theorem. In particular, we show that the removal lemma for groups by Green can be extended to non-necessary Abelian finite groups. Moreover, we prove a removal lemma for linear systems on finite fields: for every e>0 there exists a d>0 such that if A is a (k x m) linear system of equations with coefficients in a finite field F and the number of solutions to Ax=b, where each variable takes values from a subset Si in F is less than d times |F| raised to m-k, then by removing less than e|F| elements in each Si we can make the resulting sets solution-free, thus solving a conjecture by Green to that respect. Even more, if A is an integer linear system, G is a finite Abelian group, and the determinantal of A and |G| are coprime, then a similar statement holds. Let us mention that the last result allows us to characterize those linear systems where any set S with size proportional to G has a nontrivial solution in S, provided |G| is large enough. This extends the validity of Szmerédi's theorem to finite Abelian groups. These extensions of the removal lemma have been used in arithmetic Ramsey theory to obtain counting results for the number of monochromatic solutions of linear systems. The main result from a work by Frankl, Graham and Rödl in '88 states that the number of monochromatic solutions of regular systems in integer intervals is in fact a positive proportion of the total number of solutions. We give analogous results for solutions in Abelian groups with bounded exponent, for which the main tool in the torsion-free case cannot be applied. Density versions of these counting results are also obtained, in this case with a full characterization.

Maximal sum-free sets in finite Abelian groups, III

Let \Lambda be a finite abelian group. A dynamical system with transformation group \Lambda is a triple (A,\Lambda,\alpha) , consisting of a unital locally convex algebra A , the finite abelian group \Lambda and a group homomorphism \alpha:\Lambda\rightarrow\operatorname{Aut}(A) , which induces an action of \Lambda on A . In this paper we present a new, geometrically oriented approach to the noncommutative geometry of principal bundles with finite abelian structure group based on such dynamical systems.

In this chapter, we discuss several special types of modules that will make frequent appearances later. These include semisimple modules, artinian modules, and torsionfree modules, which have prototypes in vector spaces, finite abelian groups, and torsionfree abelian groups, respectively. That special types of modules have useful roles in the study of arbitrary modules may be seen already in the case of abelian groups (i.e., ℤ-modules). In studying an arbitrary abelian group, an almost reflexive first step is to look at its torsion part (i.e., the torsion subgroup) and its torsionfree part (i.e., the factor group modulo the torsion subgroup), since entirely different techniques are available (and needed) for dealing with torsion groups and torsionfree groups. On the torsionfree side, vector spaces make an appearance due to the facts that the torsionfree divisible abelian groups are exactly the vector spaces over ℚ and that every torsionfree abelian group can be embedded in a divisible one. On the torsion side, many questions can be reduced to the case of finite abelian groups, since every torsion abelian group is a directed union of finite subgroups. In studying torsion abelian groups, one also reduces to the case of p -groups for various primes p . Vector spaces make another appearance here, since in an abelian p -group the set of elements of order p (together with 0) forms a vector space over ℤ/ p ℤ.

Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

Let an element of a group be called an FC element if it has only a finite number of conjugates in the group. Baer(1) and Neumann (8) have discussed groups in which every element is FC, and called them FC-groups. Both Abelian and finite groups are trivially FC-groups; Neumann has studied the properties common to FC-groups and Abelian groups, and Baer the properties common to FC-groups and finite groups. Baer has also shown that, for an arbitrary group G, the set H1 of all FC elements is a characteristic subgroup. Haimo (3) has defined the FC-chain of a group G byHi/Hi−1 is the subgroup of all FC elements in G/Hi−1.

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

We show that, for a positive integer r, every minimal 1-saturating set in ${PG}(r-1,2)$ of size at least $\frac{11}{36}\,2^r+3$ either is a complete cap or can be obtained from a complete cap S by fixing some $s\in S$ and replacing every point $s'\in S\setminus\{s\}$ by the third point on the line through s and $s'$. Since, conversely, every set obtained in this way is a minimal 1-saturating set and the structure of large sum-free sets in an elementary abelian 2-group is known, this provides a complete description of large minimal 1-saturating sets. An algebraic restatement is as follows. Suppose that G is an elementary abelian 2-group and a subset $A\subseteq G\setminus\{0\}$ satisfies $A\cup2A=G$ and is minimal subject to this condition. If $|A|\ge\frac{11}{36}\,|G|+3$, then either A is a maximal sum-free set or there are a maximal sum-free set $S\subseteq G$ and an element $s\in S$ such that $A=\{s\}\cup\bigl(s+(S\setminus\{s\})\bigr)$. Our approach is based on characterizing those large sets A in elementary abelian 2-groups such that, for every proper subset B of A, the sumset $2B$ is a proper subset of $2A$.

Let G≅C n 1 ⊕...⊕C n r be a finite and nontrivial abelian group with n 1 |n 2 |...|n r . A conjecture of Hamidoune says that if W=w 1 ·...·w n is a sequence of integers, all but at most one relatively prime to |G|, and S is a sequence over G with |S|≥|W|+|G|-1≥|G|+1, the maximum multiplicity of S at most |W|, and σ(W)≡0mod|G|, then there exists a nontrivial subgroup H such that every element g∈H can be represented as a weighted subsequence sum of the form g=∑ n i=1w i s i , with s 1 ·...·s n a subsequence of S. We give two examples showing this does not hold in general, and characterize the counterexamples for large |W|≥1 2|G|.A theorem of Gao, generalizing an older result of Olson, says that if G is a finite abelian group, and S is a sequence over G with |S|≥|G|+𝔻(G)-1, then either every element of G can be represented as a |G|-term subsequence sum from S, or there exists a coset g+H such that all but at most |G/H|-2 terms of S are from g+H. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis |S|≥|G|+𝔻(G)-1 can be relaxed to |S|≥|G|+d * (G), where d * (G)=∑ r i=1(n i -1). We also use this method to derive a variation on Hamidoune’s conjecture valid when at least d * (G) of the w i are relatively prime to |G|.

Perfect nonlinear functions between two finite abelian groups were studied by Carlet and Ding (J Complex 20:205---244, 2004) and Pott (Discret Math Appl 138:177---193, 2004), which can be regarded as a generalization of bent functions on finite abelian groups studied by Logachev et al. (Discret Math Appl 7:547---564, 1997). Poinsot (J Discret Math Sci Cryptogr 9:349---364, 2006), (Cryptogr Commun 4:1---23, 2012) extended this research to arbitrary finite groups, and characterized bent functions on finite nonabelian groups as well as perfect nonlinear functions between two arbitrary finite groups by the Fourier transforms of the related functions at irreducible unitary representations. The purpose of this paper is to study the characterizations of the bentness (perfect nonlinearity) of functions on arbitrary finite groups by the Fourier transforms of the related functions at irreducible characters. We will also give a characterization of a perfect nonlinear function by the relative pseudo-difference family.

The classifying space BG of a topological group G can be filtered by a sequence of subspaces B(q,G) using the descending central series of free groups. If G is finite, describing them as homotopy colimits is convenient when applying homotopy theoretic methods. In this thesis we introduce natural subspaces B(q,G)_p of B(q,G) defined for a fixed prime p. We show that B(q,G) is stably homotopy equivalent to a wedge sum of B(q,G)_p as p runs over the primes dividing the order of G. Colimits of abelian groups play an important role in understanding the homotopy type of these spaces. Extraspecial p-groups are key examples, for which these colimits turn out to be finite. We prove that for extraspecial p-groups of rank at least 4 the space B(2,G) does not have the homotopy type of a K(π,1) space. Furthermore, we give a group theoretic condition, applicable to symmetric groups and general linear groups, which implies the space B(2,G) not having the homotopy type of a K(π,1) space. For a finite group G, we compute the complex K-theory of B(2,G) modulo torsion.

In this chapter we develop the algebra underlying multirate filter structures over free abelian groups of finite rank. Suppose A is a free abelian group of rank N. Each subgroup Δ of A is a free abelian group of rank n ≤ N. The basis theorem describes how Δ sits in A in the sense that it characterizes the quotient group A/Δ. This quotient group can be a finite abelian group a free abelian group of finite rank the direct product of a finite abelian group and a free abelian group of finite rank.

If T or T is an algebraically k-quasiclass A operator acting on an infinite di- mensional separable Hilbert space and F is an operator commuting with T, and there exists a positive integer n such that F n has a finite rank, then we prove that Weyl's theorem holds for f(T)+F for every f2 H( (T)), where H( (T)) denotes the set of all analytic functions in a neighborhood of (T). Moreover, if T is an algebraically k-quasiclass A operator, then -Weyl's theorem holds for f(T). Also, we prove that if T or T is an algebraically k-quasiclass A operator then both the Weyl spectrum and the approximate point spectrum of T obey the spectral mapping theorem for every f2 H( (T)). We begin with some standard notation on Fredholm theory. Throughout this paper letH be a separable complex Hilbert space with inner producth ;i . Let B(H) and K(H) denote respectively, theC -algebra of all bounded linear operators and the ideal of compact operators acting on H. If T 2 B(H), we shall write kerT and ranT for the null space and the range of T respectively. Also let (T ) =dim kerT, (T ) =dim kerT and let (T ), a(T ) denote the spectrum, approximate point spectrum of T, respectively. Let p = p(T ) be the ascent of T; i.e., the smallest nonnegative integer p such that kerT p = kerT p+1 . If such an integer does not exist, we put p(T ) =1. Analogously, let q = q(T ) be the descent of T; i.e., the smallest nonnegative integer q such that ran T q =ranT q+1 , and if such an integer does not exist, we put q(T ) =1. It is well known that if p(T ) and q(T ) are both finite then p(T ) = q(T ). Moreover, 0 < p( T ) = q( T ) <1 precisely when is a pole of the resolvent of T, see Heuser (20, Proposition 50.2). An operator T 2 B(H) is called Fredholm if ranT is

A group G is called semi-n-abelian, if for every g ∈ G there exists at least one a(g) ∈ G-which depends only on g-such that (gh)n = a-1(g)gnhna(g) for all h ∈ G; a group G is called n-abelian, if a(g) = e for all g ∈ G. According to Durbin the following holds for n-abelian groups: If G is n-abelian for at lesast 3 consecutive integers, then G in n-abelian for all integers and these groups are exactly the abelian groups. In this paper this problem is generalized to the semi-n-abelian case: If a finite group G is semi-n-abelian for at least 4 consecutive integers then G is semi-n-abelian for all integers and these groups are exactly the nilpotent groups, where the Sylow-2-subgroup is abelian, the Sylow-3-subgroup is any element of the Levi-variety ([[g, h], h] = e ∀ g, h ∈ G) and the Sylow-p-subgroup (p &lt; 3) is of class &lt;2. As a consequence we get a description of all finite (3-)groups, which are elements of the Levi-variety.