No full-text available
To read the full-text of this research,
you can request a copy directly from the authors.
Soluble products of connected subgroups
Abstract
The main result in the paper states the following: For a finite
group G=AB, which is the product of the soluble subgroups A
and B, if is a metanilpotent group for all
and , then the factor groups are nilpotent, F(G) denoting the Fitting subgroup of
G. A particular generalization of this result and some
consequences are also obtained. For instance, such a group G is
proved to be soluble of nilpotent length at most l+1, assuming
that the factors A and B have nilpotent length at most l. Also
for any finite soluble group G and , an element
is contained in the preimage of the hypercenter of ,
where denotes the ()th term of the Fitting series
of G, if and only if the subgroups have
nilpotent length at most k for all .
... The structure and properties of N -connected products, for the class N of finite nilpotent groups, are well known (cf. [7][8][9]); for instance, G = AB is an N -connected product of A and B if and only if G modulo its hypercenter is a direct product of the images of A and B. Apart from the above-mentioned results regarding S-connection, corresponding studies for the classes N 2 and N A of metanilpotent groups, and groups with nilpotent derived subgroup, respectively, have been carried out in [10,11]; in [12] connected products for the class S π S ρ of finite soluble groups that are extensions of a normal π-subgroup by a ρ-subgroup, for arbitrary sets of primes π and ρ, are studied. The class S π S ρ appears in that reference as the relevant case of a large family of formations, named nilpotent-like Fitting formations, which comprise a variety of classes of groups, such as the class of π-closed soluble groups, or groups with Sylow towers with respect to total orderings of the primes. ...
... In the present paper, as an application of Theorem 1, we show that the main results in [10][11][12], proved for soluble groups, remain valid for arbitrary finite groups. In particular, we characterize connected products for some relevant classes of groups (see Theorem 4). ...
... We gather next our main results. The first one extends to the universe of finite groups results for soluble groups in [11] (Theorem 3), [10] (Theorem 1, Proposition 1) and [12] (Theorem 1). 3. Let π, ρ be arbitrary sets of primes. The following are equivalent: ...
For a non-empty class of groups L, a finite group G=AB is said to be an L-connected product of the subgroups A and B if ⟨a,b⟩∈L for all a∈A and b∈B. In a previous paper, we prove that, for such a product, when L=S is the class of finite soluble groups, then [A,B] is soluble. This generalizes the theorem of Thompson that 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 about finite groups in the soluble universe. In particular, we characterize connected products for relevant classes of groups, among others, the class of metanilpotent groups and the class of groups with nilpotent derived subgroup. Additionally, we give local descriptions of relevant subgroups of finite groups.
... Structure and properties of N -connected products, for the class N of finite nilpotent groups, are well known (cf. [1,14,2]); for instance, G = AB is an N -connected product of A and B if and only if G modulo its hypercenter is a direct product of the images of A and B. Apart from the above-mentioned results regarding S-connection, corresponding studies for the classes N 2 and N A of metanilpotent groups, and groups with nilpotent derived subgroup, respectively, have been carried out in [8,9]; in [10] connected products for the class S π S ρ of finite soluble groups that are extensions of a normal π-subgroup by a ρ-subgroup, for arbitrary sets of primes π and ρ, are studied. The class S π S ρ appears in that reference as the relevant case of a large family of formations, named nilpotent-like Fitting formations, which comprise a variety of classes of groups, such as the class of π-closed soluble groups, or groups with Sylow towers with respect to total orderings of the primes. ...
... In the present paper, as an application of Theorem 1.1, we show that main results in [8,9,10], proved for soluble groups, remain valid for arbitrary finite groups. In particular, we characterize connected products for some relevant classes of groups (see Theorem 1.6). ...
... As consequences of Theorem 1.6 we derive Corollaries 1.8, 1.9, 1.11, 1.13, and point out again that corresponding results for finite soluble groups were firstly obtained in [8,Corollaries 1,2,3,4]. Then G ∈ N F implies A, B ∈ N F. ...
For a non-empty class of groups , a finite group is said to be an -connected product of the subgroups A and B if for all and . In a previous paper, we prove that for such a product, when 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 particular, we characterize connected products for relevant classes of groups; among others the class of metanilpotent groups and the class of groups with nilpotent derived subgroup. Also we give local descriptions of relevant subgroups of finite groups.
... For the special case when G = AB = A = B this means of course that a, b ∈ L for all a, b ∈ G, and the study of products of L-connected subgroups provides a more general setting for local-global questions related to two-generated subgroups. We refer to [8,28,9] for previous studies for the class L = N of finite nilpotent groups, and to [18,19,20,21] for L being the class of finite metanilpotent groups and other relevant classes of groups. For the class L = S of finite soluble groups, A. Carocca in [12] proved the solubility of a product of S-connected soluble subgroups, which provides a first extension of the above-mentioned theorem of Thompson for products of groups (see Corollary 2). ...
... In particular, Corollary 2 generalizes Carocca's result via the soluble radical in a product of S-connected subgroups. In a forthcoming paper [17], our theorem is applied to extend main results known for finite soluble groups in [18,19,20] to the universe of all finite groups. ...
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 with subgroups such that is soluble for all and . In this case, the group G is said to be an -connected product of the subgroups A and B for the class of all finite soluble groups. Our main theorem states that is -connected if and only if [A,B] is soluble. In the course of the proof we derive a result of own interest about independent primes regarding the soluble graph of almost simple groups.
... Ballester-Bolinches and Pedraza-Aguilera [2] and Hauck, Martínez-Pastor and Pérez-Ramos [13]); for instance, G = A B is an N -connected product of A and B if and only if G modulo its hypercenter is a direct product of the images of A and B. For N 2 , the class of metanilpotent groups, and for saturated formations F ⊆ N A, the class of nilpotent-by-abelian groups, there are also very satisfactory characterizations of finite (soluble) groups which are products of F -connected subgroups (cf. Gállego, Hauck, Pérez-Ramos [15,14]). The class of all finite supersoluble groups is a relevant example of this latter family of saturated formations. ...
... We notice that X := A p A q B p B q is a Hall {p, q}-subgroup of G and A p A q and B p B q are S p S q -connected and, in particular, N 2 -connected. By [14,Theorem 1] ...
For a non-empty class of groups C, two subgroups A and B of a group G are said to be C-connected if 〈a,b〉∈C for all a∈A and b∈B. Given two sets π and ρ of primes, SπSρ denotes the class of all finite soluble groups that are extensions of a normal π-subgroup by a ρ-group.It is shown that in a finite group G=AB, with A and B soluble subgroups, then A and B are SπSρ-connected if and only if Oρ(B) centralizes AOπ(G)/Oπ(G), Oρ(A) centralizes BOπ(G)/Oπ(G) and G∈Sπ∪ρ. Moreover, if in this situation A and B are in SπSρ, then G is in SπSρ.This result is then extended to a large family of saturated formations F, the so-called nilpotent-like Fitting formations of soluble groups, and to finite groups that are products of arbitrarily many pairwise permutable F-connected F-subgroups.
A remarkable result of Thompson states that a finite group is soluble if and only if all 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 with subgroups such that is soluble for all and . In this case, the group G is said to be an -connected product of the subgroups A and B for the class of all finite soluble groups. Our Main Theorem states that is -connected if and only if [A, B] is soluble. In the course of the proof, we derive a result about independent primes regarding the soluble graph of almost simple groups that might be interesting in its own right.
In this paper we study groups G generated by two subgroups A and B such that 〈. a, b〉 is nilpotent of class at most 2 for all a∈. A and b∈. B. A detailed description of the structure of such groups is obtained, generalizing the classical result of Hopkins and Levi on 2-Engel groups.
Two subgroups H and K of a finite group G are said to be N-connected if the subgroup generated by x and y is a nilpotent group, for every pair of elements x in H and y in K. This paper is devoted to the study of pairwise N-connected and permutable products of finitely many groups, in the framework of formation and Fitting class theory.
In this second paper, the bulk of the work is devoted to characterizing E2(3) and S4(3). These two groups are “almost” AT-groups and it is relevant to treat them separately. The actual characterizations (Theorems 8.1 and 9.1) are very technical but the hypotheses deal with the structure and embedding in a simple group of certain {2, 3}-subgroups.
In this paper, the simple N-groups are classified for which e ≧ 3 and 2 ∈ π4. This latter condition means that a Sylow 2-subgroup contains a normal elementary abelian subgroup of order 8 and does not normalize any nonidentity odd order subgroup.
Subgroups A and B of a finite group are said to be 𝒩-connected if the subgroup generated by elements x and y is a nilpotent group, for every pair of elements x in A and y in B. The behaviour of finite pairwise permutable and 𝒩-connected products are studied with respect to certain classes of groups including those groups where all the subnormal subgroups permute with all the maximal subgroups, the so-called SM-groups, and also the class of soluble groups where all the subnormal subgroups permute with all the Carter subgroups, the so-called C-groups.
Saturated formations are closed under the product of subgroups which are connected by certain permutability properties.
Saturated formations which contain the class of supersoluble groups are closed under the product of two subgroups if every subgroup of one factor is permutable with every subgroup of the other.
Using classification theorems of
simple groups, we give a proof of a conjecture on factorized finite groups which is an extension of a
well known theorem due to P. Hall.
We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x∈G the subgroup of G generated by x and y is solvable. This confirms a conjecture of Flavell. We present analogues of this result for finite-dimensional Lie algebras and some classes of infinite groups. We also consider a similar problem for pairs of elements.