A generalization of group commutativity

Let be a group of prime exponent . In this paper we prove that is nilpotent of class at most 2 if and only if one of the following properties is true: is also the support of a commutative group such that and have the same cyclic cosets [cosets of order ]. the operation defined on by putting , gives a structure of commutative group.\end

Some finitely presented nilpotent-by-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.

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p 8 for any odd prime number p and this order is 27 for p = 2. Some of these results are proved for a class wider than the class of E-groups.

We find a canonical representation for elements of a partially commutative group in a variety of soluble groups of derived length two and nilpotency class at most c ≥ 1.

Two operators or two subgroups of a group will be called I-conjugate whenever they are conjugate under the group of isomorphisms of this group. It is well known that all the cyclic subgroups of highest order contained in any abelian group are I-conjugate. A necessary and sufficient condition that all the cyclic subgroups of any other order contained in an abelian group G of order pmm, p being a prime number, are I-conjugate is that all the invariants of G are equal to each other. When this condition is satisfied we shall prove, in particular, that the number of the subgroups of order pa, a c m , contained in G is equal to the number of its subgroups of index pa. It is known that the ?-subgroup of G is composed of the pth power of every operator of G. The concept of +-subgroup in connection with abelian groups can readily be extended by considering the characteristic subgroup of G composed of the path power of every operator of G. This subgroup may be called the Oa-subgroup of G. It is composed of all the operators of G which are found in each one of its subgroups of index pa, and all the operators of highest order in a 4.-subgroup of G are I-conjugate. In particular, the 0&-subgroup generated by operators of order p is the fundamental characteristic subgroup of G. t In fact, when p > 2 the 0a-subgroup which is generated by operators of order pr is contained in every characteristic subgroup of G which involves operators of order pr. The quotient group of G corresponding to a 4a-subgroup may be called a 0,fi-quotient group. This quotient group is simply isomorphic with the subgroup of G generated bv all its operators whose orders divide p> Hence the following: THEOREM. The number of the subgroups of index pa contained in any abelian

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

We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense, close to abelian. We prove two main theorems. In the first, we completely classify all finite groups with an automorphism cubing more than half their elements. All such groups are either nilpotent class 2 or possess an abelian subgroup of index 2. For our second theorem, we show that if a group possesses an automorphism sending more than 4/15 of its elements to their cubes, then it must be solvable. The group A_5 shows that this result is best-possible. Both our main findings closely parallel results of previous authors on finite groups possessing an automorphism which inverts many elements. The technicalities of the new proofs are somewhat more subtle, and also throw up a nice connection to a basic problem in combinatorial number theory, namely the study of subsets of finite cyclic groups which avoid non-trivial solutions to one or more translation invariant linear equations.

The Chermak–Delgado lattice of a finite group G is a self-dual sublattice of the subgroup lattice of G. In this paper, we focus on finite groups whose Chermak–Delgado lattice is a subgroup lattice of an elementary abelian p-group. We prove that such groups are nilpotent of class 2. We also prove that, for any elementary abelian p-group E, there exists a finite group G such that the Chermak–Delgado lattice of G is a subgroup lattice of E.

Finite groups and Lie rings with a metacyclic Frobenius group of automorphisms

In this paper we classify finite simple groups whose Sylow $2$-subgroups have nilpotency class two.

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

It is shown that, if Q is a finitely generated abelian group, a finitely generated Q-group A is m-tame if and only if the mth tensor power of the augmentation ideal of ZA is finitely generated over Am ⋊ Q, where Q acts diagonally on both Am and the tensor power. It is proved that quotients of metabelian groups of type FP3 are again of type FP3, and a necessary condition is found for a split extension of abelian-by-(nilpotent of class two) groups to be of type FP2. A conjecture is formulated that generalises the FPm-Conjecture for metabelian groups, and it is shown that one of the implications holds in the prime characteristic case.

The study of homology groups ${\mathfrak {B}_n}(\Pi ,A),\mathfrak {B}$ a variety, $\Pi$ a group in $\mathfrak {B}$, and $A$ a suitable $\Pi$-module, is continued. A ’Tor’ is constructed which gives a better (but imperfect) approximation to these groups than a Tor previously considered. ${\mathfrak {B}_2}(\Pi ,Z)$ is calculated for various varieties $\mathfrak {B}$ and groups $\Pi$.