On the second commutants of finite Alperin groups

We refer to an Alperin group as a group in which the commutant of every 2-generated subgroup is cyclic. Alperin proved that if p is an odd prime then all finite p-groups with the property are metabelian. Nevertheless, finite Alperin 2-groups may fail to be metabelian. We prove that for each finite abelian group H there exists a finite Alperin group G for which G″ is isomorphic to H.     

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.     

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.     

Quasinormal subgroups of order p 2

The location of quasinormal subgroups in a group is not particularly well known. Maximal ones always have to be normal, but little has been proved about the minimal ones. In finite groups, the difficulties arise in the p-groups. Here we prove that, for every odd prime p, a quasinormal subgroup of order p ² in a finite p-group G contains a quasinormal subgroup of G of order p. S. Stonehewer is grateful to the Australian National University for financial support during the preparation of this paper.     

Transfer and Tate’s theorem

Let H be a subgroup of a finite group G, and assume that p is a prime that does not divide |G : H|. In favorable circumstances, one can use transfer theory to deduce that the largest abelian p-groups that occur as factor groups of G and of H are isomorphic. When this happens, Tate’s theorem guarantees that the largest not-necessarily-abelian p-groups that occur as factor groups of G and H are isomorphic. Known proofs of Tate’s theorem involve cohomology or character theory, but in this paper, a new elementary proof is given. It is also shown that the largest abelian p-factor group of G is always isomorphic to a direct factor of the largest abelian p-factor group of H. Received: 17 June 2008     

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 -groups. In particular, it is shown that the finite solvable -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 conjugate-permutability 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, equivalently, in which every normal subgroup is permutable sensitive. However, there exist finite insolvable groups which are not -groups but all subnormal subgroups of defect two are permutable. Received: 13 August 2008     

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.     

Character tables of p-groups with derived subgroup of prime order I

Two character tables of finite groups are isomorphic if there exist a bijection for the irreducible characters and a bijection for the conjugacy classes that preserve all the character values. We give necessary and sufficient conditions for two finite groups to have isomorphic character tables. In the case of finite p-groups with derived subgroup of order p, we show that the character tables can be classified by equivalence classes of certain homomorphisms of abelian p-groups.     

On Normal Embedding of Subgroups

We survey conditions for a group to allow an embedding as a normal subgroup of another finite group, with an additional condition of containment in some given characteristic subgroup. The main objects will be finite p-groups.     

On finite Alperin 2-groups with elementary abelian second commutants

By an Alperin group we mean a group in which the commutant of each 2-generated subgroup is cyclic. Alperin proved that if p is an odd prime then all finite p-groups with this property are metabelian. The today??s actual problem is the construction of examples of nonmetabelian finite Alperin 2-groups. Note that the author had given some examples of finite Alperin 2-groups with second commutants isomorphic to Z ₂ and Z ₄ and proved the existence of finite Alperin 2-groups with cyclic second commutants of however large order by appropriate examples. In this article the existence is proved of finite Alperin 2-groups with abelian second commutants of however large rank.     

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.     

Locally Finite Groups with All Subgroups Normal-by-(Finite Rank)

A group is said to have finite (special) rank ≤ sif all of its finitely generated subgroups can be generated byselements. LetGbe a locally finite group and suppose thatH/H_Ghas finite rank for all subgroupsHofG, whereH_Gdenotes the normal core ofHinG. We prove that thenGhas an abelian normal subgroup whose quotient is of finite rank (Theorem 5). If, in addition, there is a finite numberrbounding all of the ranks ofH/H_G, thenGhas an abelian subgroup whose quotient is of finite rank bounded in terms ofronly (Theorem 4). These results are based on analogous theorems on locally finitep-groups, in which case the groupGis also abelian-by-finite (Theorems 2 and 3).     

Frattini subgroups ofp-closed andp-supersolvable groups

A nonabelianp-group with cyclic center cannot occur as a normal subgroup contained in the Frattini subgroup of ap-closed group. If a nonabelian normal subgroup of orderp ⁿ and nilpotence classk is contained in the Frattini subgroup of ap-closed group, then its exponent is a divisor ofp ^n−k . This fact is used to derive a relation among the order, number of generators, exponent, and class of the Frattini subgroup, forp-groups. Finally, it is conjectured that a nonabelianp-group having center of orderp cannot occur as a normal subgroup contained in the Frattini subgroup of any finite group. A proof is given forp-supersolvable groups.     

The lower bound of the number of nonabelian subgroups of finite p-groups

In this paper, we give the lower bound of the number of nonabelian subgroups of possible index of finite p-groups, and classify the finite p-groups such that the number of nonabelian subgroups of possible order are exactly the lower bound.     

A virtually free pro-p need not be the fundamental group of a profinite graph of finite groups

A subgroup of a pro-p product with amalgamation of two p-groups is given which cannot be presented as the pro-p fundamental group of a profinite graph of p-groups.     

A generalization of 2-Baer groups

A group in which all cyclic subgroups are 2-subnormal is called a 2-Baer group. The topic of this paper are generalized 2-Baer groups, i.e., groups in which the non-2-subnormal cyclic subgroups generate a proper subgroup of the group. If this subgroup is non-trivial, the group is called a generalized T₂-group. In particular, we provide structure results for such groups, investigate their nilpotency class, and construct examples of finite p-groups which are generalized T₂-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 <Emphasis Type="Italic">p</Emphasis>-nilpotency and minimal subgroups of finite groups

We call a subgroup H of a finite group G c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K ⩽ core(H). In this paper it is proved that a finite group G is p-nilpotent if G is S ₄-free and every minimal subgroup of P ∩ G ^N is c-supplemented in N _G (P), and when p = 2 P is quaternion-free, where p is the smallest prime number dividing the order of G, P a Sylow p-subgroup of G. As some applications of this result, some known results are generalized.     

Subgroups of powerful groups

We consider subgroups of powerfulp-groups. In particular, we give a new proof that allp-groups are sections of powerfulp-groups, give necessary and sufficient conditions for a 2-generator group to be a normal subgroup of a powerfulp-groups, and show thatp-groups of class 2, orp-groups with a cyclic commutator subgroup, are such normal subgroups.