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

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.     

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.      

Finite p-Groups All of Whose Minimal Nonnormal Subgroups Posses Large Normal Closures

We obtained some results about finite p-groups G with G/H^G being abelian for all nonnormal subgroups H, where H^G denotes the normal closure of H. Moreover, we give a classification of finite p-groups G with G/H^G being cyclic for all nonnormal subgroups H.     

Minimal Non-FO-Groups

A group G is said to be a “minimal non-FO-group” (an MNFO-group) if all its proper subgroups are FO-groups, but G itself is not. The aim of this article is to study the class of MNFO-groups. The structure of MNFO-groups is completely described, both in nonperfect case and perfect case.     

<Emphasis Type="Italic">G</Emphasis>-manifolds of nilpotent groups and manifolds of power groups

The work is devoted to the theory of manifolds in the category of G-groups and in the category of power groups. Nilpotent manifolds in these categories are studied. Some new notions in group theory are introduced and studied: G-manifolds, groups of reduced G-identities, commutator subgroups, etc. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 46, Algebra, 2007.     

Finite 2-generator equilibrated p-groups

Following Blackburn, Deaconescu and Mann, a group G is called an equilibrated group if for any subgroups H,K of G with HK = KH, either H≤NG(K) or K≤NG(H). Continuing their work and based on the classification of metacyclic p-groups given by Newman and Xu, we give a complete classification of 2-generator equilibrated p-groups in this note.     

On subgroups of finite <Emphasis Type="Italic">p</Emphasis>-groups

In §2, we prove that if a 2-group G and all its nonabelian maximal sub-groups are two-generator, then G is either metacyclic or minimal non-abelian. In §3, we consider a similar question for p > 2. In §4 the 2-groups all of whose minimal nonabelian subgroups have order 16 and a cyclic subgroup of index 2, are classified. It is proved, in §5, that if G is a nonmetacyclic two-generator 2-group and A, B, C are all its maximal subgroups with d(A) ≤ d(B) ≤ d(C), then d(C) = 3 and either d(A) = d(B) = 3 (this occurs if and only if G/G′ has no cyclic subgroup of index 2) or else d(A) = d(B) = 2. Some information on the last case is obtained in Theorem 5.3.     

Infinite groups with Sylow permutable subgroups

If a subgroup H of a periodic group G satisfies HP = PH for all Sylow subgroups P of G, then we call H a Sylow-permutable, or S-permutable, subgroup of G. It is well known that S-permutability is not a transitive relation. In this paper, we study infinite periodic groups in which the relation to be S -permutable is transitive (PST-groups) and infinite periodic groups whose ascendant subgroups are S-permutable (ASP-groups).     

Finite 2-groups all of whose nonabelian subgroups are generated with involutions

In this note we determine finite nonabelian 2-groups G all of whose nonabelian subgroups are generated by involutions and show that such groups must be quasi-dihedral. This solves the problem Nr. 1595 for p = 2 in [1].     

Infinite-dimensional linear groups with restrictions on subgroups that are not soluble <Emphasis Type="Italic">A</Emphasis><Subscript>3</Subscript>-groups

We are concerned with infinite-dimensional locally soluble linear groups of infinite central dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite central dimension. The structure of groups in this class is described. The case of infinite-dimensional locally nilpotent linear groups satisfying the specified conditions is treated separately. A similar problem is solved for infinite-dimensional locally soluble linear groups of infinite fundamental dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite fundamental dimension. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 548–559, September–October, 2007.     

Schur multiplicators of finite <Emphasis Type="Italic">p</Emphasis>-groups with fixed coclass

We investigate the Schur multiplicators M(G) of p-groups G using coclass theory. For p > 2 we show that there are at most finitely many p-groups G of coclass r with |M(G)| ≤ s for every r and s. We observe that this is not true for p = 2 by constructing infinite series of 2-groups G with coclass r and |M(G)| = 1. We investigate the Schur multiplicators of the 2-groups of coclass r further.     

The finite <Emphasis Type="Italic">p</Emphasis>-groups with <Emphasis Type="Italic">p</Emphasis> conjugacy classes of non-normal subgroups

Let ν(G) be the number of conjugacy classes of non-normal subgroups of a finite group G. The finite groups for which ν(G) ≤ 2 were determined by Dedekind and by Schmidt in the early times of group theory. On the other hand, if G is a finite p-group, La Haye and Rhemtulla have proved that either ν(G) ≤ 1 or ν(G) ≥ p. In this note, we determine all finite p-groups satisfying ν(G) = p for p > 2.     

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 whose all proper subgroups are <Emphasis Type="Italic">C</Emphasis>-groups

A group G is said to be a C-group if for every divisor d of the order of G, there exists a subgroup H of G of order d such that H is normal or abnormal in G. We give a complete classification of those groups which are not C-groups but all of whose proper subgroups are C-groups.     

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.     

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.     

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

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