Smooth Quasiregular Maps with Branching in R n

According to a theorem of Martio, Rickman and Väisälä, all nonconstant C^n/(n-2)-smooth quasiregular maps in Rⁿ, n≥3, are local homeomorphisms. Bonk and Heinonen proved that the order of smoothness is sharp in R³. We prove that the order of smoothness is sharp in R⁴. For each n≥5 we construct a C^1+ε(n)-smooth quasiregular map in Rⁿ with nonempty branch set.     

EXAMPLES OF FCR-ALGEBRAS

Abstract

Let R be a prime ring and 𝒰(R) its group of units. We prove that if 𝒰(R) satisfies a group identity and 𝒰(R) generates R,then either R is a domain or R is isomorphic to the algebra of n × n matrices over a finite field of order d. Moreover the integers n and d depend only on the group identity satisfed by 𝒰(R). This result has been recently proved by C. H. Liu and T. K. Lee (Liu,C. H.; Lee,T. K. Group identities and prime rings generated by units. Comm. Algebra (to appear)) and here we present a new different proof.     

Skew *-derivations with power-central values

Let R be a prime ring with involution * and d be a nonzero derivation on R such that d(x ^*) = -d(x)^* for all x ∈ R. Suppose that n ≥ 1 is a fixed integer. Then (I) if d(s) ⁿ = 0 for all s = s ^*, then R is either a commutative domain or an order in a 4-dimensional central simple algebra; (II) if d(s) ⁿ ∈Z, the center of R for all s = s ^*, then R is either a commutative domain or an order in a simple algebra of dimension 4 or 16 over its center.     

The 𝒥-Radical and the Pierce Radicals of a Lattice-Ordered Ring

Abstract

The 𝒥-radical of a lattice-ordered ring Ris the ?-ring analogue of the Jacobson radical of a ring. It is shown that if the matrix ring R _n has the usual lattice order, then 𝒥(R _n ) = 𝒥(R) _n . The connection between an element abeing right ?-quasi-regular and the inequality a ○ x ≤ 0 is also investigated. For squares in an f-ring the connection is an equivalence. In general it is still an equivalence provided xis the sum of elements from a larger f-ring whose absolute values lie in R. It is also shown that the vanishing of annihilators in an f-ring is inherited by enough totally ordered homomorphic images to give a subdirect product decomposition.     

On Ramsey Numbers for Trees Versus Wheels of Five or Six Vertices

 For given two graphs G dan H, the Ramsey number R(G,H) is the smallest positive integer n such that every graph F of order n must contain G or the complement of F must contain H. In [12], the Ramsey numbers for the combination between a star S _n and a wheel W _m for m=4,5 were shown, namely, R(S _n ,W ₄)=2n−1 for odd n and n≥3, otherwise R(S _n ,W ₄)=2n+1, and R(S _n ,W ₅)=3n−2 for n≥3. In this paper, we shall study the Ramsey number R(G,W _m ) for G any tree T _n . We show that if T _n is not a star then the Ramsey number R(T _n ,W ₄)=2n−1 for n≥4 and R(T _n ,W ₅)=3n−2 for n≥3. We also list some open problems. Received: October, 2001 Final version received: July 11, 2002 RID="*" ID="*" This work was supported by the QUE Project, Department of Mathematics ITB Indonesia Acknowledgments. We would like to thank the referees for several helpful comments.     

Riemannian Metrics with the Prescribed Curvature Tensor and all Its Covariant Derivatives at One Point

On an n-dimensional vector space, equipped with a scalar product, we prescribe (0, 4) -, (0, 5)-, … type tensors R⁽⁰⁾, R⁽¹⁾, …, satisfying the well-known conditions for a curvature tensor and its derivatives and furthermore certain inequalities for the absolute values of the components of R^(k). Then there is an analytic Riemannian metric g on an open ball of the Cartesian space Rⁿ[u¹, …, uⁿ] for which u¹, …, uⁿ are normal coordinates and (▽^(k)R)₀ = R^(k) (k = 0, 1, 2, …) hold under an identification of the tangent space T₀Rⁿ at the origin with the vector space; ▽^(k)R denote the curvature tensor and its covariant derivatives with respect to the Levi-Civita connection ▽ of g, respectively.     

Invariant characters and coprime actions on finite nilpotent groups

Abstract. Let S be a subgroup of SLn(R), where R is a commutative ring with identity and n \geqq 3n \geqq 3. The order of S, o(S), is the R-ideal generated by x_ij, x_ii - x_jj (i 1 j)x_{ij},\ x_{ii} - x_{jj}\ (i \neq j), where (x_ij) ? S(x_{ij}) \in S. Let En(R) be the subgroup of SLn(R) generated by the elementary matrices. The level of S, l(S), is the largest R-ideal \frak q\frak {q} with the property that S contains all the \frak q\frak {q}-elementary matrices and all conjugates of these by elements of En(R). It is clear that l(S) \leqq o(S)l(S) \leqq o(S). Vaserstein has proved that, for all R and for all n \geqq 3n \geqq 3, the subgroup S is normalized by En(R) if and only if l(S) = o(S)     

Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

Concerning the order of approximation of periodic continuous functions by trigonometric interpolation polynomials

Letx _kn=2θk/n,k=0,1 …n−1 (n odd positive integer). LetR _n(x) be the unique trigonometric polynomial of order 2n satisfying the interpolatory conditions:R _n(x_kn)=f(x_kn),R _n ^(j)(x_kn)=0,j=1,2,4,k=0,1…,n−1. We setw ₂(t,f) as the second modulus of continuity off(x). Then we prove that |R _n(x)-f(x)|=0(nw₂(1/nf)). We also examine the question of lower estimate of ‖R _n-f‖. This generalizes an earlier work of the author.     

Lower bounds for multicolor classical Ramsey numbers

A method is put forward to establish the lower bounds for somen-color classical Ramsey numbers . With this method six new explicit lower boundsR ₄(4) ≥458,R ₃(5) ≥ 242,R ₃(6)≥1070,R ₃(7) ≥ 1214,R ₃(8) ≥2834 andR ₃(9) ≥ 5282 are obtained using a computer. Project supported by Guangxi Natural Science Foundation     

Generalized affine transformation monoid of a free module of finite rank over finite chain rings

Let R be a finite commutative chain ring, n a positive integer and R ⁿ the free R-module of rank n consisting of column vectors over R. The generalized affine transformation monoid Gaff _n (R) of R ⁿ is introduced, then Schützenberger groups of -classes, principal factors and group -classes of the monoid Gaff _n (R) are investigated. As corollaries, basic numerical information of Gaff _n (R) is given.     

The structure of symplectic groups over arbitrary commutative rings

LetR be an arbitrary commutative ring, andn be an integer ≥3. It is proved for any idealJ ofR thatESp _2n(R,J)=[ESp _2n(R),ESp _2n(J)]=[ESp _2n(R),ESp _2n(R,J)] =[ESp _2n(R),GSp _2n(R,J)]=[Sp _2n(R),ESp _2n(R,J)]. Furthermore, the problem of normal subgroups ofSp _2n(R) has an affirmative solution if and only ifaR=a ²R+2aR for eacha inR. This covers the relevant results of [4], [8], [10], [12] and [13]. Project Supported by the Science Fund of the Chinese Academy of Sciences     

Metric Dimension and R-Sets of Connected Graphs

The R-set relative to a pair of distinct vertices of a connected graph G is the set of vertices whose distances to these vertices are distinct. This paper deduces some properties of R-sets of connected graphs. It is shown that for a connected graph G of order n and diameter 2 the number of R-sets equal to V(G) is bounded above by ?n²/4?{\lfloor n^{2}/4\rfloor} . It is conjectured that this bound holds for every connected graph of order n. A lower bound for the metric dimension dim(G) of G is proposed in terms of a family of R-sets of G having the property that every subfamily containing at least r ≥ 2 members has an empty intersection. Three sufficient conditions, which guarantee that a family F=(G_n)_{n 3 1}{\mathcal{F}=(G_{n})_{n\geq 1}} of graphs with unbounded order has unbounded metric dimension, are also proposed.     

可换环上上三角矩阵李代数的局部自同构和局部导子

本文刻画了T_n(R)上的局部自同构和局部导子.利用关于T_n(R)的自同构和导子的主要结果和矩阵计算技巧,本文证明了T_n(R)上的每一个局部自同构是自同构,每一个局部导子是导子,这推广了文献关于T_n(R)的自同构和导子的主要结果.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

Cocycle Twisting of E(n)-Module Algebras and Applications to the Brauer Group

We classify the orbits of coquasi-triangular structures for the Hopf algebra E(n) under the action of lazy cocycles and the Hopf automorphism group. This is applied to detect subgroups of the Brauer group BQ(k,E(n)) of E(n) that are isomorphic. For any triangular structure R on E(n) we prove that the subgroup BM(k,E(n),R) of BQ(k,E(n)) arising from R is isomorphic to a direct product of BW(k), the Brauer-Wall group of the ground field k, and Sym_n(k), the group of n × n symmetric matrices under addition. For a general quasi-triangular structure R on E(n) we construct a split short exact sequence having BM(k,E(n),R⁾ as a middle term and as kernel a central extension of the group of symmetric matrices of order r < n (r depending on R). We finally describe how the image of the Hopf automorphism group inside BQ(k,E(n)) acts on Sym_n (k).     

New Results on Codes with Covering Radius 1 and Minimum Distance 2

The minimal cardinality of a q-ary code of length n and covering radius at most R is denoted by K_q(n, R); if we have the additional requirement that the minimum distance be at least d, it is denoted by K_q(n, R, d). Obviously, K_q(n, R, d) K_q(n, R). In this paper, we study instances for which K_q(n,1,2) > K_q(n, 1) and, in particular, determine K₄(4,1,2)=28 > 24=K₄(4,1).Supported in part by the Academy of Finland under grant 100500.     

The Rate of Convergence for Subexponential Distributions and Densities

A distribution function F on the nonnegative real line is called subexponential if lim_x(1-F ^*n (x)/(1 - F(x)) = n for all n 2, where F ^*n denotes the nfold Stieltjes convolution of F with itself. In this paper, we consider the rate of convergence in the above definition and in its density analogue. Among others we discuss the asymptotic behavior of the remainder term R _n (x) defined by R _n (x) = 1 - F*n(x) - n(1 - F(x)) and of its density analogue r_n (x) = -(R_n (x))'. Our results complement and complete those obtained by several authors. In an earlier paper, we obtained results of the form _n(x) = O(1)f(x)R(x), where f is the density of F and R(x) = ₀ ^x (1-F(y))dy. In this paper, among others we obtain asymptotic expressions of the form R _n(x)= ₂ ⁿ R₂(x) + O(1)(-f'(x))R²(x) where f' is the derivative of f.     

Null spaces and ranges for the classical and spherical Radon transforms

Let R be the classical Radon transform that integrates a function over hyperplanes in Rⁿ and let SM be the transform that integrates a function over spheres containing the origin in Rⁿ. We prove continuity results for both transforms and explicitly give the null space of R for a class of square integrable functions on the exterior of a ball in Rⁿ as well as the null space of SM for square integrable functions on a ball. We show SM: L²(Rⁿ) → L²(Rⁿ) is one-one, and we characterize the range of SM on classes of smooth functions and square integrable functions by certain moment conditions. If g(x) is a Schwartz function on Rⁿ that is zero to infinite order at x = 0, we prove moment conditions sufficient for g to be in the range of SM(C^∞(Rⁿ)). We apply our results on SM to existence and uniqueness theorems for solutions to a characteristic initial value problem for the Darboux partial differential equation.