Finite <Emphasis Type="Italic">p</Emphasis>-groups with a class of complemented normal subgroups

Assume G is a finite group and H a subgroup of G. If there exists a subgroup K of G such that G = HK and H ∩ K = 1, then K is said to be a complement to H in G. A finite p-group G is called an NC-group if all its proper normal subgroups not contained in Φ(G) have complements. In this paper, some properties of NC-groups are investigated and some classes of NC-groups are classified.     

Bogomolov multipliers for some <Emphasis Type="Italic">p</Emphasis>-groups of nilpotency class 2

The Bogomolov multiplier B ₀(G) of a finite group G is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of G. The triviality of the Bogomolov multiplier is an obstruction to Noether’s problem. We show that if G is a central product of G ₁ and G ₂, regarding K _i ≤ Z(G _i ), i = 1, 2, and θ: G ₁ → G ₂ is a group homomorphism such that its restriction \(\theta {|_{{K_1}}}:{K_1} \to {K_2}\) is an isomorphism, then the triviality of B ₀(G ₁/K ₁),B ₀(G ₁) and B ₀(G ₂) implies the triviality of B ₀(G). We give a positive answer to Noether’s problem for all 2-generator p-groups of nilpotency class 2, and for one series of 4-generator p-groups of nilpotency class 2 (with the usual requirement for the roots of unity).     

On a class of finite capable <Emphasis Type="Italic">p</Emphasis>-groups

A group G is called capable if there is a group H such that \({G \cong H/Z(H)}\) is isomorphic to the group of inner automorphisms of H. We consider the situation that G is a finite capable p-group for some prime p. Suppose G has rank \({d(G) \ge 2}\) and Frattini class \({c \ge 1}\), which by definition is the length of a shortest central series of G with all factors being elementary abelian. There is up to isomorphism a unique largest p-group \({G_d^c}\) with rank d and Frattini class c, and G is an epimorphic image of \({G_d^c}\). We prove that this \({G_d^c}\) is capable; more precisely, we have \({G_d^c \cong G_d^{c+1}/Z(G_d^{c+1})}\).     

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.     

Efficient <Emphasis Type="Italic">p</Emphasis>th root computations in finite fields of characteristic <Emphasis Type="Italic">p</Emphasis>

We present a method for computing pth roots using a polynomial basis over finite fields of odd characteristic p, p ≥ 5, by taking advantage of a binomial reduction polynomial. For a finite field extension of our method requires p − 1 scalar multiplications of elements in by elements in . In addition, our method requires at most additions in the extension field. In certain cases, these additions are not required. If z is a root of the irreducible reduction polynomial, then the number of terms in the polynomial basis expansion of z ^1/p , defined as the Hamming weight of z ^1/p or , is directly related to the computational cost of the pth root computation. Using trinomials in characteristic 3, Ahmadi et al. (Discrete Appl Math 155:260–270, 2007) give is greater than 1 in nearly all cases. Using a binomial reduction polynomial over odd characteristic p, p ≥ 5, we find always.      

Non-inner automorphisms of order <Emphasis Type="Italic">p</Emphasis> in finite <Emphasis Type="Italic">p</Emphasis>-groups of coclass 3

In this paper we study the existence of at least one non-inner automorphism of order p of a non-abelian finite p-group of coclass 3, for any prime \(p\ne 3\).     

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

For a finite p-group G and a positive integer k let I _k (G) denote the intersection of all subgroups of G of order p ^k . This paper classifies the finite p-groups G with I_k(G) @ C_p^k-1{{I}_k(G)\cong C_{p^{k-1}}} for primes p > 2. We also show that for any k, α ≥ 0 with 2(α + 1) ≤ k ≤ n−α the groups G of order p ⁿ with I_k(G) @ C_p^k-a{{I}_k(G)\cong C_{p^{k-\alpha}}} are exactly the groups of exponent p ^n-α .     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Products of characters and finite <Emphasis Type="Italic">p</Emphasis>-groups II

Let p be a prime number. Let G be a finite p-group and . Denote by the complex conjugate of . Assume that . We show that the number of distinct irreducible constituents of the product is at least . Received: 17 March 2003     

Fixed-point-free elements in <Emphasis Type="Italic">p</Emphasis>-groups

In this paper we prove that there exists no function F(m, p) (where the first argument is an integer and the second a prime) such that, if G is a finite permutation p-group with m orbits, each of size at least p ^F(m,p), then G contains a fixed-point-free element. In particular, this gives an answer to a conjecture of Peter Cameron; see [4], [6].     

A note on commuting automorphisms of some finite <Emphasis Type="Italic">p</Emphasis>-groups

An automorphism α of a group G is called a commuting automorphism if each element x in G commutes with its image α(x) under α. Let A(G) denote the set of all commuting automorphisms of G. Rai [Proc. Japan Acad., Ser. A 91 (5), 57–60 (2015)] has given some sufficient conditions on a finite p-group G such that A(G) is a subgroup of Aut(G) and, as a consequence, has proved that, in a finite p-group G of co-class 2, where p is an odd prime, A(G) is a subgroup of Aut(G). We give here very elementary and short proofs of main results of Rai.     

On finite <Emphasis Type="Italic">p</Emphasis>-groups whose automorphisms are all central

An automorphism α of a group G is said to be central if α commutes with every inner automorphism of G. We construct a family of non-special finite p-groups having abelian automorphism groups. These groups provide counterexamples to a conjecture of A. Mahalanobis [Israel J. Math. 165 (2008), 161–187]. We also construct a family of finite p-groups having non-abelian automorphism groups and all automorphisms central. This solves a problem of I. Malinowska [Advances in Group Theory, Aracne Editrice, Rome, 2002, pp. 111–127].     

On finite alperin <Emphasis Type="Italic">p</Emphasis>-groups with homocyclic commutator subgroup

We study metabelian Alperin groups, i.e., metabelian groups in which every 2-generated subgroup has a cyclic commutator subgroup. It is known that, if the minimum number d(G) of generators of a finite Alperin p-group G is n ≥ 3, then d(G′) ≤ C _n ² for p≠ 3 and d(G′) ≤ C _n ² + C _n ³ for p = 3. The first section of the paper deals with finite Alperin p-groups G with p≠ 3 and d(G) = n ≥ 3 that have a homocyclic commutator subgroup of rank C _n ² . In addition, a corollary is deduced for infinite Alperin p-groups. In the second section, we prove that, if G is a finite Alperin 3-group with homocyclic commutator subgroup G- of rank C _n ² + C _n ³ , then G″ is an elementary abelian group.     

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.     

On sylowizers in finite <Emphasis Type="Italic">p</Emphasis>-soluble groups

In general, given a finite group G, a prime p and a p-subgroup R of G, the sylowizers of R in G are not conjugate. In this paper we afford some conditions to achieve the conjugation of the sylowizers of R in a p-soluble group G, among others

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Any nilpotence degree occurs in mod-<Emphasis Type="Italic">p</Emphasis> cohomology rings of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be an odd prime number and let n be an arbitrary positive integer. We prove that there exists a p-group whose mod-p cohomology ring has a nilpotent element H²() satisfying ⁿ0,^n+p–1=0. As a corollary, we exhibit a p-group whose mod-p cohomology ring contains an element of nilpotency degree n+1.Mathematical Subject Classification (2000): 20J06, 20D15, 55R40To Phuong and Nin     

Elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank 2<Emphasis Type="Italic">p</Emphasis>+3 are not CI-groups

For every prime p>2 we exhibit a Cayley graph on \mathbbZ_p^2p+3\mathbb{Z}_{p}^{2p+3} which is not a CI-graph. This proves that an elementary abelian p-group of rank greater than or equal to 2p+3 is not a CI-group. The proof is elementary and uses only multivariate polynomials and basic tools of linear algebra. Moreover, we apply our technique to give a uniform explanation for the recent works of Muzychuk and Spiga concerning the problem.     

Non-abelian sharp permutation<Emphasis Type="Italic">p</Emphasis>-groups

A permutation groupG of finite degreed is called a sharp permutation group of type {k},k a non-negative integer, if every non-identity element ofG hask fixed points and |G|=d−k. We characterize sharp non-abelianp-groups of type {k} for allk.     

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