On a problem of L.A. Shemetkov on superradical formations of finite groups

Abstract Subgroup-closed saturated formations F which are closed under taking products of F -subnormal F -subgroups are studied in the paper. Our results can be regarded as further developments in the hunt for a solution of a problem proposed by L.A. Shemetkov in 1999 in the Kourovka Notebook.

On the lattice of J-subnormal subgroups

A local approach to a class of locally finite groups

This paper is devoted to the study of a class of generalised P-nilpotent groups in the universe cℒ̄ of all radical locally finite groups satisfying min-q for every prime q. Some results of finite groups are extended and a characterisation of the injectors associated with this class is given.

On X-saturated formations of finite groups

[EN] In the paper, a Frattini-like subgroup associated with a class X of simple groups is introduced and analysed. The corresponding X-saturated formations are exactly the X-local ones introduced by Förster. Our techniques are also very useful to highlight the properties and behaviour of omega-local formations. In fact, extensions and improvements of several results of Shemetkov are natural consequences of our study.

On a class of p-soluble groups

[EN] Let p be a prime. The class of all p-soluble groups G such that every p-chief factor of G is cyclic and all p-chief factors of G are G-isomorphic is studied in this paper. Some results on T-, PT-, and PST -groups are also obtained.

SUBGROUPS OF FINITE GROUPS WITH A STRONG COVER-AVOIDANCE PROPERTY

AbstractA subgroup A of a group G has the strong cover-avoidance property in G, or A is a strong CAP-subgroup of G, if A either covers or avoids every chief factor of every subgroup of G containing A. The main aim of the present paper is to analyse the impact of the strong cover and avoidance property of the members of some relevant families of subgroups on the structure of a group.

On formations of finite groups with the generalized Wielandt property for residuals II

A formation [Formula: see text] of finite groups has the generalized Wielandt property for residuals, or [Formula: see text] is a GWP-formation, if the [Formula: see text]-residual of a group generated by two [Formula: see text]-subnormal subgroups is the subgroup generated by their [Formula: see text]-residuals. The main result of this paper describes a large family of GWP-formations to further the transparence of this kind of formations, and it can be regarded as a natural step toward the solution of the classification problem.

ON GENERALISED PRONORMAL SUBGROUPS OF FINITE GROUPS

AbstractFor a formation $\mathfrak F$, a subgroup M of a finite group G is said to be $\mathfrak F$-pronormal in G if for each g ∈ G, there exists x ∈ 〈U,Ug〉$\mathfrak F$ such that Ux = Ug. Let f be a subgroup embedding functor such that f(G) contains the set of normal subgroups of G and is contained in the set of Sylow-permutable subgroups of G for every finite group G. Given such an f, let fT denote the class of finite groups in which f(G) is the set of subnormal subgroups of G; this is the class of all finite groups G in which to be in f(G) is a transitive relation in G. A subgroup M of a finite group G is said to be $\mathfrak F$-normal in G if G/CoreG(M) belongs to $\mathfrak F$. A sub…

On formations of finite groups with the generalised Wielandt property for residuals

Abstract A formation F of finite groups has the generalised Wielandt property for residuals, or F is a GWP-formation, if the F -residual of a group generated by two F -subnormal subgroups is the subgroup generated by their F -residuals. We prove that every GWP-formation is saturated. This is one of the crucial steps in the hunt for a solution of the classification problem.

A Bryce and cossey type theorem in a class of locally finite groups

In this paper the subgroup-closed saturated Fitting formations of radical locally finite groups with min-p for all p are fully characterised. Moreover the study of a class of generalised nilpotent groups introduced by Ballester-Bolinches and Pedraza is continued.

On periodic radical groups in which permutability is a transitive relation

Abstract A group G is said to be a PT - group if permutability is a transitive relation in the set of all subgroups of G . Our purpose in this paper is to study PT -groups in the class of periodic radical groups satisfying min- p for all primes p .

On large orbits of subgroups of linear groups

The main aim of this paper is to prove an orbit theorem and to apply it to obtain a result that can be regarded as a significant step towards the solution of Gluck’s conjecture on large character degrees of finite solvable groups.

On a graph related to permutability in finite groups

For a finite group G we define the graph $\Gamma(G)$ to be the graph whose vertices are the conjugacy classes of cyclic subgroups of G and two conjugacy classes $\{\mathcal {A}, \mathcal {B}\}$ are joined by an edge if for some $\{A \in \mathcal {A},\, B \in \mathcal {B}\, A\}$ and B permute. We characterise those groups G for which $\Gamma(G)$ is complete.

A note on maximal subgroups and conjugacy classes of finite groups

Given a finite group G, two elements are ≡m-related if they lie in exactly the same maximal subgroups of G. This equivalence relation was introduced by P. J. Cameron, A. Lucchini and C. M. Roney-Do...

Maximal subgroups and formations

Abstract We define, in each finite group G , some subgroups of Frattini-type in relation with a saturated formation and with a set of primes and study their properties, especially their influence in the structure of G .

The dual equivalence of equations and coequations for automata

The transition structure α : X ? X A of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. We use this algebra-coalgebra duality as a common perspective for the study of equations and coequations. For every automaton ( X , α ) , we define two new automata: free ( X , α ) and cofree ( X , α ) representing, respectively, the greatest set of equations and the smallest set of coequations satisfied by ( X , α ) . Both constructions are shown to be functorial. Our main result is that the restrictions of free and cofree to, respectively, preformations of languages and to quotients A * / C of A * with respect to a congr…

Permutable subnormal subgroups of finite groups

The aim of this paper is to prove certain characterization theorems for groups in which permutability is a transitive relation, the so called PT -groups. In particular, it is shown that the finite solvable PT -groups, the finite solvable groups in which every subnormal subgroup of defect two is permutable, the finite solvable groups in which every normal subgroup is permutable sensitive, and the finite solvable groups in which conjugatepermutability and permutability coincide are all one and the same class. This follows from our main result which says that the finite modular p-groups, p a prime, are those p-groups in which every subnormal subgroup of defect two is permutable or, equivalentl…

A Characterization of the Class of Finite Groups with Nilpotent Derived Subgroup

The class of all finite groups with nilpotent commutator subgroup is characterized as the largest subgroup-closed saturated formation 𝔉 for which the 𝔉-residual of a group generated by two 𝔉-subnormal subgroups is the subgroup generated by their 𝔉–residuals.

A note on solubly saturated formations of finite groups

The main aim of this note is to give a criterion for a subgroup-closed formation to be solubly saturated, which we hope may provide a useful proving ground for outstanding questions about this family of formations.

On the exponent of mutually permutable products of two abelian groups

In this paper we obtain some bounds for the exponent of a finite group, and its derived subgroup, which is a mutually permutable product of two abelian subgroups. They improve the ones known for products of finite abelian groups, and they are used to derive some interesting structural properties of such products.

Nilpotent-like fitting formations of finite soluble groups

[EN] In this paper the subnormal subgroup closed saturated formations of finite soluble groups containing nilpotent groups are fully characterised by means of extensions of well-known properties enjoyed by the formation of all nilpotent groups.

A Question of R. Maier Concerning Formations

The formation f is said to be saturated if the group G belongs to f Ž . whenever the Frattini factor group GrF G is in f. Let P be the set of all prime numbers. A formation function is a Ž . function f defined on P such that f p is a, possibly empty, formation. A formation f is said to be a local formation if there exists a formation Ž function f such that f s G g G : if HrK is a chief factor of G and p < < Ž . Ž .. divides HrK , then GrC HrK g f p ; G is the class of all finite G groups. If f is a local formation defined by a formation function f , then Ž . we denote f s LF f and f is a local definition of f. Among all possible local definitions of a local formation f there exists exactly …

A question in the theory of saturated formations of finite soluble groups

This paper examines the following question. If\(\mathcal{H}\) and\(\mathcal{F}\) are saturated formations then\(\mathcal{H}_\mathcal{F} \) is defined to be the class of all soluble groups whose\(\mathcal{H} - normalizers\) belong to\(\mathcal{F}\). In general\(\mathcal{H}_\mathcal{F} \) is a formation, but need not be a saturated formation. Here the smallest saturated formation containing\(\mathcal{H}_\mathcal{F} \) is studied.

Languages associated with saturated formations of groups

International audience; In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.; Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus g…

The number of maximal subgroups and probabilistic generation of finite groups

[EN] In this survey we present some significant bounds for the number of maximal subgroups of a given index of a finite group. As a consequence, new bounds for the number of random generators needed to generate a finite d-generated group with high probability which are significantly tighter than the ones obtained in the paper of Jaikin-Zapirain and Pyber (Random generation of finite and profinite groups and group enumeration, Ann. Math., 183 (2011) 769-814) are obtained. The results of Jaikin-Zapirain and Pyber, as well as other results of Lubotzky, Detomi, and Lucchini, appear as particular cases of our theorems.

On σ-subnormal closure

Let σ={σi:i∈I} be a partition of the set P of all prime numbers. A subgroup A of a finite group G is called σ-subnormal in G if there is a chain of subgroups A=A0⊆A1⊆⋯⊆An=G with Ai−1 normal in Ai o...

Finite groups with subgroups supersoluble or subnormal

Abstract The aim of this paper is to study the structure of finite groups whose non-subnormal subgroups lie in some subclasses of the class of finite supersoluble groups.

Finite groups with some C-normal minimal subgroups

Abstract Let G be a finite group. The question of how the properties of its minimal subgroups influence the structure of G is of considerable interest for some scholars. Several authors have investigated this question by using normal or quasinormal conditions. In this paper we use c -normal condition on minimal subgroups to characterize the structure of G through the theory of formations.

On mutually permutable products of finite groups

Abstract In this paper a structural theorem about mutually permutable products of finite groups is obtained. This result is used to derive some results on mutually permutable products of groups whose chief factors are simple. Some earlier results on mutually permutable products of supersoluble groups appear as particular cases.

On Join Properties of Hall π-Subgroups of Finite π-Soluble Groups

All groups considered in the sequel are finite. K. Doerk and T. Hawkes, in Section I.4 of their recent comprehensive w x volume on finite soluble groups 1 , include background material and a proof of the following result: Let S be a Hall system of a soluble group G and let U and V be subgroups into which S reduces. Then S reduces into U l V, and if , in addition, U permutes with V, then S reduces into UV. It is clear that the second part of the above result holds equally well with a single Hall subgroup in place of a Hall system; in other words, if a Hall p-subgroup of G contains Hall p-subgroups of U and V and U permutes with V, then it also contains a Hall p-subgroup of UV.

On the -hypercentre of a finite group

The main objective of this paper is to study and describe the hypercentre of a finite group associated with saturated formations, in terms of some subgroup embedding properties related to permutability. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Products of formations of finite groups

[EN] In this paper criteria for a product of formations to be X-local, X a class of simple groups, are obtained. Some classical results on products of saturated formations appear as particular cases.

ON A QUESTION OF BEIDLEMAN AND ROBINSON

[EN] In [J. C. Beidleman, D. J. S. Robinson, J. Algebra 1997, 191, 686--703, Theorem A], Beidleman and Robinson proved that if a group satisfies the permutizer condition, it is soluble, its chief factors have order a prime number or 4 and G induces the full group of automorphisms in the chief factors of order 4. In this paper, we show that the converse of this theorem is false by showing some counterexamples. We also find some sufficient conditions for a group satisfying the converse of that theorem to satisfy the permutizer condition.

On sigma-subnormal subgroups of factorised finite groups

Abstract Let σ = { σ i : i ∈ I } be a partition of the set P of all prime numbers. A subgroup X of a finite group G is called σ-subnormal in G if there is chain of subgroups X = X 0 ⊆ X 1 ⊆ ⋯ ⊆ X n = G with X i − 1 normal in X i or X i / C o r e X i ( X i − 1 ) is a σ i -group for some i ∈ I , 1 ≤ i ≤ n . In the special case that σ is the partition of P into sets containing exactly one prime each, the σ-subnormality reduces to the familiar case of subnormality. If a finite soluble group G = A B is factorised as the product of the subgroups A and B, and X is a subgroup of G such that X is σ-subnormal in 〈 X , X g 〉 for all g ∈ A ∪ B , we prove that X is σ-subnormal in G. This is an extension…

A note on the rational canonical form of an endomorphism of a vector space of finite dimension

[EN] In this note, we give an easy algorithm to construct the rational canonical form of a square matrix or an endomorphism h of a finite dimensional vector space which does not depend on either the structure theorem for finitely generated modules over principal ideal domains or matrices over the polynomial ring. The algorithm is based on the construction of an element whose minimum polynomial coincides with the minimum polynomial of the endomorphism and on the fact that the h-invariant subspace generated by such an element admits an h-invariant complement. It is also shown that this element can be easily obtained without the factorisation of a polynomial as a product of irreducible polynom…

On two classes of finite supersoluble groups

ABSTRACTLet ℨ be a complete set of Sylow subgroups of a finite group G, that is, a set composed of a Sylow p-subgroup of G for each p dividing the order of G. A subgroup H of G is called ℨ-S-semipermutable if H permutes with every Sylow p-subgroup of G in ℨ for all p∉π(H); H is said to be ℨ-S-seminormal if it is normalized by every Sylow p-subgroup of G in ℨ for all p∉π(H). The main aim of this paper is to characterize the ℨ-MS-groups, or groups G in which the maximal subgroups of every Sylow subgroup in ℨ are ℨ-S-semipermutable in G and the ℨ-MSN-groups, or groups in which the maximal subgroups of every Sylow subgroup in ℨ are ℨ-S-seminormal in G.

A note on a result of Guo and Isaacs about p-supersolubility of finite groups

In this note, global information about a finite group is obtained by assuming that certain subgroups of some given order are S-semipermutable. Recall that a subgroup H of a finite group G is said to be S-semipermutable if H permutes with all Sylow subgroups of G of order coprime to . We prove that for a fixed prime p, a given Sylow p-subgroup P of a finite group G, and a power d of p dividing such that , if is S-semipermutable in for all normal subgroups H of P with , then either G is p-supersoluble or else . This extends the main result of Guo and Isaacs in (Arch. Math. 105:215-222 2015). We derive some theorems that extend some known results concerning S-semipermutable subgroups.

On a class of supersoluble groups

A subgroup H of a finite group G is said to be S-semipermutable in G if H permutes with every Sylow q-subgroup of G for all primes q not dividing |H|. A finite group G is an MS-group if the maximal subgroups of all the Sylow subgroups of G are S-semipermutable in G. The aim of the present paper is to characterise the finite MS-groups.

Characterizations of Schunck Classes of Finite Soluble Groups

All groups considered in this paper are finite and soluble.Characterization of Schunck classes and saturated formations by meansof certain embedding properties of their associated projectors plays animportant part in the Theory of Classes of Groups.Schunck classes whose projectors are normal subgroups were studied byBlessenohl and Gaschutz. They characterize these classes as the classes

A Note on the δ-length of Maximal Subgroups in Finite Soluble Groups

On Large Orbits of Actions of Finite Soluble Groups: Applications

The main aim of this survey paper is to present two orbit theorems and to show how to apply them to obtain a result that can be regarded as a significant step towards the solution of Gluck’s conjecture on large character degrees of finite soluble groups. We also show how to apply them to solve questions about intersections of some conjugacy families of subgroups of finite soluble groups.

On finite involutive Yang–Baxter groups

[EN] A group G is said to be an involutive Yang¿Baxter group, or simply an IYB-group, if it is isomorphic to the permutation group of an involutive, nondegenerate set-theoretic solution of the Yang-Baxter equation. We give new sufficient conditions for a group that can be factorised as a product of two IYB-groups to be an IYB-group. Some earlier results are direct consequences of our main theorem.

Finite Trifactorized Groups and Formations

This research is supported by Proyecto PB 97-0674-C02-02 of DGICYT, MEC, Spain.

On finite groups with many supersoluble subgroups

[EN] The solubility of a finite group with less than 6 non-supersoluble subgroups is confirmed in the paper. Moreover we prove that a finite insoluble group has exactly 6 non-supersoluble subgroups if and only if it is isomorphic to A5 or SL2 (5). Furthermore, it is shown that a finite insoluble group has exactly 22 non-nilpotent subgroups if and only if it is isomorphic to A5 or SL2 (5). This confirms a conjecture of Zarrin (Arch Math (Basel) 99:201 206, 2012).

On large orbits of supersoluble subgroups of linear groups

The research of this paper has been supported by the grant MTM2014-54707-C3-1-P from the Ministerio de Economia y Competitividad, Spain, and FEDER, European Union, by the grant PGC2018-095140-B-I00 from the Ministerio de Ciencia, Innovacion y Universidades and the Agencia Estatal de Investigacion, Spain, and FEDER, European Union, and by the grant PROMETEO/2017/057 from the Generalitat, Valencian Community, Spain. The first author is supported by the predoctoral grant 201606890006 from the China Scholarship Council. The second author is supported by the grant 11401597 from the National Science Foundation of Chin

Injective Fitting sets in automorphism groups

C-Supplemented subgroups of finite groups

A subgroup H of a group G is said to be c-supplemented in G if there exists a subgroup K of G such that HKa G and H\ K is contained in CoreGOHU .W e follow Hall's ideas to characterize the structure of the finite groups in which every subgroup is c-supplemented. Properties of c-supplemented subgroups are also applied to determine the structure of some finite groups.

Sylow permutable subnormal subgroups of finite groups

[EN] An extension of the well-known Frobenius criterion of p-nilpotence in groups with modular Sylow p-subgroups is proved in the paper. This result is useful to get information about the classes of groups in which every subnormal subgroup is permutable and Sylow permutable.

Formations of Monoids, Congruences, and Formal Languages

The main goal in this paper is to use a dual equivalence in automata theory started in [25] and developed in [3] to prove a general version of the Eilenberg-type theorem presented in [4]. Our principal results confirm the existence of a bijective correspondence between three concepts; formations of monoids, formations of languages and formations of congruences. The result does not require finiteness on monoids, nor regularity on languages nor finite index conditions on congruences. We relate our work to other results in the field and we include applications to non-r-disjunctive languages, Reiterman s equational description of pseudovarieties and varieties of monoids.

Fitting sets pairs

SOME SOLUBILITY CRITERIA IN FACTORISED GROUPS

In this paper, solubility of groups factorised as a product of two subgroups which are connected by certain permutability properties is studied.

Large characteristically simple sections of finite groups

In this paper we prove that if G is a group for which there are k non-Frattini chief factors isomorphic to a characteristically simple group A, then G has a normal section C/R that is the direct product of k minimal normal subgroups of G/R isomorphic to A. This is a significant extension of the notion of crown for isomorphic chief factors.

On finiteJ-groups

AbstractCharacterisations of finite groups in which normality is a transitive relation are presented in the paper. We also characterise the finite groups in which every subgroup is either permutable or coincides with its permutiser as the groups in which every subgroup is permutable.

On the abnormal structure of finite groups

We study finite groups in which every maximal subgroup is supersoluble or normal. Our results answer some questions arising from papers of Asaad and Rose.

Some classes of finite groups and mutually permutable products

[EN] This paper is devoted to the study of mutually permutable products of finite groups. A factorised group G=AB is said to be a mutually permutable product of its factors A and B when each factor permutes with every subgroup of the other factor. We prove that mutually permutable products of Y-groups (groups satisfying a converse of Lagrange's theorem) and SC-groups (groups whose chief factors are simple) are SC-groups, by means of a local version. Next we show that the product of pairwise mutually permutable Y-groups is supersoluble. Finally, we give a local version of the result stating that when a mutually permutable product of two groups is a PST-group (that is, a group in which every …

Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited

International audience; We present an extension of Eilenberg's variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.; Nous présentons une extension du théorème des variétés d'Eilenberg, un résultat célèbre reliant l'algèbre à la théorie des langages formels. Nous montrons qu'il existe une correspondance bijective entre les form…

Permutable products of supersoluble groups

We investigate the structure of finite groups that are the mutually permutable product of two supersoluble groups. We show that the supersoluble residual is nilpotent and the Fitting quotient group is metabelian. These results are consequences of our main theorem, which states that such a product is supersoluble when the intersection of the two factors is core-free in the group.

Bounds on the number of maximal subgroups of finite groups

In this paper we obtain significant bounds for the number of maximal subgroups of a given index of a finite group. These results allow us to give new bounds for the number of random generators needed to generate a finite $d$-generated group with high probability.

On generalised subnormal subgroups of finite groups

Let be a formation of finite groups. A subgroup M of a finite group G is said to be -normal in G if belongs to . A subgroup U of a finite group G is called a K--subnormal subgroup of G if either U = G or there exist subgroups U = U0 ≤ U1 ≤ … ≤ Un = G such that Ui − 1 is either normal or -normal in Ui, for i = 1, 2, …, n. The K--subnormality could be regarded as the natural extension of the subnormality to formation theory and plays an important role in the structural study of finite groups. The main purpose of this paper is to analyse classes of finite groups whose K--subnormal subgroups are exactly the subnormal ones. Some interesting extensions of well-known classes of groups emerge.

On minimal non-supersoluble groups

[EN] The aim of this paper is to classify the finite minimal non-p-supersoluble groups, p a prime number, in the p-soluble universe.

On two questions from the Kourovka Notebook

Abstract The aim of this paper is to give answers to some questions concerning intersections of system normalisers and prefrattini subgroups of finite soluble groups raised by the third author, Shemetkov and Vasil'ev in the Kourovka Notebook [10] . Our approach depends on results on regular orbits and it can be also used to extend a result of Mann [9] concerning intersections of injectors associated to Fitting classes.

On 𝓕-subnormal subgroups and Frattini-like subgroups of a finite group

Throughout the paper we consider only finite groups.J. C. Beidleman and H. Smith [3] have proposed the following question: “If G is a group and Ha subnormal subgroup of G containing Φ(G), the Frattini subgroup of G, such that H/Φ(G)is supersoluble, is H necessarily supersoluble? “In this paper, we give not only an affirmative answer to this question but also we see that the above result still holds if supersoluble is replaced by any saturated formation containing the class of all nilpotent groups.

A class of generalised finite T-groups

Let F be a formation (of finite groups) containing all nilpotent groups such that any normal subgroup of any T-group in F and any subgroup of any soluble T-group in F belongs to F. A subgroup M of a finite group G is said to be F-normal in G if G/CoreG(M) belongs to F. Named after Kegel, a subgroup U of a finite group G is called a K- F-subnormal subgroup of G if either U=G or U=U0?U1???Un=G such that Ui?1 is either normal in Ui or Ui1 is F-normal in Ui, for i=1,2,...,n. We call a finite group G a TF-group if every K- F-subnormal subgroup of G is normal in G. When F is the class of all finite nilpotent groups, the TF-groups are precisely the T-groups. The aim of this paper is to analyse the…

On totally permutable products of finite groups

[EN] The behaviour of totally permutable products of finite groups with respect to certain classes of groups is studied in the paper. The results are applied to obtain information about totally permutable products of T, PT, and PST-groups.

On a theorem of Berkovich

In a recent paper, Berkovich studied how to describe the nilpotent residual of a group in terms of the nilpotent residuals of some of its subgroups. That study required the knowledge of the structure of the minimal nonnilpotent groups, also called Schmidt groups. The major aim of this paper is to show that this description could be obtained as a consequence of a more complete property, giving birth to some interesting generalizations. This purpose naturally led us to the study of a family of subgroup-closed saturated formations of nilpotent type. An innovative approach to these classes is provided.

Maximal subgroups and PST-groups

A subgroup H of a group G is said r to permute with a subgroup K of G if HK is a subgroup of G. H is said to be permutable (resp. S-permutable) if it permutes with all the subgroups (resp. Sylow subgroups) of G. Finite groups in which permutability (resp. S-permutability) is a transitive relation are called PT-groups (resp. PST-groups). PT-, PST- and T-groups, or groups in which normality is transitive, have been extensively studied and characterised. Kaplan [Kaplan G., On T-groups, supersolvable groups, and maxmial subgroups, Arch. Math. (Basel), 2011, 96(1), 19-25)] presented some new characterisations of soluble T-groups. The main goal of this paper is to establish PT- and PST-versions o…

A description based on languages of the final non-deterministic automaton

The study of the behaviour of non-deterministic automata has traditionally focused on the languages which can be associated to the different states. Under this interpretation, the different branches that can be taken at every step are ignored. However, we can also take into account the different decisions which can be made at every state, that is, the branches that can be taken, and these decisions might change the possible future behaviour. In this case, the behaviour of the automata can be described with the help of the concept of bisimilarity. This is the kind of description that is usually obtained when the automata are regarded as labelled transition systems or coalgebras. Contrarily t…

Sufficient conditions for supersolubility of finite groups

Abstract In this paper sufficient conditions for the supersolubility of finite groups are given under the assumption that the maximal subgroups of Sylow subgroups of the group and the maximal subgroups of Sylow subgroups of the Fitting subgroup are well-situated in the group. That will improve earlier results of Srinivasan [7], Asaad et al. [1] and Ballester-Bolinches [2].

On partially saturated formations of finite groups

Various types of partially saturated formations and connections between them are considered. It is shown that partially saturated formations can be characterized as classes of finite groups with generalized central series. A theorem on the decomposition of an FG-module into a sum of two submodules with special properties is proved.Bibliography: 26 titles.

Finite groups which are products of pairwise totally permutable subgroups

Finite groups which are products of pairwise totally permutable subgroups are studied in this paper. The -residual, -projectors and -normalizers in such groups are obtained from the corresponding subgroups of the factor subgroups under suitable hypotheses.

The Fitting Subgroup and Some Injectors of Radical Locally Finite Groups with min-pfor Allp

Abstract This work was intended as an attempt to continue the study of the class ℬ of generalised nilpotent groups started in a previous paper. We present some results concerning the Fitting subgroup and the ℬ-injectors of a radical locally finite group satisfying min-p for all p.

Primitive subgroups and PST-groups

AbstractAll groups considered in this paper are finite. A subgroup $H$ of a group $G$ is called a primitive subgroup if it is a proper subgroup in the intersection of all subgroups of $G$ containing $H$ as a proper subgroup. He et al. [‘A note on primitive subgroups of finite groups’, Commun. Korean Math. Soc. 28(1) (2013), 55–62] proved that every primitive subgroup of $G$ has index a power of a prime if and only if $G/ \Phi (G)$ is a solvable PST-group. Let $\mathfrak{X}$ denote the class of groups $G$ all of whose primitive subgroups have prime power index. It is established here that a group $G$ is a solvable PST-group if and only if every subgroup of $G$ is an $\mathfrak{X}$-group.

The Abelian Kernel of an Inverse Semigroup

The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.

Permutably embedded subgroups of finite soluble groups

A family of dominant Fitting classes of finite soluble groups

[EN] In this paper a large family of dominant Fitting classes of finite soluble groups and the description of the corresponding injectors are obtained. Classical constructions of nilpotent and Lockett injectors as well as p-nilpotent injectors arise as particular cases.

ON A PERMUTABILITY PROPERTY OF SUBGROUPS OF FINITE SOLUBLE GROUPS

The structure and embedding of subgroups permuting with the system normalizers of a finite soluble group are studied in the paper. It is also proved that the class of all finite soluble groups in which every subnormal subgroup permutes with the Sylow subgroups is properly contained in the class of all soluble groups whose subnormal subgroups permute with the system normalizers while this latter is properly contained in the class of all supersoluble groups.

Generalised norms in finite soluble groups

Abstract We give a framework for a number of generalisations of Baerʼs norm that have appeared recently. For a class C of finite nilpotent groups we define the C -norm κ C ( G ) of a finite group G to be the intersection of the normalisers of the subgroups of G that are not in C . We show that those groups for which the C -norm is not hypercentral have a very restricted structure. The non-nilpotent groups G for which G = κ C ( G ) have been classified for some classes. We give a classification for nilpotent classes closed under subgroups, quotients and direct products of groups of coprime order and show the known classifications can be deduced from our classification.

The Structure Group and the Permutation Group of a Set-Theoretic Solution of the Quantum Yang–Baxter Equation

We describe the left brace structure of the structure group and the permutation group associated to an involutive, non-degenerate set-theoretic solution of the quantum YangBaxter equation by using the Cayley graph of its permutation group with respect to its natural generating system. We use our descriptions of the additions in both braces to obtain new properties of the structure and the permutation groups and to recover some known properties of these groups in a more transparent way.

On prefrattini residuals

All groups considered in the sequel are finite. Let (ℭ and denote the formations of groups which consist of collections of groups that respectively either split over each normal subgroup (nC-groups) or for which the groups do not possess nontrivial Frattini chief factors [8]. The purpose of this article is to develop and expand a concept that arises naturally with the residuals for these formations, namely each G-chief factor is non-complemented (Frattini). With respect to a solid set X of maximal subgroups, these properties are generalized respectively to so-called X-parafrattini (X-profrattini) normal subgroups for which each type is closed relative to products. The relationships among th…

On finite products of totally permutable groups

In this paper the structure of finite groups which are the product of two totally permutable subgroups is studied. In fact we can obtain the -residual, where is a formation, -projectors and -normalisers, where is a saturated formation, of the group from the corresponding subgroups of the factor subgroups.

On the focal subgroup of a saturated fusion system

Abstract The influence of the cyclic subgroups of order p or 4 of the focal subgroup of a saturated fusion system F over a p -group S is investigated in this paper. Some criteria for normality of S in F as well as necessary and sufficient conditions for nilpotency of F are given. The resistance of a p -group in which every cyclic subgroup of order p or 4 is normal, and earlier results about p -nilpotence of finite groups and nilpotency of saturated fusion systems are consequences of our study.

A note on saturated formations

Varieties and Covarieties of Languages (Extended Abstract)

AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …

On maximal subgroups of finite groups

(1991). On maximal subgroups of finite groups. Communications in Algebra: Vol. 19, No. 8, pp. 2373-2394.

Some local properties defining $\mathcal T_0$-groups and related classes of groups

We call $G$ a $\operatorname{Hall}_{\mathcal X}$-group if there exists a normal nilpotent subgroup $N$ of $G$ for which $G/N'$ is an ${\mathcal X}$-group. We call $G$ a ${\mathcal T}_0$-group provided $G/\Phi(G)$ is a ${\mathcal T}$-group, that is, one in which normality is a transitive relation. We present several new local classes of groups which locally define $\operatorname{Hall}_{\mathcal X}$-groups and ${\mathcal T}_0$-groups where ${\mathcal X}\in\{ {\mathcal T},\mathcal {PT},\mathcal {PST}\}$; the classes $\mathcal {PT}$ and $\mathcal {PST}$ denote, respectively, the classes of groups in which permutability and S-permutability are transitive relations.

On the Frattini subgroup of a finite group

We study the class of finite groups $G$ satisfying $\Phi (G/N)= \Phi(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.

Some subgroup embeddings in finite groups: A mini review

[EN] In this survey paper several subgroup embedding properties related to some types of permutability are introduced and studied. ª 2014 Production and hosting by Elsevier B.V. on behalf of Cairo University

OnF-Subnormal Subgroups andF-Residuals of Finite Soluble Groups

All groups that we consider are finite and soluble. Recall that a formation is a class of groups which is closed under homomorphic images and subdirect products. Hence, if F is a formation and G is a group which is a direct product of the subgroups A and B, then G is in F if and only if A and B lie in F. More generally, Doerk and w x Hawkes 4, IV, 1.18 proved that if G is a group such that G s A = B, then G s A = B , where G is the F-residual of G, that is, the smallest normal subgroup of G with quotient in F. The main purpose of this paper is the development of this result by means of the concept of F-subnormal subgroup. Suppose that F is a saturated formation. A maximal subgroup M of a Ž …

Group Extensions and Graphs

A classical result of Gaschütz affirms that given a finite A-generated group G and a prime p, there exists a group G# and an epimorphism phi: G# ---> G whose kernel is an elementary abelian p-group which is universal among all groups satisfying this property. This Gaschütz universal extension has also been described in the mathematical literature with the help of the Cayley graph. We give an elementary and self-contained proof of the fact that this description corresponds to the Gaschütz universal extension. Our proof depends on another elementary proof of the Nielsen-Schreier theorem, which states that a subgroup of a free group is free.

On the normal index of maximal subgroups in finite groups

AbstractFor a maximal subgroup M of a finite group G, the normal index of M is the order of a chief factor H/K where H is minimal in the set of normal supplements of M in G. We use the primitive permutation representations of a finite group G and the normal index of its maximal subgroups to obtain results about the influence of the set of maximal subgroups in the structure of G.

A Local Approach to Certain Classes of Finite Groups

Abstract We develop several local approaches for the three classes of finite groups: T-groups (normality is a transitive relation) and PT-groups (permutability is a transitive relation) and PST-groups (S-permutability is a transitive relation). Here a subgroup of a finite group G is S-permutable if it permutes with all the Sylow subgroup of G.

On σ-subnormality criteria in finite groups

Abstract Let σ = { σ i : i ∈ I } be a partition of the set P of all prime numbers. A subgroup H of a finite group G is called σ-subnormal in G if there is a chain of subgroups H = H 0 ⊆ H 1 ⊆ ⋯ ⊆ H n = G where, for every i = 1 , … , n , H i − 1 normal in H i or H i / C o r e H i ( H i − 1 ) is a σ j -group for some j ∈ I . In the special case that σ is the partition of P into sets containing exactly one prime each, the σ-subnormality reduces to the familiar case of subnormality. In this paper some σ-subnormality criteria for subgroups of finite groups are studied.

On a class of generalised Schmidt groups

In this paper families of non-nilpotent subgroups covering the non-nilpotent part of a finite group are considered. An A 5 -free group possessing one of these families is soluble, and soluble groups with this property have Fitting length at most three. A bound on the number of primes dividing the order of the group is also obtained.

On minimal subgroups of finite groups

On partial CAP-subgroups of finite groups

Abstract Given a chief factor H / K of a finite group G, we say that a subgroup A of G avoids H / K if H ∩ A = K ∩ A ; if H A = K A , then we say that A covers H / K . If A either covers or avoids the chief factors of some given chief series of G, we say that A is a partial CAP-subgroup of G. Assume that G has a Sylow p-subgroup of order exceeding p k . If every subgroup of order p k , where k ≥ 1 , and every subgroup of order 4 (when p k = 2 and the Sylow 2-subgroups are non-abelian) are partial CAP-subgroups of G, then G is p-soluble of p-length at most 1.

THE STRUCTURE OF MUTUALLY PERMUTABLE PRODUCTS OF FINITE NILPOTENT GROUPS

We consider mutually permutable products G = AB of two nilpotent groups. The structure of the Sylow p-subgroups of its nilpotent residual is described.

Sylow permutable subnormal subgroups of finite groups II

[EN] In this paper a local version of Agrawal's theorem about the structure of finite groups in which Sylow permutability is transitive is given. The result is used to obtain new characterisations of this class of finite groups.

On the Deskins index complex of a maximal subgroup of a finite group

AbstractLet M be a maximal subgroup of a finite group G. A subgroup C of G is said to be a completion of M in G if C is not contained in M while every proper subgroup of C which is normal in G is contained in M. The set, I(M), of all completions of M is called the index complex of M in G. Set P(M) = {C ϵ I(M) ¦ C} is maximal in I(M) and G = CM. The purpose of this note is to prove: A finite group G is solvable if and only if, for each maximal subgroup M of G, P(M) contains element C with CK(C) nilpotent.

An Elementary Proof of a Theorem of Graham on Finite Semigroups

The purpose of this note is to give a very elementary proof of a theorem of Graham that provides a structural description of finite 0-simple semigroups and its idempotent-generated subsemigroups.

Extension of a Schur theorem to groups with a central factor with a bounded section rank

Abstract A well-known result reported by Schur states that the derived subgroup of a group is finite provided its central factor is finite. Here we show that if the p-section rank of the central factor of a locally generalized radical group is bounded, then so is the p-section rank of its derived subgroup. We also give an explicit expression for this bound.

Two Questions of L. A. Shemetkov on Critical Groups

Throughout the paper we consider only finite groups. Let X be a class of groups. A group G is called s-critical for X , or simply X-critical, if G is not in X but all proper subgroups of G are in X. w Ž .x Ž . Following Doerk and Hawkes 3, VII, 6.1 , we denote Crit X the class s of all X-critical groups. Knowledge of the structure of the groups in Ž . Crit X for a class of groups X can often help one to obtain detailed s information for the structure of the groups belonging to X. Ž w Ž .x. O. J. Schmidt see 5, III, 5.2 studied the N-critical groups, where N is the formation of the nilpotent groups. These groups are also called w x Schmidt groups. In 2 , answering to a question posed by Shem…

Some Results on p-Nilpotence and Solubility of Finite Groups

On second minimal subgroups of Sylow subgroups of finite groups

A subgroup H of a finite group G is a partial CAP-subgroup of G if there is a chief series of G such that H either covers or avoids its chief factors. Partial cover and avoidance property has turned out to be very useful to clear up the group structure. In this paper, finite groups in which the second minimal subgroups of their Sylow p-subgroups, p a fixed prime, are partial CAP-subgroups are completely classified.

Permutability in finite soluble groups

Let G be a finite soluble group and let Σ be a Hall system of G. A subgroup U of G is said to be Σ-permutable if U permutes with every member of Σ. In [1; I, 4·29] it is proved that if U and V are Σ-permutable subgroups of G then so also are U ∩ V and 〈U, V〉.

On finite soluble groups in which Sylow permutability is a transitive relation

A characterisation of finite soluble groups in which Sylow permutability is a transitive relation by means of subgroup embedding properties enjoyed by all the subgroups is proved in the paper. The key point is an extension of a subnormality criterion due to Wielandt.

On second maximal subgroups of Sylow subgroups of finite groups

Abstract Finite groups in which the second maximal subgroups of the Sylow p -subgroups, p a fixed prime, cover or avoid the chief factors of some of its chief series are completely classified.

On the p-length of some finite p-soluble groups

The main aim of this paper is to give structural information of a finite group of minimal order belonging to a subgroup-closed class of finite groups and whose $p$-length is greater than $1$, $p$ a prime number. Alternative proofs and improvements of recent results about the influence of minimal $p$-subgroups on the $p$-nilpotence and $p$-length of a finite group arise as consequences of our study

On some classes of supersoluble groups

[EN] Finite groups G for which for every subgroup H and for all primes q dividing the index |G:H| there exists a subgroup K of G such that H is contained in K and |K:H|=q are called Y-groups. Groups in which subnormal subgroups permute with all Sylow subgroups are called PST-groups. In this paper a local version of the Y-property leading to a local characterisation of Y-groups, from which the classical characterisation emerges, is introduced. The relationship between PST-groups and Y-groups is also analysed.

On a question of chambers and makan

On self-normalising subgroups of finite groups

[EN] The aim of this paper is to characterise the classes of groups in which every subnormal subgroup is normal, permutable, or S-permutable by the embedding of the subgroups (respectively, subgroups of prime power order) in their normal, permutable, or S-permutable closure, respectively.

Normalizadores y subgrupos de Prefrattini de grupos finitos

On finite p-groups of supersoluble type

Abstract A finite p-group S is said to be of supersoluble type if every fusion system over S is supersoluble. The main aim of this paper is to characterise the finite p-groups of supersoluble type. Abelian and metacyclic p-groups of supersoluble type are completely described. Furthermore, we show that the Sylow p-subgroups of supersoluble type of a finite simple group must be cyclic.

Algorithms for permutability in finite groups

In this paper we describe some algorithms to identify permutable and Sylow-permutable subgroups of finite groups, Dedekind and Iwasawa finite groups, and finite T-groups (groups in which normality is transitive), PT-groups (groups in which permutability is transitive), and PST-groups (groups in which Sylow permutability is transitive). These algorithms have been implemented in a package for the computer algebra system GAP.

On saturated formations of finite groups with a restricted cover and avoidance property

Some Characterisations of Soluble SST-Groups

All groups considered in this paper are finite. A subgroup H of a group G is said to be SS-permutable or SS-quasinormal in G if H has a supplement K in G such that H permutes with every Sylow subgroup of K. Following [6], we call a group G an SST-group provided that SS-permutability is a transitive relation in G, that is, if A is an SS-permutable subgroup of B and B is an SS-permutable subgroup of G, then A is an SS-permutable subgroup of G. The main aim of this paper is to present several characterisations of soluble SST-groups.

A question from the Kourovka Notebook on formation products

[EN] It is shown in this paper that if X is a class of simple groups such that pi(X) = char X, the X-saturated formation H generated by a finite group cannot be expressed as the Gaschütz product F o G of two non-X-saturated formations if H = G. It answers some open questions on products of formations. The relation between omega-saturated and X-saturated formations is also discussed.

Some contributions to the theory of transformation monoids

The aim of this paper is to present some contributions to the theory of finite transformation monoids. The dominating influence that permutation groups have on transformation monoids is used to describe and characterise transitive transformation monoids and primitive transitive transformation monoids. We develop a theory that not only includes the analogs of several important theorems of the classical theory of permutation groups but also contains substantial information about the algebraic structure of the transformation monoids. Open questions naturally arising from the substantial paper of Steinberg [A theory of transformation monoids: combinatorics and representation theory. Electron. J…

On a paper of Beltrán and Shao about coprime action

Abstract Assume that A and G are finite groups of coprime orders such that A acts on G via automorphisms. Let p be a prime. The following coprime action version of a well-known theorem of Ito about the structure of a minimal non-p-nilpotent groups is proved: if every maximal A-invariant subgroup of G is p-nilpotent, then G is p-soluble. If, moreover, G is not p-nilpotent, then G must be soluble. Some earlier results about coprime action are consequences of this theorem.

Transitivity of Sylow permutability, the converse of Lagrange's theorem, and mutually permutable products

This paper is devoted to the study of mutually permutable products of finite groups. A factorised group G = AB is said to be a mutually permutable product of its factors A and B when each factor permutes with every subgroup of the other factor. We prove that mutually permutable products of Y -groups (groups satisfying the converse of Lagrange's theorem) and SC-groups (groups whose chief factors are simple) are SC -groups. Next, we show that a product of pairwise mutually permutable Y -groups is supersoluble. Finally, we give a local version of the result stating that if a mutually permutable product of two groups is a PST - group (that is, a group in which every subnormal subgroup permutes …

On Formations of Finite Groups with the Wielandt Property for Residuals

Abstract Given two subgroups U, V of a finite group which are subnormal subgroups of their join 〈U, V〉 and a formation F , in general it is not true that 〈U, V〉 F  = 〈U F , V F 〉. A formation is said to have the Wielandt property if this equality holds universally. A formation with the Wielandt property must be a Fitting class. Wielandt proved that the most usual Fitting formations (e.g., nilpotent groups and π-groups) have the Wielandt property. At present, neither a general satisfactory result on the universal validity of the Wielandt property nor a counterexample is known. In this paper a criterion for a Fitting formation to have the Wielandt property is given. As an application, it is p…

A note on Sylow permutable subgroups of infinite groups

Abstract A subgroup A of a periodic group G is said to be Sylow permutable, or S-permutable, subgroup of G if A P = P A for all Sylow subgroups P of G. The aim of this paper is to establish the local nilpotency of the section A G / Core G ( A ) for an S-permutable subgroup A of a locally finite group G.

Maximal subgroups of small index of finite almost simple groups

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 &lt; |S|$.

Left braces and the quantum Yang-Baxter equation

[EN] Braces were introduced by Rump in 2007 as a useful tool in the study of the set-theoretic solutions of the Yang¿Baxter equation. In fact, several aspects of the theory of finite left braces and their applications in the context of the Yang¿Baxter equation have been extensively investigated recently. The main aim of this paper is to introduce and study two finite brace theoretical properties associated with nilpotency, and to analyse their impact on the finite solutions of the Yang¿Baxter equation.

On a Class of Generalized Nilpotent Groups

AbstractWe explore the class B of generalized nilpotent groups in the universe c[formula] of all radical locally finite groups satisfying min-p for every prime p. We obtain that this class is the natural generalization of the class of finite nilpotent groups from the finite universe to the universe c[formula]. Moreover, the structure of B-groups is determined explicitly. It is also shown that B is a subgroup-closed c[formula]-formation and that in every c[formula]-group the Fitting subgroup is the unique maximal normal B-subgroup.

A note on finite groups generated by their subnormal subgroups

AbstractFollowing the theory of operators created by Wielandt, we ask for what kind of formations $\mathfrak{F}$ and for what kind of subnormal subgroups $U$ and $V$ of a finite group $G$ we have that the $\mathfrak{F}$-residual of the subgroup generated by two subnormal subgroups of a group is the subgroup generated by the $\mathfrak{F}$-residuals of the subgroups.In this paper we provide an answer whenever $U$ is quasinilpotent and $\mathfrak{F}$ is either a Fitting formation or a saturated formation closed for quasinilpotent subnormal subgroups.AMS 2000 Mathematics subject classification: Primary 20F17; 20D35

ℏ-Normalizers and local definitions of saturated formations of finite groups

We define, in each finite groupG, h-normalizers associated with a Schunck class ℏ of the formEΦ f with f a formation. We use these normalizers in order to give some sufficient conditions for a saturated formation of finite groups to have a maximal local definition.

Some subgroup embeddings in finite groups

In this survey paper several subgroup embedding properties related to some types of permutability are introduced and studied.

A Gaschütz–Lubeseder Type Theorem in a Class of Locally Finite Groups

The aim of this paper is to present a Gaschutz–Lubeseder type theorem in the class cL of all radical locally finite groups satisfying min−p for all primes p. Notice that these groups are countable and co-Hopfian by [1, (5.4.8)]. In retrospect, the theory of saturated formations of finite soluble groups began with the results of Gaschutz [3] in 1963. He introduced the concept of “covering subgroup” as a generalization of Sylow and Hall subgroups. These covering subgroups have many of the properties of Sylow and Hall subgroups other than the arithmetic ones. The main idea of Gaschutz’s work was concerned with group theoretical classes having the same properties. He defined a formation F to be…

On finite groups generated by strongly cosubnormal subgroups

[EN] Two subgroups A and B of a group G are cosubnormal if A and B are subnormal in their join and are strongly cosubnormal if every subgroup of A is cosubnormal with every subgroup of B. We find necessary and sufficient conditions for A and B to be strongly cosubnormal in and, if Z is the hypercentre of G=, we show that A and B are strongly cosubnormal if and only if G/Z is the direct product of AZ/Z and BZ/Z. We also show that projectors and residuals for certain formations can easily be constructed in such a group. Two subgroups A and B of a group G are N-connected if every cyclic subgroup of A is cosubnormal with every cyclic subgroup of B (N denotes the class of nilpotent groups). Thou…

The Jordan-Hölder theorem and prefrattini subgroups of finite groups

by A. BALLESTER-BOLINCHES and L. M. EZQUERRO(Received 26 January, 1994)Introduction. All groups considered are finite. In recent years a number ofgeneralizations of the classic Jordan-Holder Theorem have been obtained (see [7],Theorem A.9.13): in a finite group G a one-to-one correspondence as in the Jordan-Holder Theorem can be defined preserving not only G-isomorphic chief factors but eventheir property of being Frattini or non-Frattini chief factors. In [2] and [13] a newdirection of generalization is presented: the above correspondence can be defined in sucha way that the corresponding non-Frattini chief factors have the same complement(supplement).In this paper we present a necessary a…

Finite Soluble Groups with Permutable Subnormal Subgroups

Abstract A finite group G is said to be a PST -group if every subnormal subgroup of G permutes with every Sylow subgroup of G . We shall discuss the normal structure of soluble PST -groups, mainly defining a local version of this concept. A deep study of the local structure turns out to be crucial for obtaining information about the global property. Moreover, a new approach to soluble PT -groups, i.e., soluble groups in which permutability is a transitive relation, follows naturally from our vision of PST -groups. Our techniques and results provide a unified point of view for T -groups, PT -groups, and PST -groups in the soluble universe, showing that the difference between these classes is…

On the supersoluble hypercentre of a finite group

[EN] We give some sufficient conditions for a normal p-subgroup P of a finite group G to have every G-chief factor below it cyclic. The S-permutability of some p-subgroups of O^p(G)plays an important role. Some known results can be reproved and some others appear as corollaries of our main theorems.

On complements of 𝔉-residuals of finite groups

ABSTRACTA formation &#x1d509; of finite groups has the generalized Wielandt property for residuals, or &#x1d509; is a GWP-formation, if the &#x1d509;-residual of a group generated by two &#x1d509;-subnormal subgroups is the subgroup generated by their &#x1d509;-residuals. The main aim of the paper is to determine some sufficient conditions for a finite group to split over its &#x1d509;-residual.

On finite minimal non-nilpotent groups

[EN] A critical group for a class of groups X is a minimal non-X-group. The critical groups are determined for various classes of finite groups. As a consequence, a classification of the minimal non-nilpotent groups (also called Schmidt groups) is given, together with a complete proof of Gol¿fand¿s theorem on maximal Schmidt groups.