The decomposition of Kv into K2×K5''''s

The decomposition of the complete graph Kv into Kr×Kc's, the products of Kr and Kc,is originated from the use of DNA library screening. In this paper, we consider the case where r=2 and c = 5, and show that such a decomposition exists if and only if v ≡ 1 (mod 25).     

Finite 2-generator equilibrated p-groups

Following Blackburn, Deaconescu and Mann, a group G is called an equilibrated group if for any subgroups H,K of G with HK = KH, either H≤NG(K) or K≤NG(H). Continuing their work and based on the classification of metacyclic p-groups given by Newman and Xu, we give a complete classification of 2-generator equilibrated p-groups in this note.     

On Browkin’s conjecture about the elements of order five in <Emphasis Type="Italic">K</Emphasis><Subscript>2</Subscript>(ℚ)

Based on the work of Lenstra, a succinct proof of Browkin’s conjecture about the elements of order five in K ₂(ℚ) is given. This work was supported by the National Natural Science Foundation of China (Grant No. 10371061).     

Lipschitz classes on local fields

The Lipschitz class Lipαon a local field K is defined in this note,and the equivalent relationship between the Lipschitz class Lipαand the Holder type space C~α(K)is proved.Then,those important characteristics on the Euclidean space R~n and the local field K are compared,so that one may interpret the essential differences between the analyses on R~n and K.Finally,the Cantor type fractal functionθ(x)is showed in the Lipschitz class Lip(m,K),m＜(ln 2/ln 3).     

Global dimension and left derived functors of Hom

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R)≤n (n≥2) if and only if the gl right Proj-dim MR≤n - 2 if and only if Extn-1(N, M) = 0 for all right R-modules N and M if and only if every (n - 2)th Proj-cosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R)≤n (n≥1) if and only if every (n-1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Vroj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R)≤2 are characterized.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

Bifurcation method for solving multiple positive solutions to Henon equation

Three algorithms based on the bifurcation method are applied to solving the D4 symmetric positive solutions to the boundary value problem of Henon equation. Taking r in Henon equation as a bi- furcation parameter, the D4-Σd(D4-Σ1, D4-Σ2) symmetry-breaking bifurcation points on the branch of the D4 symmetric positive solutions are found via the extended systems. Finally, Σd(Σ1, Σ2) sym- metric positive solutions are computed by the branch switching method based on the Liapunov-Schmidt reduction.     

Decompositions of the 3-uniform hypergraphs <Emphasis Type="Italic">K</Emphasis><Stack><Subscript>v</Subscript><Superscript>(3)</Superscript></Stack> into hypergraphs of a certain type

In this paper, we investigate a generalization of graph decomposition, called hypergraph decomposition. We show that a decomposition of a 3-uniform hypergraph K(3)v into a special kind of hypergraph K(3)4 - e exists if and only if v ≡ 0, 1, 2 (mod 9) and v ≥ 9.     

Admissible wavelets on the Siegel domain of type one

LetSp(n, R) be the sympletic group, and letK _n * be its maximal compact subgroup. ThenG=Sp(n,R)/K _n * can be realized as the Siegel domain of type one. The square-integrable representation ofG gives the admissible wavelets AW and wavelet transform. The characterization of admissibility condition in terms of the Fourier transform is given. The Bergman kernel follows from the viewpoint of coherent state. With the Laguerre polynomials, Hermite polynomials and Jacobi polynomials, two kinds of orthogonal bases for AW are given, and they then give orthogonal decompositions ofL ²-space on the Siegel domain of type one ℒ(ℋ _n , |y| *dxdy). Project supported in part by the National Natural Science Foundation of China (Grant No. 19631080).     

On the Rankin-Selberg problem: higher power moments of the Riesz mean error term

LetΔ_1(x;φ) be the error term of the first Riesz mean of the Rankin-Selberg problem. We study the higher power moments ofΔ_1(x;φ) and derive an asymptotic formula for the 3-rd, 4-th and 5-th power moments by using Ivic's large value arguments and other techniques.     

On structure of small contractions of odd dimensional projective varieties

Let X be a smooth projective variety of dimension 2k-1 (k≥3) over the complex number field. Assume that fR: X→Y is a small contraction such that every irreducible component Ei of the exceptional locus of fR is a smooth subvariety of dimension k. It is shown that each Ei is isomorphic to the k-dimensional projective space Pk, the k-dimensional hyperquadric surface Qk in Pk 1, or a linear Pk-1-bundle over a smooth curve.     

The Bass-Quillen problem on a class of local rings with weak global dimension two

Let (R,m) be a local GCD domain. R is called a U2 ring if there is an element u ∈ m-m2 such that R/(u) is a valuation domain and Ru is a B′ezout domain. In this case u is called a normal element of R. In this paper we prove that if R is a U2 ring, then R and R[x] are coherent; moreover, if R has a normal element u and dim(R/(u)) = 1, then every finitely generated projective module over R[X] is free.     

Representations of deformed preprojective algebras and quantum groups

Let (Γ,I) be the bound quiver of a cyclic quiver whose vertices correspond to the Abelian group Zd. In this paper, we list all indecomposable representations of (Γ,I) and give the conditions that those representations of them can be extended to representations of deformed preprojective algebra Πλ(Γ,I). It is shown that those representations given by extending indecomposable representations of (Γ,I) are all simple representations of Πλ(Γ,I). Therefore, it is concluded that all simple representa-tions of rest...     

The regularity of the surface of the Gauss curvature 0≤K ∈ C 0 ∞

Under the mild conditions, it is proved that the convex surface is global C^1.1, with the given Gaussian curvature 0≤K ∈ C ₀ ^∞ and the given boundary curve. Examples are given to show that the regularity is optimal. Project supported by the Doctoral Funds of China and the National Natural Science Foundation of China (Grant No. 19771009).     

Convex hull theorem for multiply connected domains in the plane with an estimate of the quasiconformal constant

For any multiply connected domain Ω in R2, let S be the boundary of the convex hull in H3 of R2\Ω which faces Ω. Suppose in addition that there exists a lower bound l > 0 of the hyperbolic lengths of closed geodesics in Ω. Then there is always a K-quasiconformal mapping from S to Ω, which extends continuously to the identity on S = Ω, where K depends only on l. We also give a numerical estimate of K by using the parameter l.     

Upper Bounds for the Laplacian Graph Eigenvalues

We first apply non-negative matrix theory to the matrix K = D A, where D and A are the degree-diagonal and adjacency matrices of a graph G, respectively, to establish a relation on the largest Laplacian eigenvalue λ1 (G) of G and the spectral radius p(K) of K. And then by using this relation we present two upper bounds for λ1(G) and determine the extremal graphs which achieve the upper bounds.     

The Characterization of Finite Simple Groups, L3（3^2m-1）（m≥2）, by Their Element Orders

In this paper the following theorem is proved： Every group L3（q） for q = 3^（2m-1）（m≥2） is characterized by its set of element orders.     

Finite groups in which elements of the same order outside the center are conjugate

We prove that if G is a finite group in which the elements of the same order outside the center are conjugate,then either G is abelian or G(?)S_3.     

Modified likelihood ratio test for homogeneity in bivariate normal mixtures with presence of a structural parameter

This paper investigates the asymptotic properties of the modified likelihood ratio statistic for testing homogeneity in bivariate normal mixture models with an unknown structural parameter. It is shown that the modified likelihood ratio statistic has χ22 null limiting distribution.     

The Willmore functional and the containment problem in R4

Let ∑ be a convex hypersurface in the Euclidean space R4 with mean curvature H. We obtain a geometric lower bound for the Willmore functional f∑ H2dσ. This bound is an invariant involving the area of ∑, the volume and Minkowski quermassintegrals of the convex body that ∑bounds. We also obtain a sufficient condition for a convex body to contain another in the Euclidean space R4.