可除阿贝尔p-群的自同构群

主要探讨了秩大于或者等于p-1的可除阿贝尔p-群的p-自同构群,并且得到这些p-自同构如何作用在该可除阿贝尔p-群上.这些结论有助于进一步理解 ?ernikov p-群的结构.     

Bounding an Index by the Largest Character Degree of a p-Solvable Group

In this article, we show that if p is a prime and G is a p-solvable group, then |G: O _p (G)| _p  ≤ (b(G) ^p /p)^1/(p?1), where b(G) is the largest character degree of G. If p is an odd prime that is not a Mersenne prime or if the nilpotence class of a Sylow p-subgroup of G is at most p, then |G: O _p (G)| _p  ≤ b(G).     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II

Let p ₁, p ₂, p ₃ be primes. This is the second article in a series of three on the (p ₁, p ₂, p ₃)-generation of the finite projective special unitary and linear groups PSU₃(p ⁿ ), PSL₃(p ⁿ ), where we say a noncyclic group is (p ₁, p ₂, p ₃)-generated if it is a homomorphic image of the triangle group T _{p 1, p 2, p 3} . This paper is concerned with the case where p ₁ = 2 and p ₂ = p ₃. We determine for any prime p ₂ the prime powers p ⁿ such that PSU₃(p ⁿ ) (respectively, PSL₃(p ⁿ )) is a quotient of T = T _{2, p 2, p 2} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU₃(p ⁿ )) (respectively, Hom(T, PSL₃(p ⁿ ))) is surjective as p ⁿ tends to infinity.     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

Nonnormal and minimal nonabelian subgroups of a finite group

Let G be a finite p-group. If p = 2, then a nonabelian group G = Ω₁(G) is generated by dihedral subgroups of order 8. If p > 2 and a nonabelian group G = Ω₁(G) has no subgroup isomorphic to S_p²{\Sigma _{{p^2}}}, a Sylow p-subgroup of the symmetric group of degree p ², then it is generated by nonabelian subgroups of order p ³ and exponent p. If p > 2 and the irregular p-group G has < p nonabelian subgroups of order p ^p and exponent p, then G is of maximal class and order p ^p+1. We also study in some detail the p-groups, containing exactly p nonabelian subgroups of order p ^p and exponent p. In conclusion, we prove three new counting theorems on the number of subgroups of maximal class of certain type in a p-group. In particular, we prove that if p > 2, and G is a p-group of order > p ^p+1, then the number of subgroups ≅ ΣS_p²{\Sigma _{{p^2}}} in G is a multiple of p.     

Modes and moments of unimodal distributions

Summary For a unimodal distribution relations of its modea with its absolute momentβ _p and central absolute momentγ _p of orderp are considered. The best constantA _p andB _p are given for the inequalities |a|≦A _p β _p ^1/p (p>0) and |a−m|≦B _p γ _p ^1/p (p≧1) wherem is the mean. the results follow from discussion of more general moments.     

Character Sums in Short Intervals and the Multiplication Table Modulo a Large Prime

We obtain nontrivial estimates of character sums over short intervals for almost all moduli. These bounds and the method of Karatsuba for solving multiplicative ternary problems are used to prove that for π(X)(1 + o(1)) primes p,p ≤ X, there are p(1 + o(1)) residue classes modulo p of the form xy (mod p), where 1 ≤ x, y ≤ p^?(log p)^1,087. We also prove that for any prime p there are p(1 + o(1)) residue classes modulo p of the form xy^* (mod p), where 1 ≤ x, y ≤ p^?(log p)^1+o(1) and y^* is defined by yy^* ≡ 1 (mod p).     

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

p-Banach Spaces and p-Totally Convex Spaces

We introduce the categories Vec _p of p-normed vector spaces, Ban _p of _p -Banach spaces, AC _p of _p -absolutely and TC _p of _p -totally convex spaces (0 < p 1). It will be shown that TC _p (AC _p ) is the Eilenberg–Moore category of Ban _p (Vec _p ). Then congruence relations on TC _p (AC _p )-spaces are studied. There are many differences between TC _p (AC _p )-spaces and totally (absolutely) convex spaces (i.e. p = 1) (Pumplün and Röhrl, 1984, 1985), which will become apparent in Section 4.     

Relative ( pn , p , pn , n )-difference sets with GCD ( p , n )=1

Let p be an odd prime. We first get some non-existence and structural results on (pn,p,pn,n) relative difference sets with gcd(p,n)=1 through a group ring approach. We then give a construction of (p(p+1),p,p(p+1),p+1) relative difference sets with p a Mersenne prime. Supported by National Natural Science Foundation of China (10331030).     

The eigen functions of the complex projective space

In the complexn-dimensional projective spaceCP ⁿ , let λ _p (=4p(p+n)) be the eigen value of the Laplace-Beltrami operator andH _p be the space of all eigen functions of eigen value λ _p . The reproducing kernelh _p (z, w) ofH _p is constructed explicitly in this paper, and a system of complete orthogohal functions ofH _p is constructed fromh _p (z,w)(p=1,2, …). Partially supported by NSF of China     

Cp

The spacec _p is the class of operators on a Hilbert space for which thec _p norm |T| _p =[trace(T*T) ^p/2]^1/p is finite. We prove many of the known results concerningc _p in an elementary fashion, together with the result (new for 1<p<2) thatc _p is as uniformly convex a Banach space asl _p. In spite of the remarkable parallel of norm inequalities in the spacesc _p andl _p, we show thatp ≠ 2, noc _p built on an infinite dimensional Hilbert space is equivalent to any subspace of anyl _p orL _p space. The author was supported by National Science Foundation Grant GP-5707.     

A Series of Regular Hadamard Matrices

Let p and 2p−1 be prime powers and p ≡ 3 (mod 4). Then there exists a symmetric design with parameters (4p², 2p² − p, p² − p). Thus there exists a regular Hadamard matrix of order 4p².     

On the p—Local Rank of Finite Groups

In this paper,we shall mainly study the p-solvable finite group in terms of p-local rank,and a group theoretic characterization will be given of finite p-solvabel groups with p-local rank two.Theorem A Let G be a finite p-solvable group with p-local rank plr(G)=2 and Op(G)=1.If P is a Sylow p-subgrounp of G,then P has a normal subgroup Q such that P/Q is cyclic or a generalized quaternion 2-group and the p-rank of Q is at most two.Theorem B Let G be a finite p-solvable group with Op(G)=1.Then the p-length lp(G)≤plr(G);if in addition plr(G)=lp (G) and p≥5 is odd,then plr(G)=0 or 1.     

A survey of orthogonal arrays of strength two

ＡＳＵＲＶＥＹＯＦＯＲＴＨＯＧＯＮＡＬＡＲＲＡＹＳＯＦＳＴＲＥＮＧＴＨＴＷＯＬＩＵＺＨＡＮＧＷＥＮ（刘璋温）（ＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ．ｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｔｉｃｅｓ．Ｂｅｉｊｉｎｇ１０００...     

A local version of a result of gamlen and gaudet

LetX _D ^p be the span of the Haar function {h _j: J ε D} inL ^p (1 <p < ∞) endowed withL ^p norm. Then for any finite setD, the spacesX _D ^p andl _*D ^p areK _p-isomorphic whereK _p depends onp only.     

On the subspaces ofL p (p>2) spanned by sequences of independent random variables

Let 2<p<∞. The Banach space spanned by a sequence of independent random variables inL ^p , each of mean zero, is shown to be isomorphic tol ²,l ^p ,l ²⊕l ^p , or a new spaceX _p , and the linear topological properties ofX _p are investigated. It is proved thatX _p is isomorphic to a complemented subspace ofL ^p and another uncomplemented subspace ofL ^p , whence there exists an uncomplemented subspace ofl ^p isomorphic tol ^p . It is also proved thatX _p is not isomorphic to the previously knownℒ _p spaces. The work for this research was partially supported by the National Science Foundation GP-12997.     

Prime Chains and Pratt Trees

Prime chains are sequences $p_{1}, \ldots , p_{k}Prime chains are sequences p₁, ?, p_kp_{1}, \ldots , p_{k} of primes for which p_j+1 o 1{p_{j+1} \equiv 1} (mod p _j ) for each j. We introduce three new methods for counting long prime chains. The first is used to show that N(x; p) = O_e(x^1+e){N(x; p) = O_{\varepsilon}(x^{1+\varepsilon})}, where N(x; p) is the number of chains with p ₁ = p and p_k ￡ p_x{p_k \leq p_x}. The second method is used to show that the number of prime chains ending at p is ≍ log p for most p. The third method produces the first nontrivial upper bounds on H(p), the length of the longest chain with p _k = p, valid for almost all p. As a consequence, we also settle a conjecture of Erdős, Granville, Pomerance and Spiro from 1990. A probabilistic model of H(p), based on the theory of branching random walks, is introduced and analyzed. The model suggests that for most p ￡ x{p \leq x}, H(p) stays very close to e log log x.     

A new characterization of periodic oscillations in periodic difference equations

In this paper, we characterize periodic solutions of p-periodic difference equations. We classify the periods into multiples of p and nonmultiples of p. We show that the elements of the set of multiples of p follow the well-known Sharkovsky’s ordering multiplied by p. On the other hand, we show that the elements of the set Γ_p of nonmultiples of p are independent in their existence. Moreover, we show the existence of a p-periodic difference equation with infinite Γ_p-set in which the maps are defined on a compact domain and agree exactly on a countable set. Based on the proposed classification, we give a refinement of Sharkovsky’s theorem for periodic difference equations.     

On cyclic <Emphasis Type="Italic">p</Emphasis>-gonal Riemann surfaces with several <Emphasis Type="Italic">p</Emphasis>-gonal morphisms

Let p be a prime number, p > 2. A closed Riemann surface which can be realized as a p-sheeted covering of the Riemann sphere is called p-gonal, and such a covering is called a p-gonal morphism. If the p-gonal morphism is a cyclic regular covering, the Riemann surface is called a cyclic p-gonal Riemann surface. Accola showed that if the genus is greater than (p − 1)² the p-gonal morphism is unique. Using the characterization of p-gonality by means of Fuchsian groups we show that there exists a uniparametric family of cyclic p-gonal Riemann surfaces of genus (p − 1)² which admit two p-gonal morphisms. In this work we show that these uniparametric families are connected spaces and that each of them is the Riemann sphere without three points. We study the Hurwitz space of pairs (X, f), where X is a Riemann surface in one of the above families and f is a p-gonal morphism, and we obtain that each of these Hurwitz spaces is a Riemann sphere without four points.