A Classification of Minimal Non-MNP-Groups

A finite group G is called an MNP-group if all maximal subgroups of every Sylow subgroup of G are normal in G. In this article, we give a complete classification of those groups which are not MNP-groups but all of whose proper subgroups are MNP-groups.     

On some groups all subgroups of which are nearly pronormal

A subgroup H of a group G is called nearly pronormal in G if, for every subgroup L of the group G that contains H, the normalizer N _L (H) is contranormal in L. We prove that if G is a (generalized) solvable group in which every subgroup is nearly pronormal, then all subgroups of G are pronormal. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 10, pp. 1331–1338, October, 2007.     

On <Emphasis Type="Italic">T</Emphasis>-groups,supersolvable groups,and maximal subgroups

A group is called a T-group if all its subnormal subgroups are normal. Finite T-groups have been widely studied since the seminal paper of Gaschütz (J. Reine Angew. Math. 198 (1957), 87–92), in which he described the structure of finite solvable T-groups. We call a finite group G an NNM-group if each non-normal subgroup of G is contained in a non-normal maximal subgroup of G. Let G be a finite group. Using the concept of NNM-groups, we give a necessary and sufficient condition for G to be a solvable T-group (Theorem 1), and sufficient conditions for G to be supersolvable (Theorems 5, 7 and Corollary 6).     

On the strongly closed subgroups or H-subgroups of finite groups

Let G be a finite group. Goldschmidt, Flores, and Foote investigated the concept: Let K ≤ G. A subgroup H of K is called strongly closed in K with respect to G if H ^g ∩ K ≤ H for all g ∈ G. In particular, when H is a subgroup of prime-power order and K is a Sylow subgroup containing it, H is simply said to be a strongly closed subgroup. Bianchi and the others called a subgroup H of G an H-subgroup if N _G (H) ∩ H ^g ≤ H for all g ∈ G. In fact, an H-subgroup of prime power order is the same as a strongly closed subgroup. We give the characterizations of finite non-T-groups whose maximal subgroups of even order are solvable T-groups by H-subgroups or strongly closed subgroups. Moreover, the structure of finite non-T-groups whose maximal subgroups of even order are solvable T-groups may be difficult to give if we do not use normality.     

子群的核平凡或正规闭包极大的有限p群

称有限p群G为ACT群,如果对每个交换子群H,其正规核HG=1或HG=H.又称p群G是CC群,如果对每个非正规交换子群H,有HG=1或HG在G中的指数为p.本文分类了ACT群和CC群.     

A note on TI-subgroups of finite groups

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H ^x  = 1 or H for any x ∈ G. In this short note, the finite groups all of whose nonabelian subgroups are TI-subgroups are classified.     

Finite groups in which permutability is a transitive relation on their frattini factor groups

Let G be a finite group. A PT-group is a group G whose subnormal subgroups are all permutable in G. A PST-group is a group G whose subnormal subgroups are all S-permutable in G. We say that G is a PT_o-group (respectively, a PST_o-group) if its Frattini quotient group G/Φ(G) is a PT-group (respectively, a PST-group). In this paper, we determine the structure of minimal non-PT_o-groups and minimal non-PST_o-groups.      

Classification of finite groups satisfying a minimal condition

If H is a subgroup of a finite group G then we denote the normal closure of H in G by H ^G . We call G a PE-group if every minimal subgroup X of G satisfies N ^G (X) ∩ X ^G = X. The authors classify the finite non-PE-groups whose maximal subgroups of even order are PE-groups.     

On Weakly ℋ-Subgroups of Finite Groups

Let G be a finite group. A subgroup H of G is called an ?-subgroup in G if N _G (H) ∩ H ^x  ≤ H for all x ∈ G. A subgroup H of G is called weakly ?-subgroup in G if there exists a normal subgroup K of G such that G = HK and H ∩ K is an ?-subgroup in G. In this article, we investigate the structure of the finite group G under the assumption that all maximal subgroups of every Sylow subgroup of some normal subgroup of G are weakly ?-subgroups in G. Some recent results are extended and generalized.     

Finite p-Groups Whose Abelian Subgroups Have a Trivial Intersection

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H^x = 1 or H for all x ∈ G. In this paper, a complete classification for finite p-groups, in which all abelian subgroups are TI-subgroups, is given.     

ON MINIMAL NON-<Emphasis Type="Italic">MSP</Emphasis>-GROUPS

A finite group G is called an MSP-group if all maximal subgroups of the Sylow subgroups of G are S-quasinormal in G: We give a complete classification of groups that are not MSP-groups but all their proper subgroups are MSP-groups.     

Maximal abelian and minimal nonabelian subgroups of some finite two-generator p-groups especially metacyclic

We study the subgroup structure of some two-generator p-groups and apply the obtained results to metacyclic p-groups. For metacyclic p-groups G, p > 2, we do the following: (a) compute the number of nonabelian subgroups with given derived subgroup, show that (ii) minimal nonabelian subgroups have equal order, (c) maximal abelian subgroups have equal order, (d) every maximal abelian subgroup is contained in a minimal nonabelian subgroup and all maximal subgroups of any minimal nonabelian subgroup are maximal abelian in G. We prove the same results for metacyclic 2-groups (e) with abelian subgroup of index p, (f) without epimorphic image ? D₈. The metacyclic p-groups containing (g) a minimal nonabelian subgroup of order p ⁴, (h) a maximal abelian subgroup of order p ³ are classified. We also classify the metacyclic p-groups, p > 2, all of whose minimal nonabelian subgroups have equal exponent. It appears that, with few exceptions, a metacyclic p-group has a chief series all of whose members are characteristic.     

Every 2-group with all subgroups normal-by-finite is locally finite

A group G has all of its subgroups normal-by-finite if H/H _G is finite for all subgroups H of G. The Tarski-groups provide examples of p-groups (p a “large” prime) of nonlocally finite groups in which every subgroup is normal-by-finite. The aim of this paper is to prove that a 2-group with every subgroup normal-by-finite is locally finite. We also prove that if |H/H _G | 6 2 for every subgroup H of G, then G contains an Abelian subgroup of index at most 8.     

Groups with given properties of finite subgroups

Suppose that in every finite even order subgroup F of a periodic group G, the equality [u, x]² = 1 holds for any involution u of F and for an arbitrary element x of F. Then the subgroup I generated by all involutions in G is locally finite and is a 2-group. In addition, the normal closure of every subgroup of order 2 in G is commutative.     

On a question of N. Blackburn about finite 2-groups

We classify finite 2-groupsG possessing an involution which is contained in a unique subgroup of order 4 inG. This answers a question of N. Blackburn about finite 2-groups. We show that the extended Blackburn’s problem is reduced to the outstanding problem ofp-group theory to classify 2-groups with exactly three involutions.     

Finite groups in which normality is a transitive relation

Let G be a finite group. We say that G is a T₀-group, if its Frattini quotient group G/F(G)G/\Phi (G) is a T-group, where by a T-group we mean a group in which every subnormal subgroup is normal. We determine the structure of a non T₀-group G all of whose proper subgroups are T₀-groups.     

Soluble minimal non-(finite-by-Baer)-groups

Let \mathfrakX{\mathfrak{X}} be a class of groups. A group G is called a minimal non- \mathfrakX{\mathfrak{X}}-group if it is not an \mathfrakX{\mathfrak{X}}-group but all of whose proper subgroups are \mathfrakX{\mathfrak{X}}-groups. In [16], Xu proved that if G is a soluble minimal non-Baer-group, then G/G ^′′ is a minimal non-nilpotent-group which possesses a maximal subgroup. In the present note, we prove that if G is a soluble minimal non-(finite-by-Baer)-group, then for all integer n ≥ 2, G/γ _n (G′) is a minimal non-(finite-by-abelian)-group.     

On Groups in Which Normality Is a Transitive Relation

A subgroup H of a group G is said to be weakly normal if H ^g  = H whenever g is an element of G such that H ^g  ≤ N _G (H). There is a strictly relation between weak normality and groups in which normality is a transitive relation ( T-groups). In [Ballester-Bolinches, A., Esteban-Romero, R. (2003). On finite T-groups. J. Aust. Math. Soc. 75:181–191] it is proved that a finite group G is a soluble T-group if and only if every subgroup of G is weakly normal. In this article, we extend the above result to infinite groups having no infinite simple sections. Moreover, it will be shown that every locally graded non-periodic group, all of whose subgroups are weakly normal, is abelian.