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.     

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.     

The nilpotence class of the Frattini subgroup

Ap-group of sufficiently large nilpotence class cannot occur as a normal subgroup contained in the Frattini subgroup of any finite group. The Frattini subgroup of a group of order Π _pi ^αi with max α _i at least 3, has nilpotence class at most 1/2 (max α _i − 1). The Frattini subgroup of at-group is abelian. The occurrence of groups of orderp ⁴ as normal subgroups contained in Frattini subgroups is investigated. National Science Foundation Science Faculty Fellow, University of Cincinnati     

Frattini subgroups and supernilpotent groups

In the context of the problem of which nonabelianp-groups can occur as normal subgroups contained in Frattini subgroups, the family of supernilpotent groups (all maximal subgroups characteristic) is investigated. Results of this investigation are applied to the Frattini-embedding problem, incorporating recent work of A. R. Makan. The groups of order 2ⁿ (n ≦ 6) have been examined with respect to supernilpotence and their occurrence as normal subgroups contained in Frattini subgroups. Results of this examination are presented.     

Wieferich pairs and Barker sequences

We show that if a Barker sequence of length n > 13 exists, then either n = 189 260 468 001 034 441 522 766 781 604, or n > 2 · 10³⁰. This improves the lower bound on the length of a long Barker sequence by a factor of more than 10⁷. We also show that all but fewer than 1600 integers n ≤ 4 · 10²⁶ can be eliminated as the order of a circulant Hadamard matrix. These results are obtained by completing extensive searches for Wieferich prime pairs (q, p), which are defined by the relation q^p-1 o 1{q^{p-1} \equiv1} mod p ², and analyzing their results in combination with a number of arithmetic restrictions on n.     

Equal values of trinomials revisited

A necessary and sufficient condition is given for an equation ax ^m + bx ⁿ + c = dy ^p + ey ^q to have infinitely many rational solutions with a bounded denominator, under the assumption that m > n > 0, p > q > 0, ab ≠ 0 ≠ de and either m > p > 2, or m = p > 2 and n ≥ q. In a previous paper there was an additional assumption (m, n) = (p, q) = 1.     

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.     

Some cyclic codes of length 2<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Explicit expressions for 4n + 2 primitive idempotents in the semi-simple group ring $R_{2p^{n}}\equiv \frac{GF(q)[x]}{p and q are distinct odd primes; n ≥ 1 is an integer and q has order \fracf(2pⁿ)2{\frac{\phi(2p^{n})}{2}} modulo 2p ⁿ . The generator polynomials, the dimension, the minimum distance of the minimal cyclic codes of length 2p ⁿ generated by these 4n + 2 primitive idempotents are discussed. For n = 1, the properties of some (2p, p) cyclic codes, containing the above minimal cyclic codes are analyzed in particular. The minimum weight of some subset of each of these (2p, p) codes are observed to satisfy a square root bound.     

Maximum principles for the polyharmonic equation on Lipschitz domains

The Agmon-Miranda maximum principle for the polyharmonic equations of all orders is shown to hold in Lipschitz domains in ℝ³. In ℝn,n≥4, the Agmon-Miranda maximum principle andL ^p-Dirichlet estimates for certainp>2 are shown to fail in Lipschitz domains for these equations. In particular if 4≤n≤2m+1 theL ^p Dirichlet problem for Δ ^m fails to be solvable forp>2(n−1)/(n−3). Supported in part by the NSF.     

Elementary proof of a theorem of Blackburn

For a positive integer n, a finite p-group G is called an ℳ _n -group, if all subgroups of index p ⁿ of G are metacyclic, but there is at least one subgroup of index p ⁿ⁻¹ that is not. A classical result in p-group theory is the classification of ℳ₁-groups by Blackburn. In this paper, we give a slightly shorter and more elementary proof of this result.     

Minimal Non—Commutative n—Insertive Rings

Let n be an integer with |n| > 1. If p is the smallest prime factor of |n|, we prove that a minimal non-commutative n-insertive ring contains n ⁴ elements and these rings have five (2p+4) isomorphic classes for p = 2 (p ≠ 2). This research is supported by the National Natural Science Foundation of China, and the Scientific Research Foundation for “Bai-Qian-Wan” Project, Fujian Province of China     

The Frattini p-subsystem of a solvable restricted Lie triple system

As a natural generalization of a restricted Lie algebra, a restricted Lie triple system was defined by Hodge. In this paper, we develop initially the Frattini theory for restricted Lie triple systems, generalize some results of Frattini p-subalgebra for restricted Lie algebras, obtain some properties of the Frattini p-subsystem and give the relationship between Фp（T） and Ф（T） for solvable Lie triple systems.     

Riesz means for the sublaplacian on the Heisenberg group

The uniform boundedness of the Riesz means for the sublaplacian on the Heisenberg groupH ⁿ is considered. It is proved thatS _R ^α are uniformly bounded onL ^p(Hⁿ) for 1≤p≤2 provided α>α(p)=(2n+1)[(1/p)−(1/2)].     

Power closure and the Engel condition

A Liep-algebraL is calledn-power closed if, in every section ofL, any sum ofp ⁱ⁺ⁿ th powers is ap ⁱ th power (i>0). It is easy to see that ifL isp ⁿ -Engel then it isn-power closed. We establish a partial converse to this statement: ifL is residually nilpotent andn-power closed for somen≥0 thenL is (3p ^{n +2} +1)-Engel ifp>2 and (3 · 2 ⁿ⁺³+1)-Engel ifp=2. In particular, thenL is locally nilpotent by a theorem of Zel’manov. We deduce that a finitely generated pro-p group is a Lie group over thep-adic field if and only if its associated Liep-algebra isn-power closed for somen. We also deduce that any associative algebraR generated by nilpotent elements satisfies an identity of the form (x+y) ^{p n} =x ^{p n} +y ^{p n} for somen≥1 if and only ifR satisfies the Engel condition. This project was supported by the CNR in Italy and NSF-EPSCoR in Alabama during the first author’s stay at the Università di Palermo.     

On the generators of subgroups of unit groups of group rings

In this paper we find the generators of a subgroup of finite index in the unit group of the integral group ring of the metacyclic group of orderpq given byG=(a,x:a ^p=1=x ^q ,xax ⁻¹=a ^f ), wherep is an odd prime,q>2 a divisor ofp-1, andf belongs to the exponentq modulop.     

Weighted Weak Behaviour of Fourier-Jacobi Series

Let w(x) = (1 - x)^α (1 + x)^β be a Jacobi weight on the interval [-1, 1] and 1 < p < ∞. If either α > ?1/2 or β > ?1/2 and p is an endpoint of the interval of mean convergence of the associated Fourier-Jacobi series, we show that the partial sum operators S_n are uniformly bounded from L^p,1 to L^p,∞, thus extending a previous result for the case that both α, β > ?1/2. For α, β > ?1/2, we study the weak and restricted weak (p, p)-type of the weighted operators f→uS_n(u^?1f), where u is also Jacobi weight.     

On Λ(p)-subsets of squares

This paper is a follow up of [B₁]. It is shown that the sequence of squares {n ²|n=1, 2, ...} contains Λ(p)-subsets of “maximal density”, for any givenp>4. The proof is based on the probabilistic method developed in [B₁] and a precise estimate of the Λ(p)-constant for the sequence of squares itself. Analogues of this phenomenon are obtained for other arithmetic sets, such as the sequence ofkth powers {n ^k |n=1, 2, ...} or the sequence of prime numbers. Sections 2 and 3 of the paper are of independent interest to orthogonal system theory.     

Existence and stability of nontrivial periodic solutions of periodically forced discrete dynamical Systems

The local existence and local asymptotic stability of nontrivial p-periodic solutions of p-periodically forced discrete systems are proven using Liapunov-Schmidt methods. The periodic solutions bifurcate transcritically from the trivial solution at the critical value n=n^cr of the bifurcation parameter with a typical exchange of stability. If the trivial solution loses (gains) stability as n is increased through n^cr , then the periodic solutions on the nontrivial bifurcating branch are locally asymptotically stable if and only if they correspond to n>n^cr (n n^cr ).     

Global solutions for superlinear parabolic equations involving the biharmonic operator for initial data with optimal slow decay

We are interested in stability/instability of the zero steady state of the superlinear parabolic equation u _t + Δ² u = |u| ^p-1 u in , where the exponent is considered in the “super-Fujita” range p > 1 + 4/n. We determine the corresponding limiting growth at infinity for the initial data giving rise to global bounded solutions. In the supercritical case p > (n + 4)/(n−4) this is related to the asymptotic behaviour of positive steady states, which the authors have recently studied. Moreover, it is shown that the solutions found for the parabolic problem decay to 0 at rate t ^−1/(p-1).     

On perfectly homogeneous bases inF-spaces

It is proved that in anF-space with a basis (χ _n ) _n ^{= 1/∞} , (χ _n ) _n ^{= 1/∞} is equivalent to the unit-vectors basis ofc ₀,l _p (p>0), or (s) if and only if (χ _n ) _n ^{= 1/∞} is equivalent to each of itsɛ-normalized block basic sequences for eachɛ>0. This result is an extension of a theorem of M. Zippin.