Abstract
Let \(\mathcal {A}\) be a unital Banach algebra and \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule. The main results characterize a continuous linear map \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) that satisfies \(a\varphi (a^{-1})=\varphi (1)\) or \(a\varphi (a^{-1})+ \varphi (a^{-1}) a=2\varphi (1)\) for all \(a\) in principal component of invertible elements of \(\mathcal {A}\). The proof is based on the consideration of a continuous bilinear map satisfying a related condition.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this paper all algebras and vector spaces will be over the complex field \(\mathbb {C}\). Let \(\mathcal {A}\) be an algebra and \(\mathcal {M}\) be an \(\mathcal {A}\)-bimodule. Recall that a linear (additive) map \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) is said to be a right (left) centralizer if \(\varphi (ab)=a\varphi (b)\) (\(\varphi (ab)=\varphi (a)b\)) for each \(a,b\in \mathcal {A}\). It is called a centralizer if \(\varphi \) is both a left centralizer and a right centralizer. Also \(\varphi \) is called right (left) Jordan centralizer if \(\varphi (a^{2}) = a\varphi (a)\) (\(\varphi (a^{2}) = \varphi (a)a\)) for all \(a\in \mathcal {A}\). We say that \(\varphi \) is a Jordan centralizer if \(\varphi (ab+ba)=a\varphi (b)+\varphi (b)a=b\varphi (a)+\varphi (a)b\) for all \(a,b\in \mathcal {A}\). In case \(\mathcal {A}\) has a unity \(1\) and \(\mathcal {M}\) is aunital \(\mathcal {A}\)-bimodule, \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) is a right (left) centralizer if and only if \(\varphi \) is of the form \(\varphi (a)=a\varphi (1)\) (\(\varphi (a)=\varphi (1)a\)) for all \(a\in \mathcal {A}\). Also \(\varphi \) is a centralizer if and only if \(\varphi (a)=a\varphi (1)=\varphi (1)a\) for each \(a\in \mathcal {A}\).
Clearly, each (right, left) centralizer is a (right, left) Jordan centralizer. The converse is, in general, not true (see Example 2.6). It is natural and interesting to find some conditions under which a (right, left) Jordan centralizer is a (right, left) centralizer. Zalar has proved in [20] that any right (left) Jordan centralizer on a \(2\)-torsion free semiprime ring is a right (left) centralizer. Vukman [14] has showed that an additive map \(\varphi :\mathcal {R}\rightarrow \mathcal {R}\), where \(\mathcal {R}\) is a \(2\)-torsion free semiprime ring, with the property that \(2\varphi (a^{2})=a\varphi (a)+\varphi (a)a\) for all \(a\in \mathcal {A}\), is a centralizer. We refer the reader to [5, 8, 11, 15, 16] and references therein for results concerning centralizers on rings and algebras.
In recent years, several authors studied the linear (additive) maps that behave like homomorphisms, derivations or right (left) centalizers when acting on special products (for instance, see [6, 9, 10, 12, 19] and the references therein). The question of characterizing these linear (additive) maps can be sometimes effectively solved by considering bilinear maps that preserve certain product properties (for instance, see [1–4, 7, 17, 18]).
In this article we study the (right, left) centralizers and Jordan centralizers on Banach algebras through identity products and identity Jordan products, respectively, by consideration of bilinear maps satisfying a related condition.
Let \(\mathcal {A}\) be a Banach algebra with unity \(1\) and \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule. Here and subsequently, ‘\(\circ \)’ denotes the Jordan product \(a\circ b=ab+ba\) on \(\mathcal {A}\) and ‘\(\bullet \)’ denotes the Jordan product on \(\mathcal {M}\):
Denote by \(Inv(\mathcal {A})\) the set of invertible elements of \(\mathcal {A}\). \(Inv(\mathcal {A})\) is an open subset of \(\mathcal {A}\) and hence it is a disjoint union of open connected subsets, the components of \(Inv(\mathcal {A})\). The component containing \(1\) is called the principal component of \(Inv(\mathcal {A})\) and it is denoted by \(Inv_{0}(\mathcal {A})\). We denote by \(\mathrm{exp}(\mathcal {A})\) the range of the exponential function in \(\mathcal {A}\), i.e.
and we have \(\mathrm{exp}(\mathcal {A})\subseteq Inv_{0}(\mathcal {A})\).
In this paper, we characterize the continuous linear maps \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) satisfying
or
Obviously, if \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) satisfying
or
then \(\varphi \) satisfies \((I1)\) or \((I2)\), respectively. For characterization continuous linear maps satisfying \((I1)\) or \((I2)\), we first study continuous bilinear maps \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {X}\) into some Banach space \(\mathcal {X}\) with the property that
Finally, we provide some classes of Banach algebras \(\mathcal {A}\) and Banach \(\mathcal {A}\)-bimodules \(\mathcal {M}\) such that continuous linear maps \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) satisfying \((I2)\) are centralizers.
2 Main Results
From this point up to the last section \(\mathcal {A}\) is a Banach algebra with unity 1.
Theorem 2.1
Let \(\mathcal {X}\) be a Banach space and let \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {X}\) be a continuous bilinear map with the property that
Then
and there exists a continuous linear map \(T:\mathcal {A}\rightarrow \mathcal {X}\) such that
Proof
Let \(a\) be in \(\mathcal {A}\). For each scalar \(\lambda \in \mathbb {C}\), we have \(\phi (\mathrm{exp}(\lambda a),\mathrm{exp}(-\lambda a))=\phi (1,1)\), since \(\mathrm{exp}(\mathcal {A})\subseteq Inv_{0}(\mathcal {A})\). Thus
since \(\phi \) is a continuous bilinear map. Therefore \(\Sigma _{k=1}^{\infty }\lambda ^{k}(\sum _{m+n=k}\frac{(-1)^{m}}{m!n!}\phi (a^{n},a^{m}))=0\) for any \(\lambda \in \mathbb {C}\). Consequently,
for all \(a\in \mathcal {A}\) and \(k\in \mathbb {N}\). Let \(k=1\), we find that \(\phi (a,1)-\phi (1,a)=0\) and hence
for all \(a\in \mathcal {A}\). Now taking \(k=2\) in (2.1), we obtain \(\frac{1}{2}\phi (a^{2},1)-\phi (a,a)+\frac{1}{2}\phi (1,a^{2})=0\) for any \(a\in \mathcal {A}\). So by (2.2) we have
For any \(a,b\in \mathcal {A}\), replacing \(a\) by \(a+b\) in (2.3), we get that
If we define the linear map \(T:\mathcal {A}\rightarrow \mathcal {X}\) by \(T(a)=\phi (a,1)\), then \(T\) is continuous and
for all \(a,b\in \mathcal {A}\). \(\square \)
Corollary 2.2
Let \(\mathcal {X}\) be a Banach space and let \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {X}\) be a continuous bilinear map. If \(\phi \) satisfies any of the following conditions;
-
(i)
\(a\in Inv(\mathcal {A})\Rightarrow \phi (a,a^{-1})=\phi (1,1)\),
-
(ii)
\(a,b\in \mathcal {A}, \, ab=1 \Rightarrow \phi (a,b)=\phi (1,1)\),
-
(iii)
\(a,b\in \mathcal {A}, \, a\circ b=1 \Rightarrow \phi (a,b)=\frac{1}{2}\phi (1,1)\),
then
for all \(a,b\in \mathcal {A}\).
Proof
In the cases (i) and (ii) the result is clear from Theorem 2.1. Let the condition (iii) holds. For each \(a\in Inv(\mathcal {A})\), we have \(\big (\frac{1}{2}a\big )\circ a^{-1}=1\). So \(\phi (a,a^{-1})=\phi (1,1)\) and hence by Theorem 2.1, the result is true in this case, too. \(\square \)
Recall that a bilinear map \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {X}\) is called symmetric if \(\phi (a,b)=\phi (b,a)\) holds for all \(a,b\in \mathcal {A}\).
By Theorem 2.1 and Corollary 2.2, the following corollary is obvious.
Corollary 2.3
Let \(\mathcal {X}\) be a Banach space and let \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {X}\) be a continuous symmetric bilinear map. Then the following conditions are equivalent
-
(i)
\(a\in Inv_{0}(\mathcal {A})\Rightarrow \phi (a,a^{-1}) =\phi (1,1)\);
-
(ii)
\(a\in Inv(\mathcal {A})\Rightarrow \phi (a,a^{-1})=\phi (1,1)\);
-
(iii)
\(a,b\in \mathcal {A}, \, a\circ b=1 \Rightarrow \phi (a,b)= \frac{1}{2}\phi (1,1)\);
-
(iv)
\(\phi (a,b)=\frac{1}{2}\phi (a\circ b,1),\, a,b\in \mathcal {A}\).
The Theorems 2.4 and 2.5 are our main results.
Theorem 2.4
Let \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule and \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) be a continuous linear map. Then the following conditions are equivalent:
-
(i)
\(\varphi (a)=a\varphi (1)\) for all \(a\in \mathcal {A}\), i.e. \(\varphi \) is a right centralizer;
-
(ii)
\(a,b\in \mathcal {A}, \, ab=1 \Rightarrow a\varphi (b)= \varphi (1)\);
-
(iii)
\(a\in Inv(\mathcal {A})\Rightarrow a\varphi (a^{-1})=\varphi (1)\);
-
(iv)
\(a\in Inv_{0}(\mathcal {A})\Rightarrow a\varphi (a^{-1})=\varphi (1)\).
Proof
\(\mathrm{(i)}\Rightarrow \mathrm{(ii)}\), \(\mathrm{(ii)}\Rightarrow \mathrm{(iii)}\) and \(\mathrm{(iii)}\Rightarrow \mathrm{(iv)}\) are clear.
\(\mathrm{(iv)}\Rightarrow \mathrm{(i)}\) Define a continuous bilinear map \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {M}\) by \(\phi (a,b)=a\varphi (b)\). Then \(\phi (a,a^{-1})=\phi (1,1)\) for all \(a \in Inv_{0}(\mathcal {A})\). By applying Theorem 2.1, we obtain \(\phi (1,a)=\phi (a,1)\) for all \(a\in \mathcal {A}\). So
all \(a\in \mathcal {A}\). \(\square \)
Left centralizer analogs of Theorem 2.4 can be obtained with the same argument.
Theorem 2.5
Let \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule and \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) be a continuous linear map with the property that
Then
Proof
Define a continuous bilinear map \(\phi :\mathcal {A}\times \mathcal {A}\rightarrow \mathcal {M}\) by \(\phi (a,b)=a\bullet \varphi (b)\). Then \(\phi (a,a^{-1})=\phi (1,1)\) for all \(a \in Inv_{0}(\mathcal {A})\). By applying Theorem 2.1, we obtain \(\phi (a,b)+\phi (b,a)=\phi (a\circ b,1)=\phi (1,a\circ b)\) for all \(a,b\in \mathcal {A}\). So
Letting \(b=a\), we obtain
for all \(a \in \mathcal {A}\). \(\square \)
In this theorem if \(\varphi \) satisfies
then it is obvious that \(a\bullet \varphi (a^{-1})=2\varphi (1)\) for all \(a \in Inv(\mathcal {A})\). Hence the theorem holds in this case, too.
Let us mention an example of a Banach algebra where identity \(a\bullet \varphi (b)=\varphi (1)\) for all \(a,b\in \mathcal {A}\) with \(a\circ b=1\) does not imply that \(\varphi \) is a centralizer.
Example 2.6
Consider an algebra of the form
under the usual matrix operations. Then the algebra \(\mathcal {A}\) is a Banach algebra with respect to the norm defined by
Let \(X=\begin{pmatrix} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \end{pmatrix}\) and define a continuous linear map \(\varphi : \mathcal {A}\rightarrow \mathcal {A}\) by \(\varphi (A)=AX+XA\). By a straightforward calculation one can prove that
So we have \(\varphi (A\circ B)=A\circ \varphi (B)\) for each \(A, B \in \mathcal {A}\) and hence \(A\circ \varphi (B)=\varphi (\mathbf 1 )\) for all \(A,B\in \mathcal {A}\) with \(A\circ B=\mathbf 1 \). If we consider \(A=\begin{pmatrix} 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 0 &{} 0 \end{pmatrix}\), then \(\varphi (A)\ne \mathbf 0 \) and \(A\varphi (\mathbf 1 )=\mathbf 0 \), where \(\mathbf 0 \) and \(\mathbf 1 \) are the zero matrix and identity matrix, respectively. Thus \(\varphi \) is not a centralizer.
In view of Theorem 2.5, this example shows that there exist a Banach algebra \(\mathcal {A}\) and a linear map \(\varphi :\mathcal {A}\rightarrow \mathcal {A}\) such that \( 2\varphi (a^{2})=a\circ \varphi (a)\) for all \(a\in \mathcal {A}\) but \(\varphi \) is not a centralizer.
Remark 2.7
Let \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule and \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) be a linear map satisfying the relation \(2\varphi (a^{2}) = a\bullet \varphi (a)\) for all \(a\in \mathcal {A}\). By linearizing we see that
Replacing \(b\) by \(1\) in this identity, we obtain \(2\varphi (a)=a\varphi (1)+\varphi (1)a\) for all \(a\in \mathcal {A}\). Then obviously \(\varphi \) is automatically continuous.
In [14] Vukman proved that an additive mapping \(\varphi :\mathcal {R}\rightarrow \mathcal {R}\), where \(\mathcal {R}\) is a \(2\)-torsion free semiprime ring, satisfying the relation \(2\varphi (a^{2}) = a\circ \varphi (a)\) for all \(a\in \mathcal {R}\) is a centralizer. So from Theorem 2.5 we have the following corollary.
Corollary 2.8
Let \(\mathcal {A}\) be a semiprime Banach algebra and \(\varphi :\mathcal {A}\rightarrow \mathcal {A}\) be a continuous linear map with the property that
Then \(\varphi \) is a centralizer.
The following theorem provides a class of Banach \(\mathcal {A}\)-bimodules \(\mathcal {M}\) such that every linear map \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) with the property that \( 2\varphi (a^{2})=a\bullet \varphi (a)\) for all \(a\in \mathcal {A}\), is a centralizer.
The set of idempotents of \(\mathcal {A}\) is denoted by \(\mathcal {I}(\mathcal {A})\) and \(alg\mathcal {I}(\mathcal {A})\) denotes the subalgebra of \(\mathcal {A}\) generated by \(\mathcal {I}(\mathcal {A})\).
Theorem 2.9
Let \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule. Suppose that there is an ideal \(\mathcal {J}\) of \(\mathcal {A}\) such that \(\mathcal {J}\subseteq \overline{alg\mathcal {I}(\mathcal {A})}\) and
If \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) is a linear map, then:
-
(i)
if \(2\varphi (a^{2}) = a \bullet \varphi (a)\) for all \(a\in \mathcal {R}\), then \(\varphi \) is a centralizer,
-
(ii)
if \(\varphi \) is continuous with the property that
$$\begin{aligned} a\in Inv_{0}(\mathcal {A})\Rightarrow a \bullet \varphi (a^{-1})=2\varphi (1), \end{aligned}$$then \(\varphi \) is a centralizer
Proof
(i) From Remark 2.7 we have
Let \(p\) be a idempotent of \(\mathcal {A}\). As \(p\circ (1-p)=0\), from above identity it follows that \(p\bullet \varphi (1-p)+\varphi (p)\bullet (1-p)=0\) and hence
By multiplying this identity on the left and right by \(p\), respectively, we arrive at
which implies
For idempotents \(p_{1},\ldots ,p_{n}\) in \(\mathcal {A}\), by applying the above identity repeatedly, we get
So \(x\varphi (1)=\varphi (1)x\) for all \(x\in \mathcal {J}\subseteq \overline{alg\mathcal {I}(\mathcal {A})}\). Hence \(a\varphi (1)x=ax\varphi (1)=\varphi (1)ax\) and \(x\varphi (1)a=\varphi (1)xa=xa\varphi (1)\) for each \(a \in \mathcal {A}\) and \(x\in \mathcal {J}\). Therefore \((a\varphi (1)-\varphi (1)a)\mathcal {J}=\{0\}\) and \(\mathcal {J}(a\varphi (1)-\varphi (1)a)=\{0\}\). By hypothesis we arrive at
for all \(a \in \mathcal {A}\). By Remark 2.7 we have \(2\varphi (a)=a\varphi (1)+\varphi (1)a\) for all \(a\in \mathcal {A}\). Since \(a\varphi (1)=\varphi (1)a\), it follows that \(\varphi (a)=a\varphi (1)=\varphi (1)a\) for each \(a\in \mathcal {A}\), i.e. \(\varphi \) is a centralizer.
Part \((ii)\) is a consequence of part \((i)\) and Theorem 2.5. \(\square \)
We continue by characterizing some classes of Banach algebras and bimodules which satisfy the requirements in Theorem 2.9.
Corollary 2.10
Suppose that \(\mathcal {A}=\overline{alg\mathcal {I}(\mathcal {A})}\). Let \(\mathcal {M}\) be a unital Banach \(\mathcal {A}\)-bimodule and \(\varphi :\mathcal {A}\rightarrow \mathcal {M}\) be a linear map, then:
-
(i)
if \(2\varphi (a^{2}) = a \bullet \varphi (a)\) for all \(a\in \mathcal {R}\), then \(\varphi \) is a centralizer,
-
(ii)
if \(\varphi \) is continuous with the property that
$$\begin{aligned} a\in Inv_{0}(\mathcal {A})\Rightarrow a \bullet \varphi (a^{-1})=2\varphi (1), \end{aligned}$$then \(\varphi \) is a centralizer
Proof
Let \(m\in \mathcal {M}\) such that \(m \mathcal {A}=\{0\}\) and \(\mathcal {A}m=\{0\}\). Since \(\mathcal {A}\) is unital, it follows that \(m=0\). If we consider \(\mathcal {J}=\mathcal {A}\) as an ideal of \(\mathcal {A}\), then all the requirements in Theorem 2.9 hold and hence the assertion follows. \(\square \)
Some examples of Banach algebras with the property that \(\mathcal {A}=\overline{alg\mathcal {I}(\mathcal {A})}\), are the following:
-
(i)
Topologically simple Banach algebras containing a non-trivial idempotent (see [2]).
-
(ii)
The unital \(W^{*}\)-algebras. Indeed, the linear span of projections is norm dense in a unital \(W^{*}\)-algebra.
Another classes of Banach algebras \(\mathcal {A}\) with the property that \(\mathcal {A}=\overline{alg\mathcal {I}(\mathcal {A})}\) (not necessarily unital) are given in [2].
Let \(\mathcal {X}\) be a Banach space. We denote by \(\mathcal {B}(\mathcal {X})\) the algebra of all bounded linear operators on \(\mathcal {X}\), and \( \mathcal {F}(\mathcal {X})\) denotes the algebra of all finite rank operators in \(\mathcal {B}(\mathcal {X})\). A nest \(\mathcal {N}\) on a Banach space \(\mathcal {X}\) is a chain of closed (under norm topology) subspaces of \(\mathcal {X}\) which is closed under the formation of arbitrary intersection and closed linear span (denoted by \(\vee \)), and which includes \(\{0\}\) and \(\mathcal {X}\). The nest algebra associated to the nest \(\mathcal {N}\), denoted by \(Alg\mathcal {N}\), is the weak closed operator algebra of the form
When \(\mathcal {N}\ne \{\{0\},X\}\), we say that \(\mathcal {N}\) is non-trivial. It is clear that if \(\mathcal {N}\) is trivial, then \(Alg\mathcal {N}=\mathcal {B}(\mathcal {X})\). Denote \(Alg_{\mathcal {F}}\mathcal {N}:= Alg\mathcal {N}\cap \mathcal {F}(\mathcal {X})\), the set of all finite rank operators in \(Alg\mathcal {N}\) and for \(N\in \mathcal {N}\), let \(N_{-} = \vee \{M\in \mathcal {N}\,|\,M \subset N \}\).
Corollary 2.11
Let \(\mathcal {N}\) be a nest on a Banach space \(\mathcal {X}\) such that \(N\in \mathcal {N}\) is complemented in \(\mathcal {X}\) whenever \(N_{-} = N\). If \(\varphi :Alg\mathcal {N}\rightarrow \mathcal {B}(\mathcal {X})\) is a linear map, then:
-
(i)
if \(2\varphi (A^{2}) = A \bullet \varphi (A)\) for all \(A\in Alg\mathcal {N}\), then \(\varphi \) is a centralizer,
-
(ii)
if \(\varphi \) is continuous with the property that
$$\begin{aligned} A\in Inv_{0}(Alg\mathcal {N})\Rightarrow A \bullet \varphi (A^{-1})=2\varphi (1), \end{aligned}$$then \(\varphi \) is a centralizer
Proof
\(Alg_{\mathcal {F}}\mathcal {N}\) is an ideal of \(Alg\mathcal {N}\) and from [10], it is contained in the \(\overline{alg\mathcal {I}(Alg\mathcal {N})}\). Suppose that \(T\in \mathcal {B}(\mathcal {X})\) and \(FT=TF=0\) for each \(F\in Alg_{\mathcal {F}}\mathcal {N}\). By [13] we have \(\overline{Alg_{\mathcal {F}}\mathcal {N}}^{SOT}=Alg\mathcal {N}\). Therefore, there is a net \((F_{\gamma })_{\gamma \in \Gamma }\) in \(Alg_{\mathcal {F}}\mathcal {N}\) converges to the identity operator \(I\) with respect to the strong operator topology. So \(F_{\gamma }T =0\) for each \(\gamma \in \Gamma \) and hence \(T=0\). The assertion now follows directly from Theorem 2.9. \(\square \)
It is obvious that the nests on Hilbert spaces, finite nests and the nests having order-type \(\omega + 1\) or \(1 + \omega ^{*}\), where \(\omega \) is the order type of the natural numbers, satisfy the condition in Corollary 2.11 automatically.
Remark 2.12
By a method similar to proof of Theorems 2.4 and 2.5, we can use the Theorem 2.1 or corollaries 2.2 or 2.3 to describe the mappings preserving identity-(Jordan) product or (Jordan) derivations through identity-products.
References
Alaminos, J., Brešar, M., Extremera, J., Villena, A.R.: Characterizing homomorphisms and derivations on \(C^{*}\)-algebras. Proc. R. Soc. Edinb. A 137, 1–7 (2007)
Alaminos, J., Brešar, M., Extremera, J., Villena, A.R.: Maps preserving zero products. Studia Math. 193, 131–159 (2009)
Alaminos, J., Brešar, M.M., Extremera, J., Villena, A.R.: Characterizing Jordan maps on \(C^{*}\)-algebras through zero products. Proc. Edinb. Math. Soc. 53, 543–555 (2010)
Alaminos, J., Brešar, M.M., Extremera, J., Villena, A.R.: On bilinear maps determined by rank one idempotents. Linear Algebra Appl. 432, 738–743 (2010)
Benkovic̆, D., Eremita, D., Vukman, J.: A characterization of the centroid of a prime ring. Studia Sci. Math. Hungar. 45, 379–394 (2008)
Brešar, M.: Characterizing homomorphisms, multipliers and derivations in rings with idempotents. Proc. R. Soc. Edinb. Sect. A. 137, 9–21 (2007)
Chuang, C.L., Lee, T.K.: Derivations modulo elementary operators. J. Algebra 338, 56–70 (2011)
Fos̆ner, M., Vukman, J.: An equation related to two-sided centralizers in prime rings. Houst. J. Math. 35, 353–361 (2009)
Ghahramani, H.: Additive mappings derivable at nontrivial idempotents on Banach algebras. Linear Multilinear Algebra 60, 725–742 (2012)
Hou, J.C., Zhang, X.L.: Ring isomorphisms and linear or additive maps preserving zero products on nest algebras. Linear Algebra Appl. 387, 343–360 (2004)
Kosi-Ulbl, I., Vukman, J.: On centralizers of standard operator algebras and semisimple \(\text{ H }^{*}\)-algebras. Acta Math. Hungar. 110, 217–223 (2006)
Li, J., Zhou, J.: Characterizations of Jordan derivations and Jordan homomorphisms. Linear Multilinear A. 59(2), 193–204 (2011)
Spanoudakis, N.K.: Generalization of certain nest algebras results. Proc. Am. Math. Soc. 115, 711–723 (1992)
Vukman, J.: An identity related to centralizers in semiprime rings. Comment. Math. Univ. Carol. 40, 447–456 (1999)
Vukman, J., Kosi-Ulbl, I.: Centralizers on rings and algebras. Bull. Aust. Math. Soc. 71, 225–239 (2005)
Vukman, J., Kosi-Ulbl, I.: On centralizers of semisimple \(\text{ H }^{*}\)-algebras. Bull. Aust. Math. Soc. 71, 225–239 (2005)
Wang, L., Fan, Y., Ma, X.: On bilinear maps determined by rank one matrices with some applications. Linear Algebra Appl. 434, 1354–1361 (2011)
Wang, D., Li, X., Ge, H.: Idempotent elements determined matrix algebras. Linear Algebra Appl. 435, 2889–2895 (2011)
Wang, D., Li, X., Ge, H.: Maps determined by action on identity-product elements. Linear Algebra Appl. 436, 112–119 (2012)
Zalar, B.: On centralizers of semiprime rings. Comment. Math. Univ. Carol. 32, 609–614 (1991)
Acknowledgments
The author like to express his sincere thanks to the referees for this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mohammad Sal Moslehian.
Rights and permissions
About this article
Cite this article
Ghahramani, H. On Centralizers of Banach Algebras. Bull. Malays. Math. Sci. Soc. 38, 155–164 (2015). https://doi.org/10.1007/s40840-014-0011-2
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-014-0011-2