A decomposition theorem for G-groups

Some classical results about linear representations of a finite group G have been also proved for representations of G on non-abelian groups （G-groups）. In this paper we establish a decomposition theorem for irreducible G-groups which expresses a suitable irreducible G-group as a tensor product of two projective G-groups in a similar way to the celebrated theorem of Clifford for linear representations. Moreover, we study the non-abelian minimal normal subgroups of G in which this decomposition is possible.     

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.      

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.     

Finite groups with some pronormal subgroups

A subgroup H of finite group G is called pronormal in G if for every element x of G, H is conjugate to H ^x in 〈H, H ^x 〉. A finite group G is called PRN-group if every cyclic subgroup of G of prime order or order 4 is pronormal in G. In this paper, we find all PRN-groups and classify minimal non-PRN-groups (non-PRN-group all of whose proper subgroups are PRN-groups). At the end of the paper, we also classify the finite group G, all of whose second maximal subgroups are PRN-groups.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.     

A-Solvability and Mixed Abelian Groups

An abelian group A is an S-group (S ⁺-group) if every subgroup B ≤ A of finite index is A-generated (A-solvable). This article discusses some of the differences between torsion-free S-groups and mixed S-groups, and studies (mixed) S- and S ⁺-groups, which are self-small and have finite torsion-free rank.     

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 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.     

Almost Butler groups

Generalizing the notion of the almost free group we introduce almost Butler groups. An almost B ₂-group G of singular cardinality is a B ₂-group. Since almost B ₂-groups have preseparative chains, the same result in regular cardinality holds under the additional hypothesis that G is a B ₁-group. Some other results characterizing B ₂-groups within the classes of almost B ₁-groups and almost B ₂-groups are obtained. A theorem of [BR] stating that a group G of weakly compact cardinality having a -filtration consisting of pure B ₂-subgroup is a B ₂-group appears as a corollary.     

Finite p-groups not characteristic in any p-group in which they are properly contained

Answering a question raised by Y. Berkovich, we give examples of finite p-groups G with the property that the only finite p-group K with G char K, is G itself. We also prove a theorem stating that every finite p-group is contained in such a group G.     

Lamron ℓ-groups

The article introduces a new class of lattice-ordered groups. An ?-group G is lamron if Min(G)^?1 is a Hausdorff topological space, where Min(G)^?1 is the space of all minimal prime subgroups of G endowed with the inverse topology. It will be evident that lamron ?-groups are related to ?-groups with stranded primes. In particular, it is shown that for a W-object (G,u), if every value of u contains a unique minimal prime subgroup, then G is a lamron ?-group; such a W-object will be said to have W-stranded primes. A diverse set of examples will be provided in order to distinguish between the notions of lamron, stranded primes, W-stranded primes, complemented, and weakly complemented ?-groups.     

Finite Soluble Groups with Permutable Subnormal Subgroups

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 quite simply their Sylow structure.     

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.     

On maximal abelian subgroups in finite 2-groups

We determine here up to isomorphism the structure of any finite nonabelian 2-group G in which every two distinct maximal abelian subgroups have cyclic intersection. We obtain five infinite classes of such 2-groups (Theorem 1.1). This solves for p = 2 the problem Nr. 521 stated by Berkovich (in preparation). The more general problem Nr. 258 stated by Berkovich (in preparation) about the structure of finite nonabelian p-groups G such that A ∩ B = Z(G) for every two distinct maximal abelian subgroups A and B is treated in Theorems 3.1 and 3.2. In Corollary 3.3 we get a new result for an arbitrary finite 2-group. As an application of Theorems 3.1 and 3.2, we solve for p = 2 a problem of Heineken-Mann (Problem Nr. 169 stated in Berkovich, in preparation), classifying finite 2-groups G such that A/Z(G) is cyclic for each maximal abelian subgroup A (Theorem 4.1).      

On Finite Quasi-ℱ-Groups

Let G be a finite group and ? a saturated formation of finite groups. We say that G is quasi-?-group if for every ?-eccentric chief factor H/K of G and every x ∈ G, x induces an inner automorphism on H/K. In particular, we have the concepts of quasisoluble, quasisupersoluble, quasimetanilpotent groups, and so on. In this article, we obtain some results about the quasi-?-groups and use them to give the conditions under which a group is quasisoluble, quasimetanilpotent, or quasisupersoluble.     

On Finite p-Groups Whose Central Automorphisms are all Class Preserving

We obtain certain results on a finite p-group whose central automorphisms are all class preserving. In particular, we prove that if G is a finite p-group whose central automorphisms are all class preserving, then d(G) is even, where d(G) denotes the number of elements in any minimal generating set for G. As an application of these results, we obtain some results regarding finite p-groups whose automorphisms are all class preserving.     

On Hypercentral Groups G With |G:G n |<∞

In 1960, Baumslag, following up on work of Cernikov for the 1940s, proved that a hypercentral p-group G with G = G ^p is a divisible Abelian group. In this article, we provide an interesting generalization of this 45 year old result: If a hypercentral p-group G satisfies |G:G ^p |<∞ (of course, it contains G = G ^p ), there exists a normal divisible Abelian subgroup D such that |G:D|<∞.     

<Emphasis Type="Italic">p</Emphasis>-groups having few almost-rational irreducible characters

We prove that a 2-group has exactly five rational irreducible characters if and only if it is dihedral, semidihedral or generalized quaternion. For an arbitrary prime p, we say that an irreducible character χ of a p-group G is “almost rational” if ℚ(χ) is contained in the cyclotomic field ℚ _p , and we write ar(G) to denote the number of almost-rational irreducible characters of G. For noncyclic p-groups, the two smallest possible values for ar(G) are p ² and p ² + p − 1, and we study p-groups G for which ar(G) is one of these two numbers. If ar(G) = p ² + p − 1, we say that G is “exceptional”. We show that for exceptional groups, |G: G′| = p ², and so the assertion about 2-groups with which we began follows from this. We show also that for each prime p, there are exceptional p-groups of arbitrarily large order, and for p ≥ 5, there is a pro-p-group with the property that all of its finite homomorphic images of order at least p ³ are exceptional.     

On the Schur multipliers of finite p-groups of given coclass

In this paper we obtain bounds for the order and exponent of the Schur multiplier of a p-group of given coclass. These are further improved for p-groups of maximal class. In particular, we prove that if G is p-group of maximal class, then |H ₂(G, ℤ)| < |G| and expH ₂(G, ℤ) ≤ expG. The bound for the order can be improved asymptotically.     

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.