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

Groups of prime power order and their nonabelian tensor squares

We prove that the nonabelian tensor square of a powerful p-group is again a powerful p-group. Furthermore, If G is powerful, then the exponent of G ⊕ G divides the exponent of G. New bounds for the exponent, rank, and order of various homological functors of a given finite p-group are obtained. In particular, we improve the bound for the order of the Schur multiplier of a given finite p-group obtained by Lubotzky and Mann.     

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 automorphisms of a class of special p-groups

Let G be a finite group of order n, for some n\geqq 1 n\geqq 1 , and p be an odd prime number. In [5] Verardi has constructed a special p-group P_G P_G of exponent p such that |P_G|=p³ⁿ |P_G|=p^{3n} . In this paper, we calculate the order of Aut(P_G) (P_G) and prove that Aut(P_G) (P_G) is the semidirect product of two subgroups.     

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.     

Lp convergence of Cesàro means on sphere

LetR ⁿ be n-dimensional Euclidean space with n>-3. Demote by Ω _n the unit sphere inR ⁿ. ForfɛL(Ω _n ) we denote by σ _N ^δ its Cesàro means of order σ for spherical harmonic expansions. The special value l = \tfracn - 22\lambda = \tfrac{{n - 2}}{2} of σ is known as the critical one. For 0<σ≤λ, we set p₀ = \tfrac2ld+ lp_0 = \tfrac{{2\lambda }}{{\delta + \lambda }} . This paper proves that

On the Schur multipliers of finite p-groups of given coclass

In this paper we obtain bounds for the order and exponent of the Schur multiplier of a p-group of given coclass. These are further improved for p-groups of maximal class. In particular, we prove that if G is p-group of maximal class, then |H ₂(G, ℤ)| < |G| and expH ₂(G, ℤ) ≤ expG. The bound for the order can be improved asymptotically.     

Two-generator Frattini subgroups of finitep-groups

This paper deals with nonabelianp-groupsT (p a prime andp>2) which are either metacyclic or Redei. These groups are classified into those which are Frattini subgroups of a finitep-groupG and those which are not. Finally, it is shown that a nonabelian two-generator group of orderp ⁿ (n>4) which is the Frattini subgroup of ap-group must be metacyclic. This work is contained in the author’s dissertation.     

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     

On the Frattini normal embeddability of products ofp-groups

ItH _i is a finite non-abelianp-group with center of orderp, for 1≦j≦R, then the direct product of theH _i does not occur as a normal subgroup contained in the Frattini subgroup of any finitep-group. If the Frattini subgroup Φ of a finitep-groupG is cyclic or elementary abelian of orderp ², then the centralizer of Φ inG properly contains Φ. Non-embeddability properties of products of groups of order 16 are established.     

Diophantine approximation with one prime and three squares of primes

We show that if λ ₁,λ ₂,λ ₃,λ ₄ are nonzero real numbers, not all of the same sign, η is real, and at least one of the ratios λ ₁/λ _j (j=2,3,4) is irrational, then given any real number ω>0, there are infinitely many ordered quadruples of primes (p ₁,p ₂,p ₃,p ₄) for which

Omega subgroups of powerful <Emphasis Type="Italic">p</Emphasis>-groups

Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all i ≥ 0: (i) exp Ω_i(G) ≤ p ⁱ for odd p, and expΩ_i(G) ≤ 2 ⁱ⁺¹ for p = 2; (ii) the index |G: G ^{p i}| coincides with the number of elements of G of order at most p ⁱ. Supported by the Spanish Ministry of Science and Education, grant MTM2004-04665, partly with FEDER funds, and by the University of the Basque Country, grant UPV05/99.     

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.     

Movement of Intransitive Permutation Groups Having Maximum Degree

Let G be a permutation group on a set Ω with no fixed points in,and m be a positive integer.Then the movement of G is defined as move(G):=sup Γ {|Γg\Γ| | g ∈ G}.It was shown by Praeger that if move(G) = m,then |Ω| 3m + t-1,where t is the number of G-orbits on.In this paper,all intransitive permutation groups with degree 3m+t-1 which have maximum bound are classified.Indeed,a positive answer to her question that whether the upper bound |Ω| = 3m + t-1 for |Ω| is sharp for every t > 1 is given.     

Large centralizers in finite solvable groups

In 1955 R. Brauer and K. A. Fowler showed that ifG is a group of even order >2, and the order |Z(G)| of the center ofG is odd, then there exists a strongly real) elementx∈G−Z whose centralizer satisfies|C _G(x)|>|G|^1/3. In Theorem 1 we show that every non-abeliansolvable groupG contains an elementx∈G−Z such that|C _G(x)|>[G:G′∩Z]^1/2 (and thus|C _G(x)|>|G|^1/3). We also note that if non-abelianG is either metabelian, nilpotent or (more generally) supersolvable, or anA-group, or any Frobenius group, then|C _G(x)|>|G|^1/2 for somex∈G−Z. In Theorem 2 we prove that every non-abelian groupG of orderp ^mqⁿ (p, q primes) contains a proper centralizer of order >|G|^1/2. Finally, in Theorem 3 we show that theaverage |C(x)|, x∈G, is ≧c|G| ^1/3 for metabelian groups, wherec is constant and the exponent 1/3 is best possible.     

On the structure of the augmentation quotient group for some nonabelian 2-groups

Let G be a finite nonabelian group, ℤG its associated integral group ring, and Δ(G) its augmentation ideal. For the semidihedral group and another nonabelian 2-group the problem of their augmentation ideals and quotient groups Q _n (G) = Δ ⁿ (G)/Δ ⁿ⁺¹(G) is deal with. An explicit basis for the augmentation ideal is obtained, so that the structure of its quotient groups can be determined.     

Large solutions for equations involving the p-Laplacian and singular weights

In this paper we consider the boundary blow-up problem Δ_pu = a(x)u^q in a smooth bounded domain Ω of \mathbbR^N{\mathbb{R}}^N, with u = +∞ on ∂Ω. Here D_pu = div(|?u|^p-2?u)\Delta_{p}u = {\rm div}(|\nabla u|^{p-2}\nabla u) is the well-known p-Laplacian operator with p > 1, q > p − 1, and a(x) is a nonnegative weight function which can be singular on ∂Ω. Our results include existence, uniqueness and exact boundary behavior of positive solutions.     

Finite <Emphasis Type="Italic">p</Emphasis>-central groups of height <Emphasis Type="Italic">k</Emphasis>

A finite group G is called p ⁱ -central of height k if every element of order p ⁱ of G is contained in the k ^th -term ζ _k (G) of the ascending central series of G. If p is odd, such a group has to be p-nilpotent (Thm. A). Finite p-central p-groups of height p − 2 can be seen as the dual analogue of finite potent p-groups, i.e., for such a finite p-group P the group P/Ω₁(P) is also p-central of height p − 2 (Thm. B). In such a group P, the index of P ^p is less than or equal to the order of the subgroup Ω₁(P) (Thm. C). If the Sylow p-subgroup P of a finite group G is p-central of height p − 1, p odd, and N _G (P) is p-nilpotent, then G is also p-nilpotent (Thm. D). Moreover, if G is a p-soluble finite group, p odd, and P ∈ Syl _p (G) is p-central of height p − 2, then N _G (P) controls p-fusion in G (Thm. E). It is well-known that the last two properties hold for Swan groups (see [11]).     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

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