We study infinite approximate subgroups of soluble Lie groups. Generalising a theorem of Fried and Goldman we show that approximate subgroups are close, in a sense to be defined, to genuine connected subgroups. Building up on this result we prove a structure theorem for approximate lattices in soluble Lie groups. This extends to soluble Lie groups a theorem about quasi-crystals due to Yves Meyer.
We give a description of a finite group whose maximal subgroups possess only soluble proper subgroups, which implies the answer to the well-known question on composition factors of finite groups, whose second maximal subgroups are soluble.
A subgroup of a finite group is wide if each prime divisor of the group order divides the subgroup order. We obtain the description of finite soluble groups with no wide subgroups. We also prove that a finite soluble group with nilpotent wide subgroups has the quotient group by its hypercenter with no wide subgroups.
In this paper, we deal with locally graded groups whose subgroups are either subnormal or soluble of bounded derived length, say d. In particular, we prove that every locally (soluble-by-finite) group with this property is either soluble or an extension of a soluble group of derived length at most d by a finite group, which fits between a minimal simple group and its automorphism group. We also classify all the finite non-abelian simple groups whose proper subgroups are metabelian.
Let $G$ be an arbitrary group. We show that if the Fitting subgroup of $G$ is nilpotent then it is definable. We show also that the class of groups whose Fitting subgroup is nilpotent of class at most $n$ is elementary. We give an example of a group (arbitrary saturated) whose Fitting subgroup is definable but not nilpotent. Similar results for the soluble radical are given.
Let ${\frak F}$ be a class of group and $G$ a finite group. Then a set $Σ$ of subgroups of $G$ is called a \emph{$G$-covering subgroup system} for the class ${\frak F}$ if $G\in {\frak F}$ whenever $Σ\subseteq {\frak F}$. We prove that: {\sl If a set of subgroups $Σ$ of $G$ contains at least one supplement to each maximal subgroup of every Sylow subgroup of $G$, then $Σ$ is a $G$-covering subgroup system for the classes of all $σ$-soluble and all $σ$-nilpotent groups, and for the class of all $σ$-soluble $PσT$-groups.} This result gives positive answers to questions 19.87 and 19.88 from the Ko…
For a finite group $G$ we investigate the difference between the maximum size MaxDim$(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$. We prove that MaxDim$(G)=m(G)$ if the derived subgroup of $G$ is nilpotent. However MaxDim$(G)-m(G)$ can be arbitrarily large: for any odd prime $p,$ we construct a finite soluble group with Fitting length 2 satisfying $m(G)=3$ and MaxDim$(G)=p.$
Let $G$ be an almost simple sporadic group and let $H$ be a soluble subgroup of $G$. In this paper we prove that there exists $x,y \in G$ such that $H \cap H^x \cap H^y=1$, which is equivalent to the bound $b(G,H) \leqslant 3$ with respect to the base size of $G$ on the set of cosets of $H$. This bound is best possible. In this setting, our main result establishes a strong form of a more general conjecture of Vdovin on the intersection of conjugate soluble subgroups of finite groups. The proof uses a combination of computational and probabilistic methods.
Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $δ_k$-values $a,b\in G$ of coprime orders. In the course of the proof we establish the following result of independent interest: Let $P$ be a Sylow $p$-subgroup of $G$. Then $P\cap G^{(k)}$ is generated by $δ_k$-values contained in $P$. This is related to the so-called Focal Subgroup Theorem.
Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $λ(G)$ as the minimum number of nonsoluble factors in a series of this kind. Upper bounds for $λ(G)$ appear in the study of various problems on finite, residually finite, and profinite groups. We prove that $λ(G)$ is bounded in terms of the maximum $2$-length of soluble subgroups of $G$, and that $λ(G)$ is bounded by the maximum Fitting height of soluble subgroups. For an odd prime $p$, the non-$p$-soluble length $λ_p(G)$ is intr…
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…
The set of finitely generated subgroups of the group $PL_+(I)$ of orientation-preserving piecewise-linear homeomorphisms of the unit interval includes many important groups, most notably R.~Thompson's group $F$. In this paper we show that every finitely generated subgroup $G<PL_+(I)$ is either soluble, or contains an embedded copy of Brin's group $B$, a finitely generated, non-soluble group, which verifies a conjecture of the first author from 2009. In the case that $G$ is soluble, we show that the derived length of $G$ is bounded above by the number of breakpoints of any finite set of generat…
We study the class of groups having the property that every non-nilpotent subgroup is equal to its normalizer. These groups are either soluble or perfect. We completely describe the structure of soluble groups and finite perfect groups with the above property. Furthermore, we give some structural information in the infinite perfect case.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. $G$ is said to be $σ$-soluble if every chief factor $H/K$ of $G$ is a $σ_{i}$-group for some $i=i(H/K)$. A set ${\cal H}$ of subgroups of $G$ is said to be a complete Hall $σ$-set of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in σ$ and ${\cal H}$ contains exactly one Hall $σ_{i}$-subgroup of $G$ for every $i \in I$ such that $σ_{i}\cap π(G)\ne \emptyset$. A subgroup $A$ of $G$ is said to be $σ$-permutable in $G$ if $G$ has a complete Hall $σ$-…
We describe under a variety of conditions abelian subgroups of the automorphism group A of the regular n-ary tree T which are normalized by the n-ary adding machine t=(e,...,e,t)s where s is the n-cycle (0,1,...,n-1). As an application, for n a prime number, and for n = 4 we prove that every soluble subgroup of A containing t is an extension of a torsion-free metabelian group by a finite group.
A remarkable result of Thompson states that a finite group is soluble if and only if its two-generated subgroups are soluble. This result has been generalized in numerous ways, and it is in the core of a wide area of research in the theory of groups, aiming for global properties of groups from local properties of two-generated (or more generally, $n$-generated) subgroups. We contribute an extension of Thompson's theorem from the perspective of factorized groups. More precisely, we study finite groups $G = AB$ with subgroups $A,\ B$ such that $\langle a, b\rangle$ is soluble for all $a \in A$ a…
Some properties of abnormal subgroups in generalized soluble groups will be considered. In particular, the transitivity of abnormality in metahypercentral groups is proven. Also it will be proven that a subgroup H of a radical group G is abnormal in G if and only if every intermediate subgroup for H coincides with its normalizer in G. This result will extend on radical groups the well-known criterion of abnormality for finite soluble groups obtained by D. Taunt. For some infinite groups (not only periodic) the existence of Carter subgroups and their conjugations will be also proven.
In this paper, we show that a locally graded group with a finite number m of non-(nilpotent of class at most n) subgroups is (soluble of class at most [log2(n)] + m + 3)-by-(finite of order $\le$ m!). Also we show that the derived length of a soluble group with a finite number m of non-(nilpotent of class at most n) subgroups, is at most [log2(n)] + m + 1.
Let $\mathfrak{F}$ be a class of finite groups and $G$ a finite group. Let ${\cal L}_{\mathfrak{F}}(G)$ be the set of all subgroups $A$ of $G$ with $A^{G}/A_{G}\in \mathfrak{F}$. A chief factor $H/K$ of $G$ is $\mathfrak{F}$-central in $G$ if $(H/K)\rtimes (G/C_{G}(H/K)) \in\mathfrak{F}$. We study the structure of $G$ under the hypothesis that every chief factor of $G$ between $A_{G}$ and $A^{G}$ is $\mathfrak{F}$-central in $G$ for every subgroup $A\in {\cal L}_{\mathfrak{F}}(G)$. As an application, we prove that a finite soluble group $G$ is a $PST$-group if and only if $A^{G}/A_{G}\leq Z_{\…
Let $G$ be a finite soluble group and $h(G)$ its Fitting length. The aim of this paper is to give certain upper bounds for $h(G)$ as functions of the Fitting length of at least three Hall subgroups of $G$ which factorize $G$ in a particular way.
In this paper we are concerned with finite soluble groups $G$ admitting a factorisation $G=AB$, with $A$ and $B$ proper subgroups having coprime order. We are interested in bounding the Fitting height of $G$ in terms of some group-invariants of $A$ and $B$: including the Fitting heights and the derived lengths.
We show that if $w$ is a multilinear commutator word and $G$ a finite group in which every metanilpotent subgroup generated by $w$-values is of rank at most $r$, then the rank of the verbal subgroup $w(G)$ is bounded in terms of $r$ and $w$ only. In the case where $G$ is soluble we obtain a better result -- if $G$ is a finite soluble group in which every nilpotent subgroup generated by $w$-values is of rank at most $r$, then the rank of $w(G)$ is at most $r+1$.
We show that if a group G is finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound on the first betti number of M as M runs through all subgroups of finite index in G.
Local--global generation property of commutators in finite $π$-soluble groups
Università degli Studi di Modena e Reggio Emilia(摩德纳和雷焦艾米利亚大学);University of Southern California(南加州大学);University of Lincoln(林肯大学);University of Brasilia(巴西利亚大学)
Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite rank) if TorR(A) is artinian and A/TorR(A) has finite R-rank. The authors study ZG-modules A such that A/CA(H) is artinian-by-(finite rank) (as a Z-module) for every proper subgroup H.
We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$ subgroups of finite index in $G$.
Let $σ=\{σ_{i} | i\in I\}$ be a partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. Let $σ(G)=\{σ_{i} : σ_{i}\cap π(G)\ne \emptyset$. A set ${\cal H}$ of subgroups of $G$ is said to be a complete Hall $σ$-set of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $i\in I$ and $\cal H$ contains exactly one Hall $σ_{i}$-subgroup of $G$ for every $i$ such that $σ_{i}\in σ(G)$. We say that $G$ is $σ$-full if $G$ possesses a complete Hall $σ$-set. A complete Hall $σ$-set $\cal H$ of $G$ is said to be a $σ$-basis of $G$ if every two subgroups $A, B \…
Let $π$ be a set of primes. We show that $π$-separable groups have a conjugacy class of subgroups which specialize to Carter subgroups, i.e. self-normalizing nilpotent subgroups, or equivalently, nilpotent projectors, when specializing to soluble groups.
Let $G$ be a finite group admitting a coprime automorphism $α$. Let $J_G(α)$ denote the set of all commutators $[x,α]$, where $x$ belongs to an $α$-invariant Sylow subgroup of $G$. We show that $[G,α]$ is soluble or nilpotent if and only if any subgroup generated by a pair of elements of coprime orders from the set $J_G(α)$ is soluble or nilpotent, respectively.
A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no nontrivial torsion normal subgroups or $G$ is finitely generated.
Let $G$ be a group. The orbits of the natural action of Aut$(G)$ on $G$ are called ``automorphism orbits'' of $G$, and the number of automorphism orbits of $G$ is denoted by $ω(G)$. We prove that if $G$ is a soluble group with finite rank such that $ω(G)< \infty$, then $G$ contains a torsion-free characteristic nilpotent subgroup $K$ such that $G = K \rtimes H$, where $H$ is a finite group. Moreover, we classify the mixed order soluble groups of finite rank such that $ω(G)=3$.
Among other things, we prove that the group of automorphisms fixing every normal subgroup of a nilpotent-by-abelian group is nilpotent-by-metabelian. In particular, the group of automorphisms fixing every normal subgroup of a metabelian group is soluble of derived length at most 3. An example shows that this bound cannot be improved.
The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series of $G$ each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$. In the present paper we prove that if $λ(J)\leq k$ for every 2-generator subgroup $J$ of $G$, then $λ(G)\leq k$. It is conjectured that if $h…
We study groups having the property that every non-abelian subgroup is equal to its normalizer. This class of groups is closely related to an open problem posed by Berkovich. We give a full classification of finite groups having the above property. We also describe all infinite soluble groups in this class.
Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing large subgroups in finite groups (see Theorems A and C). We also consider the more specialised problems of finding large (non-abelian) nilpotent as well as abelian subgroups in soluble groups.
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 $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $σ$-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$, for some $i\in I$, and $\cal H$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $H$ of $G$ is said to be: \emph{$σ$-permutable} or \emph{$σ$-quasinormal} in $G$ if $G$ possesses a complete Hall $σ$-set set ${\cal H}$ such that $HA^{x}=A^{x}H$ for all $A\in {\cal H}$ and $x\in G$: \emph{$σ$-subnormal} in $G$ if there i…
We describe the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups when $\mathfrak{F}$ is a subgroup-closed saturate superradical formation containing all nilpotent groups. We prove that groups with absolutely $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups are soluble when $\mathfrak{F}$ is a subgroup-closed saturate formation containing all nilpotent groups.
We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show that if such a G is periodic, then all subnormal subgroups are commensurable with a normal subgroup, provided either the Hirsch-Plotkin radical of G has infinite rank or G is nilpotent-by-abelian (and has infinite rank).
In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown that the set of all $\mathbb{F}$-functorials is a complete distributive lattice and the cardinality of this lattice is continuum. The sharp bounds on the generalized Fitting height of mutually permutable product of two subgroups were obtained.
Let $G$ be a finite insoluble group with soluble radical $R(G)$. In this paper we investigate the soluble graph of $G$, which is a natural generalisation of the widely studied commuting graph. Here the vertices are the elements in $G \setminus R(G)$, with $x$ adjacent to $y$ if they generate a soluble subgroup of $G$. Our main result states that this graph is always connected and its diameter, denoted $δ_{\mathcal{S}}(G)$, is at most $5$. More precisely, we show that $δ_{\mathcal{S}}(G) \leqslant 3$ if $G$ is not almost simple and we obtain stronger bounds for various families of almost simple…
We study the class of finite groups $G$ satisfying $Φ(G/N)= Φ(G)N/N$ for all normal subgroups $N$ of $G$. As a consequence of our main results we extend and amplify a theorem of Doerk concerning this class from the soluble universe to all finite groups and answer in the affirmative a long-standing question of Christensen whether the class of finite groups which possess complements for each of their normal subgroups is subnormally closed.
Let G be a Chevalley group scheme and B<=G a Borel subgroup scheme, both defined over Z. Let K be a global function field, S be a finite non-empty set of places over K, and O_S be the corresponding S-arithmetic ring. Then, the S-arithmetic group B(O_S) is of type F_{|S|-1} but not of type FP_{|S|}. Moreover one can derive lower and upper bounds for the geometric invariants Σ^m(B(O_S)). These are sharp if G has rank 1. For higher ranks, the estimates imply that normal subgroups of B(O_S) with abelian quotients, generically, satisfy strong finiteness conditions.
Let $G$ be a finite group admitting a coprime automorphism $α$ of order $e$. Denote by $I_G(α)$ the set of commutators $g^{-1}g^α$, where $g\in G$, and by $[G,α]$ the subgroup generated by $I_G(α)$. We study the impact of $I_G(α)$ on the structure of $[G,α]$. Suppose that each subgroup generated by a subset of $I_G(α)$ can be generated by at most $r$ elements. We show that the rank of $[G,α]$ is $(e,r)$-bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of $I_G(α)$ has odd order, then $[G,α]$ has odd order too. Further, i…