Rings with nil and power centralK-th commutators

We define thek-th commutator forx, y in a ringR inductively as follows: [x,y]₁=[x,y]=xy−yx and [x,y] _k =[[x,y] _{k−1, y} ]. Assume thatR is a ring without nonzero nil onesided ideals. The following are shown: (1) If [x,y] _k is nilpotent for allx,y∈R, thenR must be commutative. (2) If [x,y] _k is power central for allx,y∈R, thenR must satisfy the standard polynomial of degree 4. 1980 Mathematics Subject Classification (1985 Revision). Primary 16A70, Secondary 16A12.     

On Regular Power-Substitution

The necessary and sufficient conditions under which a ring satisfies regular power-substitution are investigated. It is shown that a ring R satisfies regular powersubstitution if and only if a-b in R implies that there exist n ∈ N and a U E GLn （R） such that aU = Ub if and only if for any regular x ∈ R there exist m,n ∈ N and U ∈ GLn（R） such that x^mIn = xmUx^m, where a-b means that there exists x,y, z∈ R such that a =ybx, b = xaz and x= xyx = xzx. It is proved that every directly finite simple ring satisfies regular power-substitution. Some applications for stably free R-modules are also obtained.     

Superstability of the generalized orthogonality equation on restricted domains

Chmielinski has proved in the paper [4] the superstability of the generalized orthogonality equation |〈f(x), f(y)〉| = |〈x,y〉|. In this paper, we will extend the result of Chmielinski by proving a theorem: LetD _n be a suitable subset of ℝⁿ. If a function f:D _n → ℝⁿ satisfies the inequality ∥〈f(x), f(y)〉| |〈x,y〉∥ ≤ φ(x,y) for an appropriate control function φ(x, y) and for allx, y ∈ D _n, thenf satisfies the generalized orthogonality equation for anyx, y ∈ D _n.     

Commutativity of rings with derivations

I. N. Herstein [10] proved that a prime ring of characteristic not two with a nonzero derivation d satisfying d(x)d(y) = d(y)d(x) for all x, y must be commutative, and H. E. Bell and M. N. Daif [8] showed that a prime ring of arbitrary characteristic with nonzero derivation d satisfying d(xy) = d(yx) for all x, y in some nonzero ideal must also be commutative. For semiprime rings, we show that an inner derivation satisfying the condition of Bell and Daif on a nonzero ideal must be zero on that ideal, and for rings with identity, we generalize all three results to conditions on derivations of powers and powers of derivations. For example, let R be a prime ring with identity and nonzero derivation d, and let m and n be positive integers such that, when charR is finite, m ∨ n < charR. If d(x ^m y ⁿ ) = d(y ⁿ x ^m ) for all x, y ∈ R, then R is commutative. If, in addition, charR≠ 2 and the identity is in the image of an ideal I under d, then d(x) ^m d(y) ⁿ = d(y) ⁿ d(x) ^m for all x, y ∈ I also implies that R is commutative.     

On a singular integral on product spaces

We show that if K(x,y)=Ω(x,y)/|x|ⁿ|y|^m is a Calder n-Zygmund kerned on Rⁿ×R^m, where Ω∈L²(Sⁿ⁻¹×S^m−1) and b(x,y) is any bounded function which is radial with x∈Rⁿ and y∈R^m respectively, then b(x,y)K(x,y) is the kernel of a convolution operator which is bounded on L^p(Rⁿ×R^m) for 1<p<∞ and n≧2, m≧2. Project supported by NSFC     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

IBN rings and orderings on grothendieck groups

LetR be a ring with an identity element.R∈IBN means thatR ^m⋟Rⁿ impliesm=n, R∈IBN ₁ means thatR ^m⋟Rⁿ⊕K impliesm≥n, andR∈IBN ₂ means thatR ^m⋟R^m⊕K impliesK=0. In this paper we give some characteristic properties ofIBN ₁ andIBN ₂, with orderings on the Grothendieck groups. In addition, we obtain the following results: (1) IfR∈IBN ₁ and all finitely generated projective leftR-modules are stably free, then the Grothendieck groupK ₀(R) is a totally ordered abelian group. (2) If the pre-ordering of the Grothendieck groupK ₀(R) of a ringR is a partial ordering, thenR∈IBN ₁ orK ₀(R)=0. Supported by National Nature Science Foundation of China.     

An Extremal Problem on Degree Sequences of Graphs

 Let G=(I _n ,E) be the graph of the n-dimensional cube. Namely, I _n ={0,1} ⁿ and [x,y]∈E whenever ||x−y||₁=1. For A⊆I _n and x∈A define h _A (x) =#{y∈I _n A|[x,y]∈E}, i.e., the number of vertices adjacent to x outside of A. Talagrand, following Margulis, proves that for every set A⊆I _n of size 2 ⁿ⁻¹ we have for a universal constant K independent of n. We prove a related lower bound for graphs: Let G=(V,E) be a graph with . Then , where d(x) is the degree of x. Equality occurs for the clique on k vertices. Received: January 7, 2000 RID="*" ID="*" Supported in part by BSF and by the Israeli academy of sciences     

Derivations with power central values on Lie ideals in prime rings

Let R be a prime ring of char R ≠ 2 with a nonzero derivation d and let U be its noncentral Lie ideal. If for some fixed integers n ₁ ⩾ 0, n ₂ ⩾ 0, n ₃ ⩾ 0, (u ⁿ¹ [d(u), u]u ⁿ²) ⁿ³ ∈ Z(R) for all u ∈ U, then R satisfies S ₄, the standard identity in four variables.     

Hyperidentities of lattices and semilattices

Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ∈, then the resulting identity holds inV in the usual sense. For example, if a varietyV of type <2,2> with operation symbols ∨ and ∧ satisfies the hyperidentity given above, then substituting the polynomial (x∨y)∨z for the symbolG, and the polynomialx∧y forF, we see thatV must in particular satisfy the identity ((x∨y)∨z)∧((x∨y)∨z)=((x∨y)∨z). The set of all hyperidentities satisfied by a varietyV, will be denoted byH(V). We shall letH ^m (V) be the set of all hyperidentities hoiding inV with operation symbols of arity at mostm, andH _n (V) will denote the set of all hyperidentities ofV with at mostn distinct variables. In this paper we shall show that ifV is a nontrivial variety of lattices or the variety of all semilattices, then for any integersm andn, there exists a hyperidentity ∈ such that ∈ holds inV, and ∈ is not a consequence ofH ^m (V)∪H _n (V). From this it is deduced that the hyperidentities ofV are not finitely based, partly soling a problem of Taylor [7, Problem 3]. The research of the author was supported by NSERC of Canada. Presented by W. Taylor.     

Multilinear polynomials and cocentralizing conditions in prime rings

Let R be a noncommutative prime ring of characteristic different from 2, let Z(R) be its center, let U be the Utumi quotient ring of R, let C be the extended centroid of R, and let f(x ₁,..., x _n ) be a noncentral multilinear polynomial over C in n noncommuting variables. Denote by f(R) the set of all evaluations of f(x ₁, …, xn) on R. If F and G are generalized derivations of R such that [[F(x), x], [G(y), y]] ∈ Z(R) for any x, y ∈ f(R), then one of the following holds:

Engel type identities with derivations for right ideals in prime rings

Let R be a prime ring of char R≠2, d a non-zero derivation of R and ρ a non-zero right ideal of R such that [[d(x),d(y)]_n [y,x]_m] = 0 for all x,y ∈ ρ or [[d(x),d(y)]_n d[y,x]_m] = 0 for all x,y ∈ ρ, n, m ≥ 0 are fixed integers. If [ρ,ρ]ρ ≠ 0, then d(ρ)ρ = 0.     

Finiteness conditions in Krull subrings of a ring of polynomials

LetR be a Krull subring of a ring of polynomialsk[x ₁, …, x_n] over a fieldk. We prove that ifR is generated by monomials overk thenr is affine. We also construct an example of a non-affine Krull ringR, such thatk[x, xy]⊂R⊂k[x, y], and a non-Noetherian Krull ringS, such thatk[x, xy, z]⊂S⊂k[x, y, z].     

On the stability of the quadratic functional equation on bounded domains

A result of Skof and Terracini will be generalized; More precisely, we will prove that if a functionf : [-t, t]ⁿ →E satisfies the inequality (1) for some δ > 0 and for allx, y ∈ [-t, t]ⁿ withx + y, x - y ∈ [-t, t]ⁿ, then there exists a quadratic functionq: ℝⁿ →E such that ∥f(x) -q(x)∥ < (2912n² + 1872n + 334)δ for anyx ∈ [-t, t] ⁿ .     

Realization of the Perron effect whereby the characteristic exponents of solutions of differential systems change their values

We realize the Perron effect of change of values of characteristic exponents: for arbitrary parameters λ ₁ <- λ ₂ < 0, β ₂ ≥ β ₁ ≥ λ ₂, and m > 1, we prove the existence of a linear differential system $ \dot x $ \dot x = A(t)x, x ∈ R ₂, t ≥ t ₀, with bounded infinitely differentiable coefficients and with characteristic exponents λ ₁(A) = λ ₁ <- λ ₂(A) = λ ₂ and of an m-perturbation f: [t ₀,+∞) × R ₂ → R ₂ infinitely differentiable in time, continuously differentiable with respect to the phase variables y ₁ and y ₂, (y ₁, y ₂) = y ∈ R ₂ (infinitely differentiable with respect to the variables y ₁ ≠ 0 and y ₂ ≠ 0 and with respect to all of these variables in the case of a positive integer m > 1), satisfying the condition ‖f(t, y)‖ ≤ const × ‖y‖ ^m , y ∈ R ², t ≥ t ₀, and such that all nontrivial solutions y(t, c) of the perturbed system

A note on strongly π-regular rings

Let R be an associative ring with unit and let N(R) denote the set of nilpotent elements of R. R is said to be stronglyπ-regular if for each x∈R, there exist a positive integer n and an element y∈R such that x ⁿ=x ^{n +1} y and xy=yx. R is said to be periodic if for each x∈R there are integers m,n≥ 1 such that m≠n and x ^m=x ⁿ. Assume that the idempotents in R are central. It is shown in this paper that R is a strongly π-regular ring if and only if N(R) coincides with the Jacobson radical of R and R/N(R) is regular. Some similar conditions for periodic rings are also obtained. This revised version was published online in June 2006 with corrections to the Cover Date.     

Generalization of the perron effect whereby the characteristic exponents of all solutions of two differential systems change their sign from negative to positive

We obtain a generalization of the complete Perron effect whereby the characteristic exponents of all solutions change their sign from negative for the linear approximation system to positive for a nonlinear system with perturbations of higher-order smallness [Differ. Uravn., 2010, vol. 46, no. 10, pp. 1388–1402]. Namely, for arbitrary parameters λ ₁ ≤ λ ₂ < 0 and m > 1 and for arbitrary intervals [b _i , d _i ) ⊂ [λ _i ,+∞), i = 1, 2, with boundaries d ₁ ≤ b ₂, we prove the existence of (i) a two-dimensional linear differential system with bounded coefficient matrix A(t) infinitely differentiable on the half-line t ≥ 1 and with characteristic exponents λ ₁(A) = λ ₁ ≤ λ ₂(A) = λ ₂ < 0; (ii) a perturbation f(t, y) of smallness order m > 1 infinitely differentiable with respect to time t > 1 and continuously differentiable with respect to y ₁ and y ₂, y = (y ₁, y ₂) ∈ R ² such that all nontrivial solutions y(t, c), c ∈ R ², of the nonlinear system .y = A(t)y + f(t, y), y ∈ R ², t ≥ 1, are infinitely extendible to the right and have characteristic exponents λ[y] ∈ [b ₁, d ₁) for c ₂ = 0 and λ[y] ∈ [b ₂, d ₂) for c ₂ ≠ 0.     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

On exponential sums over primes in short intervals

Let Λ(n) be the von Mangoldt function, x real and y small compared with x. This paper gives a non-trivial estimate on the exponential sum over primes in short intervals S₂(x,y;a)=?_{x < n ￡ x+y}L(n)e(n² a)S_2(x,y;{\alpha})=\sum_{x < n \le x+y}\Lambda(n)e(n^2 {\alpha}) for all α ∈ [0,1] whenever x^\frac23+e ￡ y ￡ xx^{\frac{2}{3}+{\varepsilon}}\le y \le x . This result is as good as what was previously derived from the Generalized Riemann Hypothesis.