A Note on Range-Inclusive Maps in Rings with Idempotents

Let A be a ring, let M be an A-bimodule, and let C be the center of M. A map F: A → M is said to be range-inclusive if [F(x), A] ? [x, M] for every x ? A. Recently, Bre?ar proved that if A is a unital ring and M a unital A-bimodule such that A contains wide idempotents, then every range-inclusive additive map F: A → M is of the form F(x) = λx + μ(x) for some λ ?C and μ: A → C. Our main purpose is to remove the assumption of unitality in the above result.     

Commuting Traces of Biadditive Maps on Invertible Elements

Let R be a simple unital ring. Under a mild technical restriction on R, we will characterize biadditive mappings G: R² → R satisfying G(u, u)u = uG(u, u), and G(1, r) = G(r, 1) = r for all unit u ∈ R and r ∈ R, respectively. As an application, we describe bijective linear maps θ: R → R satisfying θ(xyx^?1y^?1) = θ(x)θ(y)θ(x)^?1θ(y)^?1 for all invertible x, y ∈ R. This solves an open problem of Herstein on multiplicative commutators. More precisely, we will show that θ is an isomorphism. Furthermore, we shall see the existence of a unital simple ring R′ without nontrivial idempotents, that admits a bijective linear map f: R′ → R′, preserving multiplicative commutators, that is not an isomorphism.     

Harmonic Maps Over Rings

For the torsion-free modules over noncommutative principal ideal domains von Staudt's theorem is proved. Moreover, more general (nonbijective) harmonic maps with the classical definition of harmonic quadruple is calculated.     

一类幂等元模J(R)可强提升的环

将Nicholson提出的幂等元强提升概念进行了推广,定义了L-环,弱L-环,使用通常环论方法研究了L-环中本原幂等元的Local性和L-环与potent环之间的关系,证明了一个环是L-环的充分必要条件是R/J(R)是Boole环,且幂等元模J(R)可强提升,同时对具有一对零同态的Morita Context环C=A VW B,关于L-性讨论了C与A,B之间的关系.     

Nonadditive Strong Commutativity Preserving Maps

The goal of this note is to characterize strong commutativity preserving maps on prime or semiprime rings without the additivity assumption on the maps considered in the literature.     

Rings with Lattices of Idempotents

The central idempotents of any ring with identity form a Boolean algebra. This result is largely extended for rings with generalized commuting idempotents.     

Joins and Meets of Symmetric Idempotents

We show that the poset of symmetric idempotents of a (non-commutative) unital ring with involution in the obvious order need not admit finite joins and meets.      

Extending Sets of Idempotents to Ring Extensions

In this paper the idea of an intrinsic extension of a ring, first proposed by Faith and Utumi, is generalized and studied in its own right. For these types of ring extensions, it is shown that, with relatively mild conditions on the base ring, R, a complete set of primitive idempotents (a complete set of left triangulating idempotents, a complete set of centrally primitive idempotents) can be constructed for an intrinsic extension, T, from a corresponding set in the base ring R. Examples and applications are given for rings that occur in functional analysis and group ring theory.     

Additive Set of Idempotents in Rings

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, f ∈ I(R) (e ≠ f), e + f ∈ I(R), and M(R) is additive in I(R) if for all e, f ∈ M(R)(e ≠ f), e + f ∈ I(R). In this article, the following points are shown: (1) I(R) is additive if and only if I(R) is multiplicative and the characteristic of R is 2; M(R) is additive in I(R) if and only if M(R) is orthogonal. If 0 ≠ ef ∈ I(R) for some e ∈ M(R) and f ∈ I(R), then ef ∈ M(R), (2) If R has a complete set of primitive idempotents, then R is a finite product of connected rings if and only if I(R) is multiplicative if and only if M(R) is additive in I(R).     

Algebras Generated by Semicentral Idempotents

Let be a unital K-algebra, where K is a commutative ring with unity. An idempotent is {\it left semicentral\/} if , and is {\it SCI-generated\/} if it is generated as a K-module by left semicentral idempotents. This paper develops the basic properties of SCI-generated algebras and characterizes those that are also prime, semiprime, primitive, or subdirectly irreducible. Minimal ideals and the socle of SCI-generated algebras are investigated. Conditions are found to describe a large class of SCI-generated algebras via generalized triangular matrix representations. SCI-generated piecewise domains are characterized. Examples are given that illustrate the breadth and diversity of the class of SCI-generated algebras.     

三角代数上Jordan积为幂等元处的高阶ξ-Lie可导映射

设u=Tri(A,M,B)是三角代数,{φn}n∈N:u→u是一列线性映射.本文利用代数分解的方法,证明了如果对任意U,V∈u且U。V=P为标准幂等元,有φn([U,V]ξ)=Σi+j=n(φi(U)φj(V)-ξφi(V)φj(U))(ξ≠±1),则{φn}n∈N是一个高阶导子,其中φ0=id为恒等映射,UoV=UV+VU为Jordan积,[U,V]ξ=UV-ξVU为ξ-Lie积.     

具有幂等自反自同态的环

通过引入环的幂等自反自同态α的概念,研究幂等自反α-环,它是幂等自反环概念的拓广.给出幂等自反α-环的一些特征和扩张性质,推广了已有的一些相关结果.     

Idempotents in the Universal Compactification of a Cone

Let U be the universal (or Bohr) compactification of a real finite-dimensional cone. M. Friedberg established an isomorphism between the idempotents of U and the faces of the cone dual to K. This isomorphism is utilized to investigate the generators of the semigroup of idempotents.AMS Subject Classification (1991): 22A15 20M14 52A20     

三角代数上 Jordan 积为幂等元处的高阶ξ-Lie 可导映射

设U=Tri（A,M,B）是三角代数,{φ_n}_n∈N：U→U是一列线性映射.本文利用代数分解的方法,证明了如果对任意U,V∈U且U?V=P为标准幂等元,有φ_n（[U,V]_ξ=Σ_i+j=n（φ_i（U）φ_j（V）-ξφ_i（V）φ_j（U））（ξ≠1）,则{φ_n}_n∈N是一个高阶导子,其中φ₀=id为恒等映射,U?V=UV+VU为Jordan积,[U,V]_ξ=UV-ξVU为ξ-Lie积.     

K 0 of Exchange Rings with All Idempotents Central

ABSTRACT

Let R be an exchange ring with all idempotents central, and let Max(R) ? Ξ(R) ? Spec(R). If ∩{P | P ∈ Ξ(R)} is nil, we prove that K ₀(R) ? {f : Ξ(R) → ?| f is continuous}.     

有足够幂等元的群分次环上的Morita对偶

首先定义了具有足够幂等元的群分次环的Ｓｍ ａｓｈ 积并讨论其性质,其次,借助Ｓｍ ａｓｈ 积给出了这类分环上的分次Ｍｏｒｉｔａ对偶的刻划．     

结合环类中的E-单环

在全部结合环类中，对幂等根Ｅ，定义了Ｅ－单环．本文给出Ｅ－单环的一个刻画．     

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.