m-Power Commuting MAPS on Semiprime Rings

Let R be a semiprime ring with center Z(R), extended centroid C, U the maximal right ring of quotients of R, and m a positive integer. Let f: R → U be an additive m-power commuting map. Suppose that f is Z(R)-linear. It is proved that there exists an idempotent e ∈ C such that ef(x) = λx + μ(x) for all x ∈ R, where λ ∈C and μ: R → C. Moreover, (1 ? e)U ? M₂(E), where E is a complete Boolean ring. As consequences of the theorem, it is proved that every additive, 2-power commuting map or centralizing map from R to U is commuting.     

Power Values of Derivations with Annihilator Conditions on Lie Ideals in Prime Rings

Let R be a prime ring of char R ≠ 2, d a nonzero derivation of R, U a noncentral Lie ideal of R, and a ∈ R. If au ^{n ₁} d(u) ^{n ₂} u ^{n ₃} d(u) ^{n ₄} u ^{n ₅} … d(u) ^{n _k?1} u ^{n _k}  = 0 for all u ∈ U, where n ₁, n ₂,…,n _k are fixed non-negative integers not all zero, then a = 0 and if a(u ^s d(u)u ^t ) ⁿ  ∈ Z(R) for all u ∈ U, where s ≥ 0, t ≥ 0, n ≥ 1 are some fixed integers, then either a = 0 or R satisfies S ₄, the standard identity in four variables.     

Derivations and Skew Polynomial Rings

Soient D un corps non nécessairement commutatif et L un sous-corps de D. On établit une condition nécessaire et suffisante pour que le groupe multiplicatif L de L soit d'indice fini dans son normalisateur N dans D. Lorsque la dimension à gauche [D : L]_g est un nombre premier, on précise le groupe N/L et la structure de D.     

微商共同作用在半素环的Lie理想上的结果

本文讨论了微商共同作用在半素环的某个Ｌｉｅ理想上的问题。给出了如下结果：设Ｒ是带有中心Ｚ（Ｒ）的半素环,Ｑｍｒ是Ｒ的极大右商环,Ｌ是Ｒ的非交换Ｌｉｅ理想,ｄ和δ是Ｒ的微商,假设ｒＲ（「Ｌ,Ｌ」）＝０且ｄ（ｘ）ｘ－ｘδ（ｘ）∈Ｚ（Ｒ）对任意ｘ∈Ｌ成立,则在Ｒ的扩张形心Ｃ中存在一个幂等元ｅ使得ｄ（１－ｅ）Ｑｍｒ＝０和δ（１－ｅ）Ｑｍｒ）＝０并且ｅＱｍｒ满足Ｓ４。另外给出微商共同作用在半素环上多项式的结     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

Quotient Rings of Ore Extensions with More than One Indeterminate

Let R be a domain and R[X; D] the Ore extension of R by a sequence D of derivations of R. If D has length ≥ 2, we show that the symmetric Utumi quotient ring of R[X; D] is U _s (R)[X; D], where U _s (R) is the symmetric Utumi quotient ring of R. Consequently, X-inner automorphisms of R[X; D] are induced by units of U _s (R) and the extended centroid of R[X; D] consists of those elements α in the center of U _s (R) such that δ(α) = 0 for all δ ? D. These extend the known results for free algebras.     

Ore Extensions of Ore Domains

Let R be a right Ore domain and φ a derivation or an automorphism of R. We determine the right Martindale quotient ring of the Ore extension R[t; φ] (Theorem 1.1). As an attempt to generalize both the Weyl algebra and the quantum plane, we apply this to rings R such that k[x] ? R ? k(x), where k is a field and x is a commuting variable. The Martindale Quotient quotient ring of R[t; φ] and its automorphisms are computed. In this way, we obtain a family of non-isomorphic infinite dimensional simple domains with all their automorphisms explicitly described.     

Morita Invariance and Maximal Left Quotient Rings

Abstract

We prove that under conditions of regularity the maximal left quotient ring of a corner of a ring is the corner of the maximal left quotient ring. We show that if R and S are two non-unital Morita equivalent rings then their maximal left quotient rings are not necessarily Morita equivalent. This situation contrasts with the unital case. However we prove that the ideals generated by two Morita equivalent idempotent rings inside their own maximal left quotient rings are Morita equivalent.     

对称环的扩张

本文首先考虑了对称环的性质和基本的扩张．其次讨论了几种多项式环的对称性,且证明了:如果R是约化环,则R[x]／(xn)是对称环,其中(xn)是由xn生成的理想,n是一个正整数．最后证明了:对一个右Ore环R,R是对称环当且仅当R的古典右商环Q是对称环．     

Reflexive Property of Rings

Mason introduced the reflexive property for ideals, and then this concept was generalized by Kim and Baik, defining idempotent reflexive right ideals and rings. In this article, we characterize aspects of the reflexive and one-sided idempotent reflexive properties, showing that the concept of idempotent reflexive ring is not left-right symmetric. It is proved that a (right idempotent) reflexive ring which is not semiprime (resp., reflexive), can always be constructed from any semiprime (resp., reflexive) ring. It is also proved that the reflexive condition is Morita invariant and that the right quotient ring of a reflexive ring is reflexive. It is shown that both the polynomial ring and the power series ring over a reflexive ring are idempotent reflexive. We obtain additionally that the semiprimeness, reflexive property and one-sided idempotent reflexive property of a ring coincide for right principally quasi-Baer rings.     

关于nZ的理想及商环

给出了nZ的全部理想、极大理想和素理想,并研究了nZ的商环的构造以及为域的条件,解决了Z<,n>的子域的存在和个数问题.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

A Generalization of Engel Conditions with Derivations in Rings

Let R be a prime ring of characteristic different from 2 with Z the center of R and d a nonzero derivation of R. Let k, m, n be fixed positive integers. If ([d(x ^k ), x ^k ] _n ) ^m  ∈ Z for all x ∈ R, then R satisfies S ₄, the standard identity in 4 variables.     

Noncommutative Valuation Rings of the Quotient Artinian Ring of a Skew Polynomial Ring

Let R be a Dubrovin valuation ring of a simple Artinian ring Q and let Q[X,] be the skew polynomial ring over Q in an indeterminate X, where is an automorphism of Q. Consider the natural map from Q[X,]_XQ[X,] to Q, where Q[X,]_XQ[X,] is the localization of Q[X,] at the maximal ideal XQ[X,] and set , the complete inverse image of R by . It is shown that is a Dubrovin valuation ring of Q(X,) (the quotient ring of Q[X,]) and it is characterized in terms of X and Q. In the case where R is an invariant valuation ring, the given automorphism is classified into five types, in order to study the structure of (the value group of ). It is shown that there is a commutative valuation ring R with automorphism which belongs to each type and which makes Abelian or non-Abelian. Furthermore, some examples are used to show that several ideal-theoretic properties of a Dubrovin valuation ring of Q with finite dimension over its center, do not necessarily hold in the case where Q is infinite-dimensional. Presented by A. VerschorenMathematics Subject Classifications (2000) 16L99, 16S36, 16W60.     

Quotient Rings and f-Radical Extensions of Rings

By testing quotient rings, we give another viewpoint concerning the relationship between PI and Goldie properties, etc., and f-radical extensions of rings. The main result proved here is as follows: Let R be a prime algebra without nonzero nil right ideals. Suppose that R is f-radical over a subalgebra A, where f(X ₁,…, X _t ) is a multilinear polynomial, not an identity for p × p matrices in case char R = p > 0. Suppose that f is not power-central valued in R. Then the maximal ring of right (left) quotients of A coincides with that of R. Moreover, R is right Goldie if and only if A is.     

A Characterization of Generalized Derivations on Prime Rings

Let R be a noncommutative prime ring, U be the left Utumi quotient ring of R, and k, m, n, r be fixed positive integers. If there exist a generalized derivation G and a derivation g (which is independent of G) of R such that [G(x^m)xⁿ + xⁿg(x^m), x^r]_k = 0, for all x ∈ R, then there exists a ∈ U such that G(x) = ax, for all x ∈ R. As a consequence of the result in the present article, one may obtain Theorem 1 in Demir and Argaç [10 Demir, Ç., Argaç, N. (2010). A result on generalized derivations with Engel conditions on one-sided ideals. J. Korean Math. Soc. 47(3):483–494.[Crossref], [Web of Science ®] , [Google Scholar]].