On noninner automorphisms of 2-generator finite p-groups

A longstanding conjecture asserts that every finite nonabelian p-group admits a noninner automorphism of order p. In this paper we give some necessary conditions for a possible counterexample G to this conjecture, in the case when G is a 2-generator finite p-group. Then we show that every 2-generator finite p-group with abelian Frattini subgroup has a noninner automorphism of order p.     

Note on elongations of totally projective p-groups by p ω+n -projective p-groups

It is proved that any Σ-group, which is a special elongation of a totally projective abelian p-group by a p ^ω+1-projective abelian p-group, is totally projective. In particular, each p ^ω+1-projective abelian Σ-p-group is a direct sum of countable p-groups of lengths not exceeding ω + 1. This strengthens our recent result published in Comment. Math. Univ. St. Pauli (2006). Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 2, pp. 180–185, April–June, 2006.     

Some remarks on almost l-groups

The divisibility group of every Bézout domain is an abelian l-group. Conversely, Jaffard, Kaplansky, and Ohm proved that each abelian l-group can be obtained in this way, which generalizes Krull’s theorem for abelian linearly ordered groups. Dumitrescu, Lequain, Mott, and Zafrullah [3] proved that an integral domain is almost GCD if and only if its divisibility group is an almost l-group. Then they asked whether the Krull-Jaffard-Kaplansky-Ohm theorem on l-groups can be extended to the framework of almost l-groups, and asked under what conditions an almost l-group is lattice-ordered [3, Questions 1 and 2]. This note answers the two questions. Received: 29 April 2008     

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.     

Connected components of the category of elementary abelian p-subgroups

We determine the maximal number of conjugacy classes of maximal elementary abelian subgroups of rank 2 in a finite p-group G, for an odd prime p. Namely, it is p if G has rank at least 3 and it is p+1 if G has rank 2. More precisely, if G has rank 2, there are exactly 1,2,p+1, or possibly 3 classes for some 3-groups of maximal nilpotency class.     

Counterexamples to a rank analog of the Shepherd-Leedham-Green-Mckay theorem on finite p-groups of maximal nilpotency class

By the Shepherd-Leedham-Green-McKay theorem on finite p-groups of maximal nilpotency class, if a finite p-group of order p ⁿ has nilpotency class n?1, then f has a subgroup of nilpotency class at most 2 with index bounded in terms of p. Some counterexamples to a rank analog of this theorem are constructed that give a negative solution to Problem 16.103 in The Kourovka Notebook. Moreover, it is shown that there are no functions r(p) and l(p) such that any finite 2-generator p-group whose all factors of the lower central series, starting from the second, are cyclic would necessarily have a normal subgroup of derived length at most l(p) with quotient of rank at most r(p). The required examples of finite p-groups are constructed as quotients of torsion-free nilpotent groups which are abstract 2-generator subgroups of torsion-free divisible nilpotent groups that are in the Mal’cev correspondence with “truncated” Witt algebras.     

Some remarks on the degrees of faithful irreducible representations

We study a class of finite p-groups admitting faithful irreducible complex representations of distinct degrees. In particular, for every prime p, we produce an example of such a p-group having minimal order p ⁸.Dedicated to A. Wagner on the occasion of his 60th birthdayLavoro eseguito nell'ambito dei finanziamenti M.U.R.S.T.     

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

On Finite p-Groups Whose IA-Automorphisms Are All Class Preserving

Let G be a finite non-abelian p-group, where p is a prime. An automorphism α of G is called a class preserving automorphism if α(x) ∈ x ^G the conjugacy class of x in G, for all x ∈ G. An automorphism α of G is called an IA-automorphism if x ^?1α(x) ∈ G′ for each x ∈ G. In this paper, we give necessary and sufficient conditions on finite p-group G of nilpotency class 2 such that every IA-automorphism is class preserving.     

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.     

Finite Exceptional p-Groups of Small Order

A finite group is said to be exceptional if its minimal degree of a faithful permutation representation is strictly less than that of one of its factor groups, called a distinguished quotient. It was previously unknown if exceptional p-groups of order less than p ⁶ existed for p an odd prime. The author proved in his M.Sc thesis that there are none of order ≤p ⁴ and gave restrictions on the possible existence of distinguished quotients of exceptional groups of order p ⁵. In this article, an exceptional p-group of order p ⁵ is exhibited for p any odd prime.     

Finite p-Groups All of Whose Proper Quotient Groups are Abelian or Inner-Abelian

In this article, finite p-groups all of whose proper quotient groups are abelian or inner-abelian are classified. As a corollary, finite p-group all of whose proper quotient groups are abelian, and finite p-groups all of whose proper sections are abelian or inner-abelian are also classified.     

Partial Decomposition Bases and Global Warfield Groups

The class of abelian groups with partial decomposition bases was developed by the first author in order to generalize Barwise and Eklof's classification of torsion groups in L_∞ω. In this article, we continue to explore algebraic characteristics of this class and establish a uniqueness theorem, extending our previous work on mixed p-local groups to the global case. It is shown that groups with partial decomposition bases are characterized in terms of Warfield groups and k-groups of Hill and Megibben. In fact, we prove that the class of groups with partial decomposition bases is identical to the class of k-groups, and, as such, closed under direct summands, and that every finitely generated subgroup of a k-group is locally nice. Also, we introduce and explore subgroups possessing a partial subbasis. As an application, it is shown that isotype k-subgroups of abelian groups are k-groups.     

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

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

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.     

Glatte p-Gruppen

A p-group G is called smooth if there is a smooth chief series in G, that is a chief series in which any two factor groups of the same order are isomorphic. It is shown that in most cases non-abelian smooth p-groups are of nilpotency class two and that a smooth p-group is not much larger than the largest abelian group in its smooth chief series.     

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 Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.