Extending Goursat's Lemma we investigate the structure of subdirect products of 3-factor direct products. We give several example constructions and then provide a structure theorem showing that every such group is essentially obtained by a combination of the constructions. The central observation in this structure theorem is that the dependencies among the group elements in the subdirect product that involve all three factors are of Abelian nature. In the spirit of Goursat's Lemma, for two special cases, we derive correspondence theorems between data obtained from the subgroup lattices of the three factors (as well as isomorphism between arising factor groups) and the subdirect products. Using our results we derive an explicit formula to count the number of subdirect products of the direct product of three symmetric groups.
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.
It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the maximum condition for subgroups.
We solve an open problem of Herfort and Ribes: Profinite Frobenius groups of certain type do occur as closed subgroups of free profinite products of two profinite groups. This also solves a question of Pop about prosolvable subgroups of free profinite products.
This paper is devoted to the investigation of the property of order separability for HNN extensions and free products with commutative subgroups. Particularly it was proven that HNN extension of a free group with maximal connected cyclic subgroups is 2-order separable.
A conjecture of Dicks and the author on rank of the intersection of factor-free subgroups in free products of groups is proved for the case of left ordered groups.
We provide elementary proofs of the Nielsen-Schreier Theorem and the Kurosh Subgroup Theorem via wreath products. Our proofs are diagrammatic in nature and work simultaneously in the abstract and profinite categories. A new proof that open subgroups of quasifree profinite groups are quasifree is also given.
We give an explicit characterization of which direct products $G$ of surface groups of Euclidean type satisfy that the fixed subgroup of any automorphism (or endomorphism) of $G$ is compressed, and of which is it always inert.
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.
We study the effects of subgroup distortion in the wreath products A wr Z, where A is finitely generated abelian. We show that every finitely generated subgroup of A wr Z has distortion function equivalent to some polynomial. Moreover, for A infinite, and for any polynomial l^k, there is a 2-generated subgroup of A wr Z having distortion function equivalent to the given polynomial. Also a formula for the length of elements in arbitrary wreath product H wr G easily shows that the group Z_2 wr Z^2 has distorted subgroups, while the lamplighter group Z_2 wr Z has no distorted (finitely generated)…
An explicit and elementary proof is given to the fact that Suzuki and Ree groups can be decomposed into the product of 4 of their Sylow p-subgroups, where p is the defining characterictic.
We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous question in the pro-$p$ case. For a wide class of groups we show that the relevant cyclic subgroups - which are called $p$-isolated - are closed in the pro-$p$ topology of the graph product. In particular, we show that every $p$-isolated cyclic subgroup of a right-angled Artin group is closed in the pro-$p$ topology, and we fully characterise such subgroups.
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 show that the product of two partial normal subgroups of a locality (in the sense of Chermak) is again a partial normal subgroup. This generalizes a theorem of Chermak and fits into the context of building a local theory of localities.
Let G be the free product of groups A and B with commuting subgroups H \leqslant A and K \leqslant B, and let C be the class of all finite groups or the class of all finite p-groups. We derive the description of all C-separable cyclic subgroups of G provided this group is residually a C-group. We prove, in particular, that if A, B are finitely generated nilpotent groups and H, K are p'-isolated in the free factors, then all p'-isolated cyclic subgroups of G are separable in the class of all finite p-groups. The same statement is true provided A, B are free and H, K are p'-isolated and cyclic.
We show that the class of amalgamated free products of two free groups over a cyclic subgroup admits amenable, faithful and transitive actions on infinite countable sets. This work generalizes the results on such actions for doubles of free group on 2 generators.
In this paper we compute the subgroup zeta functions of nilpotent semi-direct products of groups of the form $$G_n=<x_1,...,x_n,y_1,...,y_{n-1}|[x_i,x_n]=y_i, 1\leq i\leq n-1, \text{all other $[,]$ trivial}>$$ and deduce local functional equations.
We prove that a uniform pro-p group with no nonabelian free subgroups has a normal series with torsion-free abelian factors. We discuss this in relation to unique product groups. We also consider generalizations of Hantzsche-Wendt groups.
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
In this paper, we describe the automorphism group of semidirect product of two groups that fixes the non-normal subgroup of it. We have computed these automorphisms for the non-abelian metacyclic $p$-group and non-abelian $p$-groups $(p\ge 5)$ of order $p^{4}$, where $p$ is a prime.
Let $G$ be a free product of two groups with amalgamated subgroup, $π$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $Σ$ the family of all cyclic subgroups of group $G$, which are separable in the class of all finite $π$-groups. Obviously, cyclic subgroups of the free factors, which aren't separable in these factors by the family of all normal subgroups of finite $π$-index of group $G$, the subgroups conjugated with them and all subgroups, which aren't $π^{\prime}$-isolated, don't belong to $Σ$. Some sufficient conditions are obtaine…
We determine all maximal subgroups of the direct product $\sc G^n$ of $\sc n$ copies of a group~$\sc G$. If $\sc G$ is finite, we show that the number of maximal subgroups of~$\sc G^n$ is a quadratic function of~$\sc n$ if $\sc G$ is perfect, but grows exponentially otherwise. We~deduce a theorem of Wiegold about the growth behaviour of the number of generators of~$\sc G^n$.
Let $G$ be a group. We give an explicit description of the set of elements $x \in G$ such that $x^{|G:H|} \in H$ for every subgroup of finite index $H \leqslant G$. This is related to the following problem: given two subgroups $H$ and $K$, with $H$ of finite index, when does $|HK:H|$ divide $|G:H|$?
Free products of two residually finite groups with amalgamated retracts are considered. It is proved that a cyclic subgroup of such a group is not finitely separable if, and only if, it is conjugated with a subgroup of a free factor which is not finitely separable in this factor. A similar result is obtained for the case of separability in the class of finite p-groups.
Let $G=\ast_{i=1}^{n}G_{i}$ and let $ϕ$ be a symmetric endomorphism of $G$. If $ϕ$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(ϕ)=\{g\in G:ϕ(g)=g\}$ of $ϕ$ has Kurosh rank at most $n$.
Stallings folding theory is modified, using double coset representatives, and to applied to the study of subgroups of amalgamated products of finite rank free groups. As a first application the subgroup membership problem for such groups is shown to be decidable. An algorithm for this problem is constructed and its complexity is analysed. Groups in this class are also shown to possess the Howson property.
We study invariant random subgroups (IRSs) of semidirect products $G = A \rtimes Γ$. In particular, we characterize all IRSs of parabolic subgroups of $\mathrm{SL}_d(\mathbb{R})$, and show that all ergodic IRSs of $\mathbb{R}^d \rtimes \mathrm{SL}_d(\mathbb{R})$ are either of the form $\mathbb{R}^d \rtimes K$ for some IRS of $\mathrm{SL}_d(\mathbb{R})$, or are induced from IRSs of $Λ\rtimes \mathrm{SL}(Λ)$, where $Λ< \mathbb{R}^d$ is a lattice.
It is proved that every group of the form $G=AB$ with two subgroups $A$ and $B$ each of which is either abelian or has a quasicyclic subgroup of index $2$ is soluble of derived length at most $3$. In particular, if $A$ is abelian and $B$ is a locally quaternion group, this gives a positive answer to Question 18.95 of "Kourovka notebook" posed by A.I.Sozutov.
The size of minimal generating set for commutator of Sylow 2-subgroup of alternating group was found. Given a permutational wreath product of finite cyclic groups sequence we prove that the commutator width of such groups is 1 and we research some properties of its commutator subgroup. It was shown that $(Syl_2 A_{2^k})^2 = Syl'_2 (A_{2^k}), \, k>2$. A new approach to presentation of Sylow 2-subgroups of alternating group ${A_{2^{k}}}$ was applied. As a result the short proof that the commutator width of Sylow 2-subgroups of alternating group ${A_{2^{k}}}$, permutation group ${S_{2^{k}}}$ and …
For a non-cyclic finite group $X$ let $σ(X)$ be the least number of proper subgroups of $X$ whose union is $X$. Precise formulas or estimates are given for $σ(S \wr C_{m})$ for certain nonabelian finite simple groups $S$ where $C_m$ is a cyclic group of order $m$.
Let $G_1 \times G_2$ be a subgroup of $\mathrm{SO}_3(\mathbb{R})$ such that the two factors $G_1$ and $G_2$ are non-trivial groups. We show that if $G_1 \times G_2$ is not abelian, then one factor is the (abelian) group of order 2, and the other factor is non-abelian and contains an element of order 2. There exist finite and infinite such non-abelian subgroups.
We prove that the reduced Kurosh rank of the intersection of two subgroups $H$ and $K$ of a free product of right-orderable groups is bounded above by the product of the reduced Kurosh ranks of $H$ and $K$. In particular, taking the fundamental group of a graph of groups with trivial vertex and edge groups, and its Bass-Serre tree, our Theorem becomes the desired inequality of the usual Strengthened Hanna Neumann conjecture for free groups.
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 result of Bridson, Howie, Miller and Short states that if $S$ is a subgroup of type $FP_{n}(\mathbb{Q})$ of the direct product of $n$ limit groups over free groups, then $S$ is virtually the direct product of limit groups over free groups. Furthermore, they characterise finitely presented residually free groups. In this paper these results are generalised to limit groups over Droms right-angled Artin groups. Droms RAAGs are the right-angled Artin groups with the property that all of their finitely generated subgroups are again RAAGs. In addition, we show that the generalised conjugacy proble…
The object of this paper is to find a necessary and sufficient condition for the groups $G_1, G_2, ..., G_n$ so that every normal subgroup of the product $\prod_{i=1}^{n} G_i$ is of the type $\prod_{i=1}^{n} N_i$ with $N_i \trianglelefteq G_i$, $i=1,2, ..., n$. As a consequence we obtain a well-known result due to R. Remak about centreless completely reducible groups having finitely many direct factors.
An interesting question about quasiconvexity in a hyperbolic group concerns finding classes of quasiconvex subsets that are closed under finite intersections. A known example is the class of all quasiconvex subgroups. However, not much is yet learned about the structure of arbitrary quasiconvex subsets. In this work we study the properties of products of quasiconvex subgroups; we show that such sets are quasiconvex, their finite intersections have a similar algebraic representation and, thus, are quasiconvex too.
Let $H$ be a subgroup of a group $G$. A normal subgroup $N_H$ of $H$ is said to be inheritably normal if there is a normal subgroup $N_G$ of $G$ such that $N_H=N_G\cap H$. It is proved in the paper that a subgroup $N_{G_i}$ of a factor $G_i$ of the $n$-periodic product $\prod_{i\in I}^nG_i$ with nontrivial factors $G_i$ is an inheritably normal subgroup if and only if $N_{G_i}$ contains the subgroup $G_i^n$. It is also proved that for odd $n\ge 665$ every nontrivial normal subgroup in a given $n$-periodic product $G=\prod_{i\in I}^nG_i$ contains the subgroup $G^n$. It follows that almost all $…
This note contains a (short) proof of the following generalisation of the Friedman--Mineyev theorem (earlier known as the Hanna Neumann conjecture): if $A$ and $B$ are nontrivial free subgroups of a virtually free group containing a free subgroup of index $n$, then $rank(A\cap B)-1\leqslant n\cdot(rank(A)-1)\cdot(rank(B)-1)$. In addition, we obtain a virtually-free-product analogue of this result.
Let G be a finitely generated infinite pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. Then we prove that G splits as a pro-p amalgamated product or as a pro-p HNN-extension over an edge stabilizer. Using this result we prove under certain conditions that free pro-p products with procyclic amalgamation inherit from its free factors the property of each 2-generated subgroup being free pro-p. This generalizes known pro-p results, as well as some pro-p analogs of classical results in abstract combinatorial group theory.
A classical result of Baer states that a finite group $ G $ which is the product of two normal supersoluble subgroups is supersoluble if and only if $ G' $ is nilpotent. In this article we show that if $ G=AB $ is the product of supersoluble (respectively, $ w $-supersoluble) subgroups $ A $ and $ B $, $ A $ is normal in $ G $, $ B $ permutes with every maximal subgroup of each Sylow subgroup of $ A $, then $ G $ is supersoluble (respectively, $ w $-supersoluble) provided that $ G' $ is nilpotent. We also investigate products of subgroups defined above when $ A\cap B=1 $ and obtain more genera…
A permutation group is innately transitive if it has a transitive minimal normal subgroup, which is referred to as a plinth. We study the class of finite, innately transitive permutation groups that can be embedded into wreath products in product action. This investigation is carried out by observing that such a wreath product preserves a natural Cartesian decomposition of the underlying set. Previously we classified the possible embeddings in the case where the plinth is simple. Here we extend that classification and identify several different types of Cartesian decompositions that can be pre…
We discuss various types of Tits Alternative for subgroups of graph products of groups, and prove that, under some natural conditions, a graph product of groups satisfies a given form of Tits Alternative if and only if each vertex group satisfies this alternative. As a corollary, we show that every finitely generated subgroup of a graph product of virtually solvable groups is either virtually solvable or large. As another corollary, we prove that every non-abelian subgroup of a right angled Artin group has an epimorphism onto the free group of rank 2. In the course of the paper we develop the …
A subgroup $H$ of a group $G$ is said to be {\it pronormal} in $G$ if $H$ and $H^g$ are conjugate in $\langle H, H^g \rangle$ for each $g \in G$. Some problems in Finite Group Theory, Combinatorics, and Permutation Group Theory were solved in terms of pronormality, therefore, the question of pronormality of a given subgroup in a given group is of interest. Subgroups of odd index in finite groups satisfy a native necessary condition of pronormality. In this paper we continue investigations on pronormality of subgroups of odd index and consider the pronormality question for subgroups of odd inde…
For a sequence $\{U_n\}_{n = 1}^\infty$ of finite index subgroups of a direct product $G = A \times B$ of finitely generated groups, we show that $$\lim_{n \to \infty} \frac{\min\{|X| : \langle X \rangle = U_n\}}{[G : U_n]} = 0$$ once $[A : A \cap U_n], [B : B \cap U_n] \to \infty$ as $n \to \infty$. Our proof relies on the classification of finite simple groups. For $A,B$ that are finitely presented we show that $$ \lim_{n \to \infty} \frac{\log |\mathrm{Torsion}(U_n^{\mathrm{ab}})|}{[G : U_n]} = 0. $$
We show that the outer automorphism groups of graph products of finitely generated abelian groups satisfy the Tits alternative, are residually finite, their so-called Torelli subgroups are finitely generated, and they satisfy a dichotomy between being virtually nilpotent and containing a non-abelian free subgroup that is determined by a graphical condition on the underlying labelled graph. Graph products of finitely generated abelian groups simultaneously generalize right-angled Artin groups (RAAGs) and right-angled Coxter groups (RACGs), providing a common framework for studying these groups.…
This paper investigate bounds of the commutator width \cite {Mur} of a wreath product of two groups. The commutator width of direct limit of wreath product of cyclic groups are found. For given a permutational wreath product sequence of cyclic groups we investigate its commutator width and some properties of its commutator subgroup. It was proven that the commutator width of an arbitrary element of the wreath product of cyclic groups $C_{p_i}, \, p_i\in \mathbb{N} $ equals to 1. As a corollary, it is shown that the commutator width of Sylows $p$-subgroups of symmetric and alternating groups $p…
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 …
