Let G be a finite p-group, where p is a prime number, and $χ$ and $ψ$ be faithful complex irreducible characters of G. We study the relation between the number $η(χ,ψ)$ of distinct irreducible constituents of the product $χψ$ and p.
We use Bieri-Strebel invariants to determine when a normal fibre product in the product of two finitely presented groups is finitely presented. We give conditions that imply and in some cases characterize the existence of such finitely presented fibre products.
There has been substantial investigation in recent years of subdirect products of limit groups and their finite presentability and homological finiteness properties. To contrast the results obtained for limit groups, Baumslag, Bridson, Holt and Miller investigated subdirect products (fibre products) of finitely presented metabelian groups. They showed that, in contrast to the case for limit groups, such subdirect products could have diverse behaviour with respect to finite presentability. We show that, in a sense that can be made precise, `most' subdirect products of a finite set of finitely p…
The purpose of this paper is two fold. First we introduce the box-tensor product of two groups as a generalization of the nonabelian tensor product of groups. We extend various results for nonabelian tensor products to the box-tensor product such as the finiteness of the product when each factor is finite. This would give yet another proof of Ellis's theorem on the finiteness of the nonabelian tensor product of groups when each factor is finite. Secondly, using the methods developed in proving the finiteness of the box-tensor product, we prove the finiteness of Inassaridze's tensor product und…
Let $\mathcal{S}$ be a sequence of finite perfect transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated wreath product in product action of the groups in $\mathcal{S}$ is topologically finitely generated, provided that the actions of the groups in $\mathcal{S}$ are not regular. We prove that our bound has the right asymptotic behaviour. We also deduce that other infinitely iterated mixed wreath products of groups in $\mathcal{S}$ are finitely generated. Finally we apply our methods to find explicitly two generators of infinitely iterat…
A notion of \emph{graph-wreath product} is introduced. We obtain sufficient conditions for these products to satisfy the topologically inspired finiteness condition type $\operatorname{F}_n$. Under various additional assumptions we show that these conditions are necessary. Our results generalise results of Cornulier about wreath products in case $n=2$. Graph-wreath products include classical permutational wreath products and semidirect products of right-angled Artin groups by groups of automorphisms amongst others.
Given nontrivial finite groups $A$ and $B$, not both of order 2, we prove that every finite simple group of sufficiently large rank is an image of the free product $A \ast B$. To show this, we prove that every finite simple group of sufficiently large rank is generated by a pair of subgroups isomorphic to $A$ and $B$. This proves a conjecture of Tamburini and Wilson.
We investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented subdirect product of free and surface groups virtually contains a term of the lower central series of the direct product or else fails to intersect one of the direct summands. This leads to a characterization of the finitely presented subgroups of the direct product of 3 free or surface groups, and to a solution to the conjugacy problem for arbitrary finite…
In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.
We propose a general conjecture on decompositions of finite simple groups as products of conjugates of an arbitrary subset. We prove this conjecture for bounded subsets of arbitrary finite simple groups, and for large subsets of groups of Lie type of bounded rank. Some of our arguments apply recent advances in the theory of growth in finite simple groups of Lie type, and provide a variety of new product decompositions of these groups.
We determine all the ways in which a direct product of two finite groups can be expressed as the set-theoretical union of proper subgroups in a family of minimal cardinality.
Let $G$ be a finite $p$-group and $χ,ψ$ be irreducible characters of $G$. We study the character $χψ$ when $χψ$ has at most $p-1$ distinct irreducible constituents.
We provide lower estimates on the minimal number of generators of the profinite completion of free products of finite groups. In particular, we show that if C_1,...,C_n are finite cyclic groups then there exists a finite group G which is generated by isomorphic copies of C_1,...,C_n and the minimal number of generators of G is n.
All possible products of all elements of an odd order finite group are considered. A set of all such products is called as a K-set. A hypothesis of K-set coincidence of any group of an odd order with its commutant is proposed and the hypothesis validity for groups with a commutant of a simple structure is shown.
We partly generalize the estimate for the rank of intersection of subgroups in free products of groups, proved earlier by S.V.Ivanov and W.Dicks, to the case of free amalgamated products of groups with normal finite amalgamated subgroup. We also prove that the obtained estimate is sharp and cannot be further improved when the amalgamated product contains an involution.
We prove that the class of nilpotent by finite, solvable by finite, polycyclic by finite, nilpotent of nilpotency class $n$ and supersolvable groups are closed under the formation of the non-abelian tensor product. We provide necessary and sufficient conditions for the non-abelian tensor product of finitely generated groups to be finitely generated. We prove that central extensions of most finite simple groups have trivial Bogomolov multiplier.
We classify those sequences $\langle S_{n} \mid n \in \mathbb{N} \rangle$ of finite simple nonabelian groups such that the full product $\prod_{n} S_{n}$ has property (FA).
We say that a finitely generated group $G$ has property (QT) if it acts isometrically on a finite product of quasi-trees so that orbit maps are quasi-isometric embeddings. A quasi-tree is a connected graph with path metric quasi-isometric to a tree, and product spaces are equipped with the $\ell^1$-metric. As an application of the projection complex techniques, we prove that residually finite hyperbolic groups and mapping class groups have (QT).
Following partially a suggestion by Pyber, we prove that the diameter of a product of non-abelian finite simple groups is bounded linearly by the maximum diameter of its factors. For completeness, we include the case of abelian factors and give explicit constants in all bounds.
We classify all finite groups G such that the product of any two non-inverse conjugacy classes of G is always a conjugacy class of G. We also classify all finite groups G for which the product of any two G-conjugacy classes which are not inverse modulo the center of G is again a conjugacy class of G.
We present a method for computing the table of marks of a direct product of finite groups. In contrast to the character table of a direct product of two finite groups, its table of marks is not simply the Kronecker product of the tables of marks of the two groups. Based on a decomposition of the inclusion order on the subgroup lattice of a direct product as a relation product of three smaller partial orders, we describe the table of marks of the direct product essentially as a matrix product of three class incidence matrices. Each of these matrices is in turn described as a sparse block diagon…
We show that the wreath product $G \wr \mathbb{Z}^n$ of any finitely generated group $G$ with $\mathbb{Z}^n$ has finite palindromic width. We also show that $C \wr A$ has finite palindromic width if $C$ has finite commutator width and $A$ is a finitely generated infinite abelian group. Further we prove that if $H$ is a non-abelian group with finite palindromic width and $G$ any finitely generated group, then every element of the subgroup $G' \wr H$ can be expressed as a product of uniformly boundedly many palindromes. From this we obtain that $P \wr H$ has finite palindromic width if $P$ is a …
In the context of group-theoretic fast matrix multiplication the TPP capacity is used to bound the exponent $ω$ of matrix multiplication. We prove a new and sharper upper bound for the TPP subgroup capacity of a finite group
We examine the question of which finitely generated groups act properly on a finite product of simplicial trees, considering both arbitrary trees and where all trees are locally finite. In the second case we present evidence in favour of hyperbolic surface groups having such an action. However we also present evidence that many RAAGs do not admit such an action and we give an example of a virtually special group which does not act properly preserving factors on any finite product of locally finite trees, even though it does so on a product of three trees without the local finiteness condition.
It is shown that a finitely generated pro-p group G which is a virtually free pro-p product splits either as a free pro-p product with amalgamation or as a pro-p HNN-extension over a finite p-group. More precisely, G is the pro-p fundamental group of a finite graph of finitely generated pro-p groups with finite edge groups. This generalizes previous results of W. Herfort and the second author (cf. [2]).
We construct torsion-free hyperbolic groups without unique product whose subgroups up to some given finite index are themselves non-unique product groups. This is achieved by generalising a construction of Comerford to graphical small cancellation presentations, showing that for every subgroup $H$ of a graphical small cancellation group there exists a free group $F$ such that $H*F$ admits a graphical small cancellation presentation.
We characterize which permutational wreath products W^(X)\rtimes G are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X^2. On the one hand, this extends a result of G. Baumslag about standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characte…
Wreath products such as Z wr Z are not finitely-presentable yet can occur as subgroups of finitely presented groups. Here we compute the distortion of Z wr Z as a subgroup of Thompson's group F and as a subgroup of Baumslag's metabelian group G. We find that Z wr Z is undistorted in F but is at least exponentially distorted in G.
Let p be a prime number. Let G be a finite p-group and $χ\in Irr(G)$. Denote by $\barχ \in Irr(G)$ the complex conjugate of $χ$. Assume that $χ(1)=p^n$. We show that the number of distinct irreducible constituents of the product $χ\barχ$ is at least $2n(p-1)+1$.
Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$, let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically) finitely generated if and only if $\prod_{i=1}^{\infty} (G_i/G_i')$ is finitely generated and the growth of the minimal number of generators of $G_i$ is bounded by $ d...n_1...n_{i-1}$ for a constant $d$. Moreover we give a criterion to decide whether $W_\infty$ is positively finitely generated.
Given a finite group $G$, we denote by $ψ\,'(G)$ the product of element orders of $G$. Our main result proves that the restriction of $ψ\,'$ to abelian $p$-groups of order $p^n$ is strictly increasing with respect to a natural order on the groups relating to the lexicographic order of the partitions of $n$. In particular, we infer that two finite abelian groups of the same order are isomorphic if and only if they have the same product of element orders.
Let $(G_n,X_n)$ be a sequence of finite transitive permutation groups with uniformly bounded number of generators. We prove that the infinitely iterated permutational wreath product $...\wr G_2\wr G_1$ is topologically finitely generated if and only if the profinite abelian group $\prod_{n\geq 1} G_n/G'_n$ is topologically finitely generated. As a corollary, for a finite transitive group $G$ the minimal number of generators of the wreath power $G\wr...\wr G\wr G$ ($n$ times) is bounded if $G$ is perfect, and grows linearly if $G$ is non-perfect. As a by-product we construct a finitely generate…
We analyse the subgroup structure of direct products of groups. Earlier work on this topic has revealed that higher finiteness properties play a crucial role in determining which groups appear as subgroups of direct products of free groups or limit groups. Here, we seek to relate the finiteness properties of a subgroup to the way it is embedded in the ambient product. To this end we formulate a conjecture on finiteness properties of fibre products of groups. We present different approaches to this conjecture, proving a general result on finite generation of homology groups of fibre products an…
We study properties of automorphisms of graph products of groups. We show that graph product $Γ\mathcal{G}$ has non-trivial pointwise inner automorphisms if and only if some vertex group corresponding to a central vertex has non-trivial pointwise inner automorphisms. We use this result to study residual finiteness of $\mathop{Out}(Γ\mathcal{G})$. We show that if all vertex groups are finitely generated residually finite and the vertex groups corresponding to central vertices satisfy certain technical (yet natural) condition, then $\mathop{Out}(Γ\mathcal{G})$ is residually finite. Finally, we g…
Let $G$ be a finite group of order $n$, and denote by $ρ(G)$ the product of element orders of $G$. The aim of this work is to provide some upper bounds for $ρ(G)$ depending only on $n$ and on its least prime divisor, when $G$ belongs to some classes of non-cyclic groups.
We present a general criterion under which the equality var(A Wr B) = var(A) var(B) holds for finite groups A and B. This continues our previous research on varieties, generated by wreath products of abelian groups, and generalizes some existing results in this direction in literature. The classification is based on criterion of A.L. Shmel'kin for product varieties of groups and on technics developed by R. Burns et al. on critical groups in nilpotent-by-abelian varieties.
For a non-empty class of groups $\cal L$, a finite group $G = AB$ is said to be an $\cal L$-connected product of the subgroups $A$ and $B$ if $\langle a, b\rangle \in \cal L$ for all $a \in A$ and $b \in B$. In a previous paper, we prove that for such a product, when $\cal L = \cal S$ is the class of finite soluble groups, then $[A,B]$ is soluble. This generalizes the theorem of Thompson which states the solubility of finite groups whose two-generated subgroups are soluble. In the present paper our result is applied to extend to finite groups previous research in the soluble universe. In parti…
A classical result of Schreier states that nontrivial finitely generated normal subgroups of free groups are of finite index, that is, free groups can only quotient to finite groups with finitely generated kernel. In this note we extend this result to the class of right-angled Artin groups (RAAGs). More precisely, we prove that the quotient of a RAAG by a finitely generated (full) normal subgroup is abelian-by-finite and finite-by-abelian. As Schreier's result extends to nontrivial free products of groups, we further show that our result extends to graph products of groups. As a corollary, we …
By using finiteness related result of non-abelian tensor product we prove finiteness conditions for the homotopy groups $π_n(X)$ in terms of the number of tensors. In particular, we establish a quantitative version of the classical Blakers-Massey triad connectivity theorem. Moreover, we study others finiteness conditions and equivalence properties that arise from the non-abelian tensor square. In the end, we give applications to homotopy pushout, especially in the case of Eilenberg-MacLane spaces.
We consider necessary and sufficient conditions for finite generation and finite presentability for fiber products of free semigroups and free monoids. We give a necessary and sufficient condition on finite fiber quotients for a fiber product of two free monoids to be finitely generated, and show that all such fiber products are also finitely presented. By way of contrast, we show that fiber products of free semigroups over finite fiber quotients are never finitely generated. We then consider fiber products of free semigroups over infinite semigroups, and show that for such a fiber product to …
We investigate one question regarding bicrossed products of finite groups which we believe has the potential of being approachable for other classes of algebraic objects (algebras, Hopf algebras). The problem is to classify the groups that can be written as bicrossed products between groups of fixed isomorphism types. The groups obtained as bicrossed products of two finite cyclic groups, one being of prime order, are described.
Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free product of $\Z$ with a $\Z^n$ for each $n$ occurring in $S'$.
We prove existence of the large deviation principle, with a proper convex rate function, for the distribution of the renormalized distance from the origin of a random walk on a free product of finitely generated groups. As a consequence, we derive the same principle for nearest-neighbour random walks on regular trees.
Let R be a class of groups closed under taking semidirect products with finite kernel and fully residually R-groups. We prove that R contains all R-by-{finitely generated residually finite} groups. It follows that a semidirect product of a finitely generated residually finite group with a surjunctive group is surjunctive. This remained unknown even for direct products of a surjunctive group with the integers Z.
This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin-Razborov diagram over free products with a finitely presented group. This MR diagram encodes all the quotien…
We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it is related to the embedding into a right-angled Coxeter group described by Davis and Januszkiewicz. We compare the approaches and also adapt the argument that the action extends to finite index supergroup that is a graph product of finite groups.
We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily equivalent if and only if they are isomorphic.
In this paper we show that most rank two groups act freely on a finite homotopy product of two spheres. This makes new progress on a conjecture by Benson and Carlson which states that a finite group G acts freely on a finite complex with the homotopy type of n spheres if the rank of G is less than or equal to n. Recalling that Qd(p) is the semidirect product of a rank two elementary abelian p-group with SL(2,p), we show that a rank two finite group acts freely on a finite CW-complex homotopic to the product of two spheres if, it does not contain any subquotient isomorphic to Qd(p) for any odd …