Characterization of 2-Local Derivations and Local Lie Derivations on Some Algebras

We prove that each 2-local derivation from the algebra M_n(A ) (n > 2) into its bimodule M_n(M) is a derivation, where A is a unital Banach algebra and M is a unital A -bimodule such that each Jordan derivation from A into M is an inner derivation, and that each 2-local derivation on a C*-algebra with a faithful traceable representation is a derivation. We also characterize local and 2-local Lie derivations on some algebras such as von Neumann algebras, nest algebras, the Jiang–Su algebra, and UHF algebras.     

Jordan derivations of full matrix algebras

Let A be a unital associative ring and M be a 2-torsion free A-bimodule. Using an elementary and constructive method we show that every Jordan derivation from M_n(A) into M_n(M) is a derivation.     

Higher derivations of triangular algebras and its generalizations

Let R be a commutative ring with identity, A and B be unital algebras over R and M be a unital (it A,it B)-bimodule. Let be the triangular algebra consisting of A, it Band M. Motivated by the work of Cheung [14] we mainly consider the question whether every higher derivation on a triangular algebra is an inner higher derivation. We also give some characterizations on (generalized-)Jordan (triple-)higher derivations of triangular algebras.     

On the generalized Hyers-Ulam stability of module left derivations

Let A be a unital normed algebra and let M be a unitary Banach left A-module. If f:A→M is an approximate module left derivation, then f:A→M is a module left derivation. Moreover, if M=A is a semiprime unital Banach algebra and f(tx) is continuous in t∈R for each fixed x in A, then every approximately linear left derivation f:A→A is a linear derivation which maps A into the intersection of its center Z(A) and its Jacobson radical rad(A). In particular, if A is semisimple, then f is identically zero.     

On derivable mappings

A linear mapping δ from an algebra A into an A-bimodule M is called derivable at c∈A if δ(a)b+aδ(b)=δ(c) for all a,b∈A with ab=c. For a norm-closed unital subalgebra A of operators on a Banach space X, we show that if C∈A has a right inverse in B(X) and the linear span of the range of rank-one operators in A is dense in X then the only derivable mappings at C from A into B(X) are derivations; in particular the result holds for all completely distributive subspace lattice algebras, J-subspace lattice algebras, and norm-closed unital standard algebras of B(X). As an application, every Jordan derivation from such an algebra into B(X) is a derivation. For a large class of reflexive algebras A on a Banach space X, we show that inner derivations from A into B(X) can be characterized by boundedness and derivability at any fixed C∈A, provided C has a right inverse in B(X). We also show that if A is a canonical subalgebra of an AF C^∗-algebra B and M is a unital Banach A-bimodule, then every bounded local derivation from A into M is a derivation; moreover, every bounded linear mapping from A into B that is derivable at the unit I is a derivation.     

Separation properties in the primitive ideal space of a multiplier algebra

We use recent work on spectral synthesis in multiplier algebras to give an intrinsic characterization of the separable C*-algebras A for which Orc(M(A)) = 1, i.e., for which the relation of inseparability on the topological space of primitive ideals of the multiplier algebra M(A) is an equivalence relation. This characterization has applications to the calculation of norms of inner derivations and other elementary operators on A and M(A). For example, we give necessary and sufficient conditions on the ideal structure of a separable C*-algebra A for the norm of every inner derivation to be twice the distance of the implementing element to the centre of M(A).     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

Almost homomorphisms between unital <Emphasis Type="Italic">C</Emphasis>*-algebras: A fixed point approach

Let A , B be two unital C*-algebras. By using fixed pint methods, we prove that every almost unital almost linear mapping h : A → B which satisfies h(2 n uy) = h(2 n u)h(y) for all u ∈ U(A), all y ∈ A, and all n = 0, 1, 2, … , is a homomorphism. Also, we establish the generalized Hyers-Ulam-Rassias stability of *-homomorphisms on unital C*-algebras.     

Universal problem for Kähler differentials in A-modules: Non-commutative and commutative cases

Let A be an associative and unital K-algebra sheaf, where K is a commutative ring sheaf, and ε an (A, A)-bimodule, that is, a sheaf of (A, A)-bimodules. We construct an (A, A)-bimodulc which is K-isomorphic with the K-module D _K (A, ε) of germs of K-derivations. A similar isomorphism is obtained, this time around with respect to A, between the K-module D _K (A, ε) with the A-module Hom _A (Ω _K (A), ε). where A, in addition of being associative and unital, is assumed to be commutative, and Ω _K (A) denotes the A-module of germs of Kähler differentials. Finally, we expound on functoriality of Kähler differentials.     

Annihilator-preserving maps, multipliers, and derivations

For a commutative subspace lattice L in a von Neumann algebra N and a bounded linear map f:N∩algL→B(H), we show that if Af(B)C=0 for all A,B,C∈N∩algL satisfying AB=BC=0, then f is a generalized derivation. For a unital C^∗-algebra A, a unital Banach A-bimodule M, and a bounded linear map f:A→M, we prove that if f(A)B=0 for all A,B∈A with AB=0, then f is a left multiplier; as a consequence, every bounded local derivation from a C^∗-algebra to a Banach A-bimodule is a derivation. We also show that every local derivation on a semisimple free semigroupoid algebra is a derivation and every local multiplier on a free semigroupoid algebra is a multiplier.     

Nonlinear Lie derivations on upper triangular matrices

Let M _n (𝔸) and T _n (𝔸) be the algebra of all n?×?n matrices and the algebra of all n?×?n upper triangular matrices over a commutative unital algebra 𝔸, respectively. In this note we prove that every nonlinear Lie derivation from T _n (𝔸) into M _n (𝔸) is of the form A?→?AT???TA?+?A _??+?ξ(A)I _n , where T?∈?M _n (𝔸), ??:?𝔸?→?𝔸 is an additive derivation, ξ?:?T _n (𝔸)?→?𝔸 is a nonlinear map with ξ(AB???BA)?=?0 for all A,?B?∈?T _n (𝔸) and A _? is the image of A under???applied entrywise.     

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.     

Property T＊＊ for C＊-algebras

Extending the notion of property T of finite von Neumann algebras to general von Neumann algebras, we define and study in this paper property T** for (possibly non-unital) C* -algebras. We obtain several results of property T** parallel to those of property T for unital C* -algebras. Moreover, we show that a discrete group Γ has property T if and only if the group C* -algebra Cr* (Γ) (or equivalently, the reduced group C* -algebra Cr* (Γ)) has property T**. We also show that the compact operators K(l2 ) has property T** but c0 does not have property T**.     

On Homomorphisms between <Emphasis Type="Italic">C</Emphasis>*-Algebras and Linear Derivations on <Emphasis Type="Italic">C</Emphasis>*-Algebras

It is shown that every almost linear Pexider mappings f, g, h from a unital C*-algebra into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ _uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all unitaries u ∈ , all y ∈ , and all n ∈ ℤ, and that every almost linear continuous Pexider mappings f, g, h from a unital C*-algebra of real rank zero into a unital C*-algebra ℬ are homomorphisms when f(2 ⁿ uy) = f(2 ⁿ u)f(y), g(2 ⁿ uy) = g(2 ⁿ u)g(y) and h(2 ⁿ uy) = h(2 ⁿ u)h(y) hold for all u ∈ {v ∈ : v = v* and v is invertible}, all y ∈ and all n ∈ ℤ. Furthermore, we prove the Cauchy-Rassias stability of *-homomorphisms between unital C*-algebras, and ℂ-linear *-derivations on unital C*-algebras. This work was supported by Korea Research Foundation Grant KRF-2003-042-C00008. The second author was supported by the Brain Korea 21 Project in 2005.     

A presentation of the group Sl * (2, A), A a simple artinian ring with involution

Let (A,*) be an involutive ring. Then the groups Sl _*(2, A), are a non commutative version of the special linear groups Sl(2, F) defined over a field F. In particular, if A = M(n, F) and * is transposition, then Sl _*(2, M _n (F)) = Sp(2n, F). The above groups were defined by Pantoja and Soto-Andrade, and a set of generators for the group SSl _*(2, A) (which is either Sl _*(2, A) or a index 2 subgroup of Sl _*(2, A)) was given in the case when A is an artinian ring. In this paper, we prove that the mentioned generators provide a presentation of the mentioned groups in the case of simple artinian rings.Partially supported by FONDECYT project 1030907 and Pontificia Universidad Católica de Valparaíso     

Idempotent elements determined matrix algebras

Let M_n(R) be the algebra of all n×n matrices over a unital commutative ring R with 2 invertible, V be an R-module. It is shown in this article that, if a symmetric bilinear map {·,·} from M_n(R)×M_n(R) to V satisfies the condition that {u,u}={e,u} whenever u²=u, then there exists a linear map f from M_n(R) to V such that . Applying the main result we prove that an invertible linear transformation θ on M_n(R) preserves idempotent matrices if and only if it is a Jordan automorphism, and a linear transformation δ on M_n(R) is a Jordan derivation if and only if it is Jordan derivable at all idempotent points.     

Unital and multiplicatively spectrum-preserving surjections between semi-simple commutative Banach algebras are linear and multiplicative

Let T be a surjective map from a unital semi-simple commutative Banach algebra A onto a unital commutative Banach algebra B. Suppose that T preserves the unit element and the spectrum σ(fg) of the product of any two elements f and g in A coincides with the spectrum σ(TfTg). Then B is semi-simple and T is an isomorphism. The condition that T is surjective is essential: An example of a non-linear and non-multiplicative unital map from a commutative C*-algebra into itself such that σ(TfTg)=σ(fg) holds for every f,g are given. We also show an example of a surjective unital map from a commutative C*-algebra onto itself which is neither linear nor multiplicative such that σ(TfTg)⊂σ(fg) holds for every f,g.     

Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

Continuous derivations on *-algebras of τ-measurable operators are inner

It is proved that every continuous derivation on the *-algebra S(M, τ) of all τ-measurable operators affiliated with a von Neumann algebra M is inner. For every properly infinite von Neumann algebra M, any derivation on the *-algebra S(M, τ) is inner.