Additive maps derivable or Jordan derivable at zero point on nest algebras

Let AlgN be a nest algebra associated with the nest N on a (real or complex) Banach space X. Assume that every N∈N is complemented whenever N_-=N. Let δ:AlgN→AlgN be an additive map. It is shown that the following three conditions are equivalent: (1) δ is derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B) whenever AB=0; (2) δ is Jordan derivable at zero point, i.e., δ(AB+BA)=δ(A)B+Aδ(B)+Bδ(A)+δ(B)A whenever AB+BA=0; (3) δ has the form δ(A)=τ(A)+cA for some additive derivation τ and some scalar c. It is also shown that δ is generalized derivable at zero point, i.e., δ(AB)=δ(A)B+Aδ(B)-Aδ(I)B whenever AB=0, if and only if δ is an additive generalized derivation. Finer characterizations of above maps are given for the case dimX=∞.     

Some common fixed point theorems for Banach operator pairs with applications in best approximation

The ordered pair (T,I) of two self-maps of a metric space (X,d) is called a Banach operator pair if the set F(I) of fixed points of I is T-invariant i.e. T(F(I))⊆F(I). Some common fixed point theorems for a Banach operator pair and the existence of common fixed points of best approximation are presented in this paper. The results prove, generalize and extend some results of Al-Thagafi [M.A. Al-Thagafi, Common fixed points and best approximation, J. Approx. Theory 85 (1996) 318-323], Carbone [A. Carbone, Applications of fixed point theorems, Jnanabha 19 (1989) 149-155], Chen and Li [J. Chen, Z. Li, Common fixed points for Banach operator pairs in best approximations, J. Math. Anal. Appl. 336 (2007) 1466-1475], Habiniak [L. Habiniak, Fixed point theorems and invariant approximation, J. Approx. Theory 56 (1989) 241-244], Jungck and Sessa [G. Jungck, S. Sessa, Fixed point theorems in best approximation theory, Math. Japon. 42 (1995) 249-252], Sahab, Khan and Sessa [S.A. Sahab, M.S. Khan, S. Sessa, A result in best approximation theory, J. Approx. Theory 55 (1988) 349-351], Shahzad [N. Shahzad, Invariant approximations and R-subweakly commuting maps, J. Math. Anal. Appl. 257 (2001) 39-45] and of few others.     

On Additive Maps and Commutativity in Rings

We study additive maps which are skew-commuting or skew-centralizing on appropriate subsets of a ring R; and we investigate commutativity in prime and semiprime rings admitting a nonzero derivation d such that [d(x),d(y)] = 0 for all x,y in some nonzero one-sided ideal. This paper has two main parts. The first, motivated by a recent result of Bre?ar [3] on triviality of skew-commuting additive maps on prime rings, is a study of additive maps which are skew-commuting or skew-centralizing on subsets of certain rings. The second continues a study, begun years ago by Herstein [7], of prime and semiprime rings R admitting a nonzero derivation d such that d(x)d(y) ? d(y)d(x) = 0 for all x, y in a suitably chosen subset of R.     

Representation of tripotents and representations via tripotents

Let A be an algebra. An element A∈A is called tripotent if A³=A. We study the questions: if both A and B are tripotents, then: Under what conditions are A+B and AB tripotent? Under what conditions do A and B commute? We extend the partial order from the Hilbert space idempotents to the set of all tripotents and show that every normal tripotent is self-adjoint. For A=M_n(C) we describe the set of all finite sums of tripotents, the convex hull of tripotents and the set of all tripotents averages. We also give the new proof of rational trace matrix representations by Choi and Wu [2].     

Jordan higher all-derivable points on nontrivial nest algebras

Let A be a Banach algebra with unity I and M be a unital Banach A-bimodule. A family of continuous additive mappings D=(δ_i)_i∈N from A into M is called a higher derivable mapping at X, if δ_n(AB)=∑_i+j=nδ_i(A)δ_j(B) for any A,B∈A with AB=X. In this paper, we show that D is a Jordan higher derivation if D is a higher derivable mapping at an invertible element X. As an application, we also get that every invertible operator in a nontrivial nest algebra is a higher all-derivable point.     

Pairs of mutually annihilating operators

Pairs (A,B) of mutually annihilating operators AB=BA=0 on a finite dimensional vector space over an algebraically closed field were classified by Gelfand and Ponomarev [Russian Math. Surveys 23 (1968) 1-58] by method of linear relations. The classification of (A,B) over any field was derived by Nazarova, Roiter, Sergeichuk, and Bondarenko [J. Soviet Math. 3 (1975) 636-654] from the classification of finitely generated modules over a dyad of two local Dedekind rings. We give canonical matrices of (A,B) over any field in an explicit form and our proof is constructive: the matrices of (A,B) are sequentially reduced to their canonical form by similarity transformations (A,B)?(S^-1AS,S^-1BS).     

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.     

Additivity of multiplicative maps on triangular rings

In this paper we shall give a unified technique in the discussion of the additivity of n-multiplicative automorphisms, n-multiplicative derivations, n-elementary surjective maps, and Jordan multiplicative surjective maps on triangular rings.     

Maps preserving peripheral spectrum of Jordan semi-triple products of operators

Let A and B be (not necessarily unital or closed) standard operator algebras on complex Banach spaces X and Y, respectively. For a bounded linear operator A on X, the peripheral spectrum σ_π(A) of A is the set σ_π(A)={z∈σ(A):|z|=max_ω∈σ(A)|ω|}, where σ(A) denotes the spectrum of A. Assume that Φ:A→B is a map the range of which contains all operators of rank at most two. It is shown that the map Φ satisfies the condition that σ_π(BAB)=σ_π(Φ(B)Φ(A)Φ(B)) for all A,B∈A if and only if there exists a scalar λ∈C with λ³=1 and either there exists an invertible operator T∈B(X,Y) such that Φ(A)=λTAT^-1 for every A∈A; or there exists an invertible operator T∈B(X^∗,Y) such that Φ(A)=λTA^∗T^-1 for every A∈A. If X=H and Y=K are complex Hilbert spaces, the maps preserving the peripheral spectrum of the Jordan skew semi-triple product BA^∗B are also characterized. Such maps are of the form A?UAU^∗ or A?UA^tU^∗, where U∈B(H,K) is a unitary operator, A^t denotes the transpose of A in an arbitrary but fixed orthonormal basis of H.     

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.     

Products of reflections in the general linear group over a division ring

Let F be a division ring and A?GL_n(F). We determine the smallest integer k such that A admits a factorization A=R₁R₂?R_k?1B, where R₁,…,R_k?1 are reflections and B is such that rank(B?I_n)=1. We find that, apart from two very special exceptional cases, k=rank(A?I_n). In the exceptional cases k is one larger than this rank. The first exceptional case is the matrices A of the form I_m⊕αI_n?m where n?m?2, α≠?1, and α belongs to the center of F. The second exceptional case is the matrices A satisfying (A?I_n)²=0, rank(A?I_n)?2 in the case when char F≠2 only. This result is used to determine, in the case when F is commutative, the length of a matrix A?GL_n(F) with detA=±1 with respect to the set of all reflections in GL_n(F).     

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).     

Generalized M-Matrices

Let ρ?Rⁿ be a proper cone. From the theory of M-matrices (see e.g. [1]) it is known that if there exist α > 0 and a matrix B: ρ→ρ such that A = B?αI, then the following conditions are equivalent: (i) ? A is ρ-monotone,(ii) A is ρ-seminegative, (iii) Re[Spectrum(A)]<0. In this paper we show that while the condition (e) e^tAρ?ρ ?t≥0 is more general than the structural assumption A = B?αI, conditions (i)-(iii) are nevertheless all equivalent to (iv) {x∈ρ: Ax∈ρ}={0} when (e) holds.     

Separative cancellation for projective modules over exchange rings

A separative ring is one whose finitely generated projective modules satisfy the propertyA⊕A⋟A⊕B⋟B⊕B⇒A⋟B. This condition is shown to provide a key to a number of outstanding cancellation problems for finitely generated projective modules over exchange rings. It is shown that the class of separative exchange rings is very broad, and, notably, closed under extensions of ideals by factor rings. That is, if an exchange ringR has an idealI withI andR/I both separative, thenR is separative. The research of the first and fourth authors was partially supported by a grant from the DGICYT (Spain) and by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya. That of the second author was partially supported by a grant from the NSF (USA). The final version of this paper was prepared while he was visiting the Centre de Recerca Matemàtica, Institut d'Estudis Catalans in Barcelona, and he thanks the CRM for its hospitality.     

ON EXCHANGE RINGS WITH BOUNDED INDEX OF NILPOTENCE

This paper studies exchange rings R such that R/J(R) has bounded index of nilpotence. We give several characterizations of such rings. We prove that if a semiprimitive exchange ring R has index n, then for any maximal two-sided I of R, if R/I has length n, then there exists a central idempotent element e in R such that eRe is an n by n full matrix ring over some exchange ring with central idempotents, and the restriction π from eRe to R/I is surjective.     

A complement of the Ando-Hiai inequality

In this paper, we present a complement of a generalized Ando-Hiai inequality due to Fujii and Kamei [M. Fujii, E. Kamei, Ando-Hiai inequality and Furuta inequality, Linear Algebra Appl. 416 (2006) 541-545]. Let A and B be positive operators on a Hilbert space H such that 0<m₁?A?M₁ and 0<m₂?B?M₂ for some scalars m_i?M_i (i=1,2), and let α∈[0,1]. Put for i=1,2. Then for each 0<r?1 and s?1

     

On residual finiteness of direct products of algebraic systems

It is well known that if two algebraic structures A and B are residually finite then so is their direct product. Here we discuss the converse of this statement. It is of course true if A and B contain idempotents, which covers the case of groups, rings, etc. We prove that the converse also holds for semigroups even though they need not have idempotents. We also exhibit three examples which show that the converse does not hold in general.      

Additivity of n-Multiplicative Maps on Alternative Rings

Let ? and ?′ be alternative rings. We study the additivity of n-multiplicative isomorphisms from ? onto ?′ and of n-multiplicative derivations of ?. We prove that, if ? contains a family of nontrivial idempotents satisfying Martindale's conditions, then these two maps are additives.