A Basis Theorem for Subgroups of Bounded Abelian Groups

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.

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 ℤ.

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.

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.

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

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.

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

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|.

Recently, the concept of (normal) bent partitions, which are partitions of elementary abelian groups having similar properties to spreads, has been introduced by Anbar and Meidl. A large number of bent partitions, so-called generalized semifield spreads, can be obtained from semifields with certain properties. A strongly related concept, namely Latin square partial difference set packings (LP-packings) in finite abelian groups, has also been introduced recently by Jedwab and Li. The examples for LP-packings in an elementary abelian group are obtained from spreads. LP-packings yield bent partitions (not only for elementary abelian groups). In this paper, we first point out that conversely, generalized semifield spreads yield LP-packings. As a result, there is a huge amount of LP-packings in elementary abelian groups, other than spreads. With some examples from ternary bent functions, we then show that normal bent partitions and LP-packings are not the same concept. Finally, we extend the lifting procedure from spreads to LP-packings in nonelementary abelian groups to a lifting procedure from some generalized spreads to LP-packings in nonelementary abelian groups and in larger elementary abelian groups. This potentially yields bent partitions other than generalized semifield spreads.

Abelian groups is the most famous in group theory and is also one of the most important groups, the study of abelian groups occupies a very important position in the group theory, abelian groups for almost all the research plays a backbone role, this article through replace new notation to the abelian groups of the term for a group, introduce some new definitions such as p-primary group, p-primary components of G, independent of groups and the Sylow subgroups for tool are discussed, and finally got about finite abelian groups of several important conclusions.

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.

If the character table of a finite group H satisfies certain conditions, then the classes and characters of H can fuse to give the character table of a group G of the same order. We investigate the case where H is an abelian group. In a previous article, we gave examples of Camina pairs that fuse from abelian groups. In this article, we give more general examples of Camina triples that fuse from abelian groups. We use this result to give an example of a group which fuses from an abelian group, but which has a subgroup that does not. We also give an example of a powerful 2-group which does not fuse from an abelian group and of a regular 3-group which does not fuse from an abelian group.

We show that every finite abelian group occurs as the group of rational points of an ordinary abelian variety over F 2 \mathbb {F}_2 , F 3 \mathbb {F}_3 and F 5 \mathbb {F}_5 . We produce partial results for abelian varieties over a general finite field F q \mathbb {F}_q . In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over F q \mathbb {F}_q when q q is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over F 2 \mathbb {F}_2 .

Complete factorizations of finite abelian groups

Every finite abelian group is a subgroup of the additive group of a finite simple left brace