We show that countable direct limits of finite-dimensional Lie groups do not have small subgroups. The same conclusion is obtained for suitable direct limits of infinite-dimensional Lie groups.
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.
In this paper, we discuss about finite groups in which, CGH = NGH, for every abelian subgroup H of non prime power order. Also, we classify all such nilpotent and minimal non nilpotent groups.
We consider abelain subgroups of small index in finite groups. More generally, we consider subgroups such that the product of their index by the index of their centralizer is small.
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.
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.
Let $G$ be a finite group and $M(G)$ be the subgroup of $G$ generated by all non-central elements of $G$ that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of $M(G)$ and $F(M(G))$, where $F(M(G))$ denotes the Fitting subgroup of $M(G)$. We prove some conditional results regarding the nilpotency class of $M(G)$.
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 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$.
We prove that a group homomorphism $φ\colon L\to G$ from a locally compact Hausdorff group $L$ into a discrete group $G$ either is continuous, or there exists a normal open subgroup $N\subseteq L$ such that $φ(N)$ is a torsion group provided that $G$ does not include $\mathbb{Q}$ or the $p$-adic integers $\mathbb{Z}_p$ or the Prüfer $p$-group $\mathbb{Z}(p^\infty)$ for any prime $p$ as a subgroup, and if the torsion subgroups of $G$ are small in the sense that any torsion subgroup of $G$ is artinian. In particular, if $φ$ is surjective and $G$ additionaly does not have non-trivial normal torsi…
We provide lower bounds on the number of subgroups of a group $G$ as a function of the primes and exponents appearing in the prime factorization of $|G|$. Using these bounds, we classify all abelian groups with 22 or fewer subgroups, and all non-abelian groups with 19 or fewer subgroups. This allows us to extend the integer sequence A274847 \cite{OEIS} introduced by Slattery in \cite{Slattery}.
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.
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…
Given an Artin group $A_Γ$, a common strategy in the study of $A_Γ$ is the reduction to parabolic subgroups whose defining graphs have small diameter, i.e. showing that $A_Γ$ has a specific property if and only if all "small" parabolic subgroups of $A_Γ$ have this property. Since "small" parabolic subgroups are the puzzle pieces of $A_Γ$ one needs to study their behavior, in particular their intersections. The conjecture we address here says that the class of parabolic subgroups of $A_Γ$ is closed under intersection. Under the assumption that intersections of parabolic subgroups in complete Ar…
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…
We prove in this paper that a finite almost simple group $R$ with socle the non-abelian simple group $S$ possesses a conjugacy class of core-free maximal subgroups whose index coincides with the smallest index $\operatorname{l}(S)$ of a maximal group of $S$ or a conjugacy class of core-free maximal subgroups with a fixed index $v_S \leq {\operatorname{l}(S)^2}$, depending only on $S$. We show that the number of subgroups of the outer automorphism group of $S$ is bounded by $\log^3 {\operatorname{l}(S)}$ and $\operatorname{l}(S)^2 < |S|$.
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 prove a formula connecting the number of unipotent conjugacy classes in a maximal parabolic subgroup of a finite general linear group with the numbers of unipotent conjugacy classes in various parabolic subgroups in smaller dimensions. We generalise this formula and deduce a number of corollaries; in particular, we express the number of conjugacy classes of unitriangular matrices over a finite field in terms of the numbers of unipotent conjugacy classes in maximal parabolic subgroups over the same field. We show how the numbers of unipotent conjugacy classes in parabolic subgroups of small …
A multi-edge spinal group is a subgroup of the automorphism group of a regular p-adic rooted tree, generated by one rooted automorphism and a finite number of directed automorphisms sharing a common directing path. We prove that torsion multi-edge spinal groups do not have maximal subgroups of infinite index. This generalizes a result of Pervova for GGS-groups.
We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the profinite completion of $G$. We explain why $A$ need not be a direct factor of a subgroup of finite index in $G$; indeed $G$ need not have a subgroup of finite index that splits as a non-trivial direct product. We prove that there is no algorithm that can determine whether $A$ is a direct factor of a subgroup of finite index in $G$.
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 …
We prove that the handlebody subgroup of the Torelli group of an orientable surface is generated by genus one BP-maps. As an application, we give a normal generating set for the handlebody subgroup of the level $d$ mapping class group of an orientable surface.
We prove that the smallest non-trivial quotients of the commutator subgroups of the braid groups are the alternating groups, proving a conjecture of Chudnovsky-Kordek-Li-Partin. Furthermore, we show that any minimal quotient map is the standard projection, composed with an automorphism of the alternating group.
If S is a subgroup of a direct product of two limit groups, and S is of type FP(2) over the rationals, then S has a subgroup of finite index that is a direct product of at most two limit groups.
We give a small generating set for the twist subgroup of the mapping class group of a non-orientable surface by Dehn twists. The difference between the number of the generators and a lower bound of numbers of generators for the twist subgroup by Dehn twists is one. The lower bounds is obtained from an argument of Hirose [5].
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellat…
We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the {\em binary subgroups}, $B(Σ,μ)<G_1\times\dots\times G_m$. These full subdirect products require strikingly few generators. If each $G_i$ is finitely presented, $B(Σ,μ)$ is finitely presented. When the $G_i$ are non-abelian limit groups (e.g. free or surface groups), the $B(Σ,μ)$ provide new examples of finitely presented, residually-free groups that do not have finite classifying spaces and are not of Stallings-Bieri type. These examples settle a question of Mina…
The classic Mckay correspondence gives a connection between finite subgroups of $\operatorname{SU}(2)$ and the simply-laced Dynkin diagrams. In this article, a direct proof is presented. The bipartite structure of the Mckay diagrams is introduced. After that, the similar method can be used on finite subgroups of $\operatorname{SO}(4)$, we get a edges-coloured graph. We finally get some applications.
We examine distortion of finitely generated normal subgroups. We show a connection between subgroup distortion and group divergence. We suggest a method computing the distortion of normal subgroups by decomposing the whole group into smaller subgroups. We apply our work to compute the distortion of normal subgroups of graph of groups and normal subgroups of right-angled Artin groups that induce infinite cyclic quotient groups. We construct normal subgroups of $\CAT(0)$ groups introduced by Macura and introduce a collection of normal subgroups of right-angled Artin groups. These groups provide …
We define several "standard" subgroups of the automorphism group Aut(G) of a partially commutative (right-angled Artin) group and use these standard subgroups to describe decompositions of Aut(G). If C is the commutation graph of G, we show how Aut(G) decomposes in terms of the connected components of C: obtaining a particularly clear decomposition theorem in the special case where C has no isolated vertices. If C has no vertices of a type we call dominated then we give a semi-direct decompostion of Aut(G) into a subgroup of locally conjugating automorphisms by the subgroup stabilising a certa…
We prove that the Herzog-Schönheim Conjecture holds for any group $G$ of order smaller than $1440$. In other words we show that in any non-trivial coset partition $\{g_i U_i\}_{i=1}^n $ of $G$ there exist distinct $1 \leq i, j \leq n$ such that $[G:U_i]=[G:U_j]$. We also study interaction between the indices of subgroups having cosets with pairwise trivial intersection and harmonic integers. We prove that if $U_1$,...,$U_n$ are subgroups of $G$ which have pairwise trivially intersecting cosets and $n \leq 4$ then $[G:U_1]$,...,$[G:U_n]$ are harmonic integers.
Using small cancellation methods, we show that the property invariable generation does not pass to finite index subgroups, answering questions of Wiegold and Kantor-Lubotzky-Shalev. We further show that a finitely generated group that is invariably generated is not necessarily finitely invariably generated, answering a question of Cox. The same results were also obtained independently by Minasyan.
If $G_1,...,G_n$ are limit groups and $S\subset G_1\times...\times G_n$ is of type $\FP_n(\mathbb Q)$ then $S$ contains a subgroup of finite index that is itself a direct product of at most $n$ limit groups. This settles a question of Sela.
In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$. We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$. We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$. We show if $\langle G^- \rangle < G$, then $G/\langle G^- \rangle$ is either (1) an elementary abelian $p$-group for some prime $p$, (2) a Frobenius group whose Frobenius kernel is a $p$-group of exponent $p$ and a Frobenius complement has order $q$ for distinct primes $p$ and $q$, or (3) isomo…
We obtain a characterization of totally disconnected, locally compact groups $G$ with the following property: given a locally normal subgroup $K$ of $G$, then there is an open subgroup of $K$ that is a direct factor of an open subgroup of $G$. This property is motivated by J. Wilson's structure theory of just infinite groups, and indeed, when $G$ has trivial quasi-centre, the condition turns out to be equivalent to the condition that $G$ is locally isomorphic to a finite direct product of just infinite profinite groups. In the latter situation we obtain some global structural features of $G$, …
We classify (*)-subgroups of compact Lie groups of adjoint type, and associate a twisted root system to every (*)-subgroup. We study the structure of twisted root system in several aspects: properties of the small Weyl group W_{small} and its normal subgroups W_{tiny} and W_{f}; properties of finite root datum; structure of strips of infinite roots.
We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists $w\in\partial T$ and a free subgroup of $G$ fixing $w$ and acting faithfully on arbitrarily small neighborhoods of $w$. This can be used to prove absence of free subgroups for different known classes of groups. For instance, we prove that iterated monodromy groups of expanding coverings have no free subgroups and give another proof of a theorem by S. Sidki.
We characterize the algebraic structure of semi-direct product of cyclic groups, $\Z_{N}\rtimes\Z_{p}$, where $p$ is an odd prime number which does not divide $q-1$ for any prime factor $q$ of $N$, and provide a polynomial-time quantum computational algorithm solving hidden symmetry subgroup problem of the groups.
We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even asynchronously automatic. We can also arrange that such subgroups satisfy, at best, an exponential isoperimetric inequality.
Let $G$ be a finite group and $A$ be a normal subgroup of $G$. We denote by $ncc(A)$ the number of $G$-conjugacy classes of $A$ and $A$ is called $n$-decomposable, if $ncc(A)=n$. Set ${\cal K}_G = \{ncc(A)| A \lhd G \}$. Let $X$ be a non-empty subset of positive integers. A group $G$ is called $X$-decomposable, if ${\cal K}_G = X$. Ashrafi and his co-authors \cite{ash1,ash2,ash3,ash4,ash5} have characterized the $X$-decomposable non-perfect finite groups for $X = \{1, n \}$ and $n \leq 10$. In this paper, we continue this problem and investigate the structure of $X$-decomposable non-perfect fi…
We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,...,G_n$ are in E then a subgroup $Γ\subset G_1\times...\times G_n$ is of type $\FP_n$ if and only if $Γ$ is itself, up to finite index, the direct product of at most $n$ groups from $\mathcal E$. This answers a question of Sela.
Given a finite non-cyclic group $G$, call $σ(G)$ the smallest number of proper subgroups of $G$ needed to cover $G$. Lucchini and Detomi conjectured that if a nonabelian group $G$ is such that $σ(G) < σ(G/N)$ for every non-trivial normal subgroup $N$ of $G$ then $G$ is \textit{monolithic}, meaning that it admits a unique minimal normal subgroup. In this paper we show how this conjecture can be attacked by the direct study of monolithic groups.
A Grigorchuk-Gupta-Sidki (GGS-)group is a subgroup of the automorphism group of the $p$-adic tree for an odd prime $p$, generated by one rooted automorphism and one directed automorphism. Pervova proved that all torsion GGS-groups do not have maximal subgroups of infinite index. Here we extend the result to non-torsion GGS-groups, which include the weakly regular branch, but not branch, GGS-group.