Finite nonabelian <Emphasis Type="Italic">p</Emphasis>-groups having exactly one maximal subgroup with a noncyclic center

We prove here that a nonabelian finite p-group G has exactly one maximal subgroup with a noncyclic center if and only if Z(G) is cyclic and G has exactly one normal abelian subgroup of type (p, p).     

Finite 2-groups all of whose nonmetacyclic subgroups are generated by involutions

We classify here nonmetacyclic finite 2-groups all of whose nonmetacyclic subgroups are generated by involutions (Theorem 1.1). This solves problem Nr. 710 for p = 2 stated by Y. Berkovich in [1]. For p > 2 the corresponding problem is open. Received: 14 March 2007 Revised: 15 April 2007     

Finite 2-groups with a nonabelian Frattini subgroup of order 16

According to a classical result of Burnside, if G is a finite 2-group, then the Frattini subgroup Φ(G) of G cannot be a nonabelian group of order 8. Here we study the next possible case, where G is a finite 2-group and Φ(G) is nonabelian of order 16. We show that in that case Φ(G) ≅ M × C₂, where M ≅ D₈ or M ≅ Q₈ and we shall classify all such groups G (Theorem A). Received: 16 February 2005; revised: 7 March 2005     

Finite rings with exactly two maximal subrings

We describe finite associative rings that contain at most two maximal subrings.     

Finite A-groups with complementable nonmetacyclic subgroups

We study groups G that satisfy the following conditions (i) G is a finite solvable group with nonidentity primary metacyclic second commutator subgroup (ii) all Sylow subgroups of G are elementary Abelian. We describe the structure of groups of this type with complementable nonmetacyclic subgroups. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 5, pp. 607–615, May, 2006.     

Finite quaternion-free 2-groups

We present an elementary proof of the classification theorem for finite nonmodular quaternion-free 2-groups. This proof does not involve the structure theory of powerful 2-groups. Such a new proof is also necessary, since there are several gaps in the original proof given in [5].     

Finite separable metacyclic 2-groups

A finite separable metacyclic 2-group G can be written as the semidirect product of a cyclic group with another cyclic group. Necessary and sufficient conditions are given for when all other split decompositions of G result in, up to isomorphism, this same semidirect product representation for G.     

Finite alperin 2-groups with cyclic second commutants

An Alperin group is a group in which every 2-generated subgroup has a cyclic commutant. Previously, we constructed examples of finite Alperin 2-groups with second commutant isomorphic to Z ₂ or Z ₄. Here, it is proved that for any natural n, there exists a finite Alperin 2-group whose second commutant is isomorphic to Z _2n .     

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

Finite groups in which every 3-Maximal subgroup commutes with all maximal subgroups

The structure of finite groups in which every 3-maximal subgroup commutes with all maximal subgroups is described.     

Finite 2-groups having invariant non-completely partitionable subgroups

A theorem is proved which classifies and describes up to generating elements and defining relations the finite 2-groups having invariant non-completely partitionable subgroups.Translated from Matematicheskie Zametki, Vol. 10, No. 2, pp. 151–161, August, 1971.The author is grateful to N. F. Sesekin for the problem statement and scientific direction.     

Graphs with exactly one hamiltonian circuit

Let h(n) be the largest integer such that there exists a graph with n vertices having exactly one Hamiltonian circuit and exactly h(n) edges. We prove that h(n) = [n²/4]+1 (n ≧ 4) and discuss some related problems.