In this paper, we characterize the centre of dense irreducible subalgebras of compact elementary operators that are spectrally bounded. We show that the centre is a unital, irreducible and commutative \(C^{*}\)-subalgebra. Furthermore, the supports from the centre are orthogonal and the intersection of a nonzero ideal with the centre is non-zero.
The class of elementary operators is among the classes of bounded linear operators on \(C^{*}\)-algebras. Elementary operators have great applications in operator theory, non-commutative algebraic geometry and solid state physics [1]. Moreover, several properties of the norm of elementary operators have been studied in [2,3,4] and [5]. Shulman and Turovskii [6] presented tensor spectral radius technique and tensor Jacobson radical which have applications to spectral theory of elementary operators and multiplication operators on Banach algebras. In [6], it was shown that the intersection of two flexible ideals is a flexible ideal with respect to the normed ideal. In the study of locally elementary operators, Nair [7] showed that every locally elementary operator is an elementary operator and every locally elementary operator is the strong limit of a sequence of elementary operators. Some properties of elementary operators have been studied like the coefficients and spectra [8]. Boudi and Bracic [8] characterized the relationship between non-invertibility (invertibility) of elementary operators and properties defining the coefficients.
In [8], it was proved that an operator \(\Phi \in B(B(H))\) is non-invertible if it is a right zero divisor or left zero divisor and if a length \(2\) elementary operator \(\Phi\) is annihilated by elementary operator, then there exists a multiplication operator \(M\) such that \(M\Phi=0\) (or \(\Phi M=0\)). Hejazian and Rostamani [9] proved that the class of spectrally compact operators is strictly contained in the class of compact operators and the set of spectrally compact operators on spectrally normed space \(E\) is a right ideal of spectrally bounded operators which are two sided ideals. Moreover, Kittaneh [10] proved several spectral radii inequalities for sum, products and commutators of Hilbert operators and found that the spectral radius preserves commutativity by the following equation \(r(AB)=r(BA)\) for every \(A,B\in B(H)\).
Moreover, Okelo and Mogotu [11] established orthogonality and norm inequalities for commutators of derivations. In [12], a ring \(R\) is said to be prime if it contains no non-zero orthogonal ideals. Mathieu [12] discussed the interrelations between primeness and properties of multiplications on prime \(C^{*}\)-algebras while in [13] the necessary and sufficient conditions for elementary operator \(T_{A_{i},B_{i}}(X)=A_{1}XB_{1}+…+A_{n}XB_{n}\) to be identically zero or to compact map or (Hilbert space) for induced mapping on the Calkin algebra to be identically equal to zero were discussed. Also, Gogic and Timoney [14] established closure conditions of multiplication operators on \(C^{*}\)-algebras. It was shown in [14] that a basic elementary on a \(C^{*}\)-algebra \(\mathcal{A}\) with the coefficients in \(\mathcal{A}\) is norm closed for all primitive \(C^{*}\)-algebra Prim\(\mathcal{A}\) (where Prim\(\mathcal{A}\) is the primitive spectrum which is the set of irreducible representations of \(\mathcal{A}\) equipped with Jacobson topology). Still on prime ideals, the authors [2] established the relationship between inner derivations implemented by a norm attainable element of a \(C^{*}\)-algebra to those of ideals and primitive ideals.
Kumar and Rajpal [15] showed that the Banach projective tensor \(\mathcal{A} \otimes_{\gamma}\mathcal{B}\) and operator space projective tensor product \(\mathcal{A} \widehat{\otimes}\mathcal{B}\) of two \(C^{*}\)-algebras \(\mathcal{A}\) and \(\mathcal{B}\) are symmetric. Furthermore, in [15] the author showed that a Banach algebra is said to be quasi-central if no primitive ideal contain its centre. For a weakly Wiener Banach algebra \(\mathcal{A}\) has an approximate identity element which is quasi-central that belongs to \(\mathcal{Z(A)}\) [15]. In addition, studies on centrality and spectrum of algebra was shown [16], that semi-simple algebras containing some algebraic element whose centralizer is semi-perfect are Artinian and a semi-simple complex Banach algebra containing some element whose centralizer is algebraic are finite dimensional. Bratteli [17] proved that any separable abelian \(C^{*}\)-algebra is the centre of \(C^{*}\)-algebra with inductive limit of an increasing sequence of finite dimensional \(C^{*}\)-algebras.
Suppose that \(E\) is a Banach lattice then its ideal centre \(Z(E)\) is embedded naturally in the ideal centre \(Z(E^{‘})\) of its dual. The embedding may be extended to a contractive algebra and lattice homomorphism of \(Z(E)^{”}\) into \(Z(E^{‘})\). Orhon [18] showed that the extension is onto \(Z(E^{‘})\) if and only if \(E\) has a topological full centre. Other studies on centre are outlined in [1], for example, the centre of \(C^{*}\)-algebra \(\mathcal{A}\) contains information about properties of operators defined on \(\mathcal{A}\) which are compatible with ideals of \(\mathcal{A}\) such as derivations, automorphisms, elementary operators, among others. In [1], it was shown that every \(C^{*}\)-algebra \(\mathcal{B}\) of \(Mloc(\mathcal{A})\) is containing both \(C_{b}\) and \(\mathcal{A}\) is boundedly centrally closed. Sarsour and As’ad [19] established the relationship between centrality of Banach algebras and centrality of its closed subalgebras. In [19], it was shown that for a closed subalgebra \(\mathcal{B}\) of a unital complex Banach algebra \(\mathcal{A}\), then the quasicentral \(Q(\mathcal{A})\), \(\sigma\)-quasicentral \(Q_{\sigma}(\mathcal{A})\) and \(\rho\)-quasicentral \(Q_{\rho}(\mathcal{A})\) sets need not be subsets of \(Q(\mathcal{B})\), \( Q_{\sigma}(\mathcal{B})\) and \( Q_{\rho}(\mathcal{B})\) respectively. Moreover, \(Q(\mathcal{B})\), \(Q_{\sigma}(\mathcal{B})\) and \(Q_{\rho}(\mathcal{B})\) need not be subsets of \(Q(\mathcal{A})\), \(Q_{\sigma}(\mathcal{A})\) and \(Q_{\rho}(\mathcal{A})\) respectively. In addition, As’ad [20] studied the extended centre, extended quasi-centre, the extended \(\sigma\)-quasi centre and extended \(\rho\)-quasi centre of complex Banach algebra. In [20], if \(\mathcal{A}\) is a unital complex Banach algebra then \(Z_{e}(\mathcal{A})\subseteq Q_{e}\subseteq Q_{\rho e}(\mathcal{A})\) and \(Q_{e}(\mathcal{A})\subseteq Q_{\rho e}(\mathcal{A})\), \(Q_{e}(\mathcal{A})\subseteq Q_{\sigma}(\mathcal{A})\) and \(\mathcal{Z}_{e}(\mathcal{A})\) is a unital normed subalgebra of \(\mathcal{A},\; \mathcal{Z(A)}\subseteq \mathcal{Z}_{e}(\mathcal{A}),\; Q(\mathcal{A})\subseteq Q_{e}(\mathcal{A}),\; Q_{\sigma}(\mathcal{A})\subseteq Q_{\sigma e}(\mathcal{A})\) and \(Q_{\rho}(\mathcal{A})\subseteq Q_{\rho e}(\mathcal{A})\). Furthermore, Rennison [21] gave a number of conditions related to centrality of Banach algebras which include non-unital algebras, analytic functions of quasi central elements and algebras having all quasi central elements are central.
We see that there are a lot of studies on elementary operators, locally elementary operators, spectrum, spectral radius, compactness, commutativity and tensor products of Banach algebras. However, properties of the centre of dense irreducible subalgebras of compact elementary operators that are spectrally bounded remain interesting. Therefore, in this paper we endeavour to investigate properties of the centre of dense irreducible subalgebras of compact elementary operators that are spectrally bounded on \(C^{*}\)-algebras.
Definition 1. ([22]) Let \(V\) be a linear vector space. A non-negative real valued function \(\|.\|: V \rightarrow \mathbb{R}\) is called a norm on \(V\) if it satisfies the following conditions:
Definition 2. ([23], Section 2) Consider a \(C^{*}\)-algebra \(\mathcal{A}\) and let \(T:\mathcal{A}\rightarrow \mathcal{A}\). The operator \(T\) is called an elementary operator if it has the following representation: \(T_{A_{i},B_{i}}(X)=\sum_{i=1}^{n}A_{i}XB_{i}\; \forall\; A_{i},B_{i}\) are fixed in \(\mathcal{A}\) or \(\mathcal{M(A)}\) is multiplier algebra of \(\mathcal{A}\). For \(A,B\in B(H)\), we define particular elementary operators
Definition 3.([24], Definition 4.1) If \(\mathcal{A}\) is any \(C^{*}\)-algebra and \(\Phi:\mathcal{A}\rightarrow B(H)\) is a representation then \(\Phi\) is irreducible if \(\Phi(\mathcal{A})\) is an irreducible subalgebra of \(B(H)\).
Definition 4. ([25], Definition 2.2) Let \(\mathcal{A}\) and \(\mathcal{B}\) be complex Banach algebras. A linear mapping \(T:\mathcal{A}\rightarrow \mathcal{B}\) is called spectrally bounded if there exists a constant \(M\geq 0\) such that \(r(Tx)\leq Mr(x)\) and spectrally infinitesimal if \(r(T(x))=0\), for all \(x\in \mathcal{A}\). If \(r(T(x))=r(x)\), for all \(x\in \mathcal{A}\) we say that \(T\) is a spectral isometry. If \(r(x)=0\), then \(x\) is called quasi-nilpotent.
Definition 5. ([26], Definition 4.2.12) A representation \(T\) of an algebra \(\mathcal{A}\) on a linear space \(X\) is called strictly dense if whenever \(x_{1},x_{2},…,x_{n}\) is a finite list of linearly independent vectors in \(X\) and \(y_{1},y_{2},…,y_{n}\) is a list of vectors in \(X\) then there is an element \(a\in A\) with \(T_{a}x_{j}=y_{j}\; \texttt{for}\; j=1,2,…,n\).
Definition 6. Let \(T_{A_{i},B_{i}}\in \mathcal{C(E)}\). We define the spectral operator norm of \(T_{A_{i},B_{i}}\) by \(\|T_{A_{i},B_{i}}\|_{\sigma}=\inf\{M\geq 0\;| r(T_{A_{i},B_{i}}(X_{n}))|\leq Mr(X)\}\), for all \(X\in \mathcal{A_{DIR}}\).
Definition 7. Let \(\mathcal{C_{SBD}(E)}\) be a Jordan Banach algebra. Then two elements \(P,\;Q\in \mathcal{C_{SBD}}(E)\) are orthogonal if one the following equivalent conditions hold:
Definition 8.([27], Definition 1.3) The centre of a Banach algebra \(\mathcal{A}\) is defined by \(\mathcal{Z(A)}=\{a\in \mathcal{A}: ax=xa,\; \forall x\in \mathcal{A}\}\).
Definition 9.([28], Section 3) A Jordan homomorphism between two Banach algebras \(\mathcal{A}\) and \(\mathcal{B}\) is a linear mapping \(T:\mathcal{A}\rightarrow \mathcal{B}\) which preserves the derived Jordan product, i.e \(T(ab+ba)=T(a)T(b)+T(b)T(a),\; \forall\; a,\;b\in \mathcal{A}.\)
Definition 10. ([29]) A Jordan-Banach algebra \(\mathcal{A}\) is a Jordan algebra with the complete norm \(\|x\circ y\|\leq \|x\|\|y\|\), for all \(x,y\in \mathcal{A}\).
Definition 11. ([26], Definition 4.1.1) Let \(\mathcal{A}\) be an algebra and let \(X\) be a linear space. A representation (anti-representation) \(T\) of \(\mathcal{A}\) on \(X\) is a homomorphism (anti-homomorphism) \(a\mapsto T_{a}\) of \(\mathcal{A}\) in \(B(X)\). A subspace \(Y\) of \(X\) is said to be \(T\)-invariant if \(T_{a}y\) belong to \(Y\), for all \(y\in Y\) and \(a\in \mathcal{A}\). The representation (anti-representation) \(T\) of \(\mathcal{A}\) on \(X\) is said to be:
Definition 12. ([30], Definition 2.1.2) If \(E\) is a vector space, a set \(A\subset E\) is called convex if \(x,y\in A,\; t\in [0,\;1]\Longrightarrow tx+(1-t)y\in A\).
Definition 13. ([31], Definition 3.10) Let \(X\) be a linear space and \(C\) be a convex subset of \(X\). A point \(x\in C\) is said to be extreme point of \(C\) if and only if \(C\setminus \{x\}\) is still convex. That is, if any time \(x=\lambda x_{1}+(1-\lambda)x_{2}\) where \(x_{1},\; x_{2}\in C\) and \(0< \lambda < 1\), then \(x=x_{1}=x_{2}\).
Proposition 1. The centre \(Z[\mathcal{C_{SBD}(E)}]\) is an irreducible subalgebra of \(\mathcal{C_{SBD}(E)}\).
Proof. The centre \(Z[\mathcal{C_{SBD}(E)}]=\{S\in \mathcal{C_{SBD}(E)};\; ST=TS,\; \forall\; T\in \mathcal{C_{SBD}(E)}\}\). To show that \(Z[\mathcal{C_{SBD}(E)}]\) is indeed a subalgebra of \(\mathcal{C_{SBD}(E)}\), let \(Q\in\mathcal{C_{SBD}(E)}\) then for all \(S,\;T\in Z[\mathcal{C_{SBD}(E)}]\), we have \(SQ=QS\) and \(TQ=QT\). Also \((S-T)Q=SQ-TQ=QS-QT=Q(S-T)\) and \((S+T)Q=SQ+TQ=QS+QT=Q(S+T)\). Similarly, \((ST)Q=S(TQ)=S(QT)=(SQ)T=(QS)T=Q(ST)\). Finally, we show that \(Z[\mathcal{C_{SBD}(E)}]\) is irreducible, if \(T\in Z[\mathcal{C_{SBD}(E)}]\) is a projection i.e \(T^{2}=T\) and \(TS=ST\; \Rightarrow S=\{0\}\) and \(T=I\) hence \(Z[\mathcal{C_{SBD}(E)}]\) is an irreducible subalgebra of \(\mathcal{C_{SBD}(E)}\).
Proposition 2. The centre \(Z[\mathcal{C_{SBD}(E)}]\) is a commutative irreducible subalgebra of \(\mathcal{C_{SBD}(E)}\).
Proof. From Definition 8, the centre \(Z[\mathcal{C_{SBD}(E)}]\) is commutative. Now, let \(S,\; T\in Z[\mathcal{C_{SBD}(E)}]\) then for all \(R\in Z[\mathcal{C_{SBD}(E)}]\) we have \(SR=RS\) and \(TR=TR\). Hence, \(R(S-T)=RS-RT=SR-TR=R(S-T)\) and \(R(S+T)=RS+RT=SR+TR=R(S+T)\) hold. Furthermore, \(R(ST)=(RS)T=(SR)T=S(RT)=S(TR)=(ST)R\) which implies that \(ST\in Z[\mathcal{C_{SBD}(E)}]\). Finally, we show that \(Z[\mathcal{C_{SBD}(E)}]\) is irreducible, if \(T\in Z[\mathcal{C_{SBD}(E)}]\) is a projection then the only trivial projection is \(T^{2}=T\) and \(TS=ST\; \Rightarrow S=\{0\}\) and \(T=I\) hence \(Z[\mathcal{C_{SBD}(E)}]\) is a commutative irreducible subalgebra of \(\mathcal{C_{SBD}(E)}\).
Proposition 3. Let \(\mathcal{C_{SBD}(E)}\) be unital \(C^{*}\)-algebra. Then \(Z[\mathcal{C_{SBD}(E)}]\) is a unital \(C^{*}\)-subalgebra of \(\mathcal{C_{SBD}(E)}\).
Proof. Consider a positive cone \(E\) and \(F\) a unit ball in \(Z[\mathcal{C_{SBD}(E)}]\) such that the set \(G=E\cap F\) contains extreme points of the centre \(Z[\mathcal{C_{SBD}(E)}]\) which are unital. We proceed to show that the extreme points of the convex set \(G\) denoted by \(\delta_{e}(G)\) coincides with the the set of idempotents in \(Z[\mathcal{C_{SBD}(E)}]\) which are unital. Now, let \(P\) be a projection such that \(P=\frac{S+T}{2};\; S,\;T\in G=E\cap F\). Then \(S=2P-T\) since \(0\leq S\leq 2P,\; S=PZ[\mathcal{C_{SBD}(E)}] P\) and \(S\) commutes with \(T\) from Proposition 2. Therefore, the centre \(Z[\mathcal{C_{SBD}(E)}]\) is a commutative \(C^{*}\)-subalgebra generated by \(S\) and \(T\) are equal hence \(S=T=P\). Furthermore, the centre \(Z[\mathcal{C_{SBD}(E)}]\) is a spectral dual and its unit ball \(F\) is weak\(^{*}\)-compact and applying Krein-Milman theorem, \(F\) must have an extreme point \(S\). So applying spectral decomposition, \(S=S^{+}-S^{-}\) where \(S^{+},\; S^{-}\) are elements \(\mathcal{C_{SBD}(E)}\) corresponding to functions on the spectrum of \(S\), \(\sigma(S)\), defined by \(\Psi^{+}(\lambda)=\left\{ \begin{array}{ll} \lambda, & \hbox{\(\lambda\geq 0\);} \\ 0, & \hbox{\(\lambda\leq 0\).} \end{array} \right.\) and \(\Psi^{-}(\lambda)=\left\{ \begin{array}{ll} 0, & \hbox{\(\lambda\geq 0\);} \\ -\lambda, & \hbox{\(\lambda\leq 0\).} \end{array} \right.\) which are closed under algebraic multiplicity since the norm \(\|S^{2}-T^{2}\|=\max\{\|S\|_{2},\; \|T\|_{2}\}\). Consider the self-adjoint elements in \(Z[\mathcal{C_{SBD}(E)}]\) which are unital such that \(S=S^{+}-S^{-}\) is an extreme point in \(\delta_{e}(Z[\mathcal{C_{SBD}(E)}]^{*}\cap F)\), where \(\delta_{e}(.)\) is extreme point. It follows that \(S^{+}\) and \(S^{-}\) must be extreme in \(E\cap F\). For instance, if \(S^{+}=\frac{X+Y}{2}\), for all \(X,Y\in E\cap F\) then \(X-S^{-},\; Y-S^{-}\in Z[\mathcal{C_{SBD}(E)}]^{*}\cap F\) and \(S=\frac{X-S^{-}+Y-S^{-}}{2}\). Therefore, \(S=X-S^{-}=Y-S^{-}\) and so \(X=Y=S^{+}\). Following the above procedure, \(S^{-}\) is an extreme point in \(E\cap F\). Since \(S^{+}\) and \(S^{-}\) are projections, then \(S^{+}+S^{-}=I\) and \(S^{2}=P\). Also, let \(T\) be an element of \((I-2\mathfrak{L}_{P}+\mathfrak{U}_{P})Z[\mathcal{C_{SBD}(E)}]\) such that \(\|T\|\leq 1\) and \(R\in Z[\mathcal{C_{SBD}(E)}]\) then \(T=(I-2\mathfrak{L}_{P}+\mathfrak{U}_{P})R\) is a Jordan Banach algebra isomorphism. Therefore, the subalgebra \(Z[S,\; R]\) of \(Z[\mathcal{C_{SBD}(E)}]\) generated by \(S\) and \(R\) is isometrically Jordan isomorphic to a Jordan Banach algebra of self-adjoint operators on a complex Hilbert space. Thus,
Theorem 1. Let \(P\) and \(Q\) be idempotents in \(\mathcal{C_{SBD}(E)}\). If \(\mathcal{C_{SBD}(E)}\) is a Jordan-Banach algebra with Identity \(I\) and \(P\in Z[\mathcal{C_{SBD}(E)}]\), then the supports from the centre \(z(P)\) and \(z(Q)\) are orthogonal.
Proof. Let \(P\in \mathcal{C_{SBD}(E)}\) then the support from the centre \(z(P)\) is defined by \(z(P) = \wedge\{Q:\; Q\in Z[\mathcal{C_{SBD}(E)}],\; P\leq Q\}\) or
Corollary 2. Let \(P\) be an idempotent in a Jordan-Banach algebra \(\mathcal{C_{SBD}(E)}\). Then the centre \(Z[\mathcal{C_{SBD}^{\diamond}(E)}]\) of hereditary Jordan-Banach subalgebra \(\mathcal{C_{SBD}^{\diamond}(E)}\) of \(\mathcal{C_{SBD}(E)}\) coincides with the range of the centre \(\mathfrak{U}(Z[\mathcal{C_{SBD}(E)}])\) of \(\mathcal{C_{SBD}(E)}\) under the projection \(\mathfrak{U}_{P}\).
Proof. We know that \(\mathcal{C_{SBD}(E)}\) is an associative Jordan-Banach algebra. It follows that the centres \(Z[\mathcal{C_{SBD}(E)}]\) and \(Z[\mathcal{C_{SBD}^{\diamond}(E)}]\) are associative Jordan Banach subalgebras which are idempotent. We prove that the projection \(\mathfrak{U}_{P}\) maps idempotents \(\mathfrak{U}(Z[\mathcal{C_{SBD}(E)}])\) onto \(\mathfrak{U}(Z[\mathcal{C_{SBD}^{\diamond}(E)}])\). Thus, for every \(Q\in \mathfrak{U}(Z[\mathcal{C_{SBD}(E)}])\) and using Equation 6, \((\mathfrak{U}_{P}Q)^{2}=\mathfrak{U}_{P}\mathfrak{U}_{Q}P^{2}=\mathfrak{U}_{P}\mathfrak{U}_{Q}\mathfrak{U}_{P} I=\mathfrak{U}_{P}\mathfrak{U}_{P}\mathfrak{U}_{Q}I=\mathfrak{U}_{P}Q.\) Thus, \(\mathfrak{U}_{P}Q\in \mathfrak{U}(\mathcal{C_{SBD}(E)})\). Moreover, using Equation 5 and Equation 6, we have \begin{eqnarray*} \mathfrak{U}_{\mathfrak{U}_{P}Q}+\mathfrak{U}_{P-\mathfrak{U}_{P}Q} &=& \mathfrak{U}_{\mathfrak{U}_{P}Q}+\mathfrak{U}_{\mathfrak{U}_{P}(I-Q)} \\ &=& \mathfrak{U}_{P}\mathfrak{U}_{Q}\mathfrak{U}_{P}+\mathfrak{U}_{P}\mathfrak{U}_{I-Q}\mathfrak{U}_{P}\\ &=& \mathfrak{U}_{P}(\mathfrak{U}_{Q}+\mathfrak{U}_{I-Q})=\mathfrak{U}_{P}. \end{eqnarray*} This shows that \(\mathfrak{U}_{P}Q\) is central idempotent in \(\mathfrak{U}(\mathcal{C_{SBD}(E)})\). We need to show that the for every central idempotent \(R \in \mathcal{C_{SBD}^{\diamond}(E)}\), there exists a central idempotent \(Q\in \mathcal{C_{SBD}(E)}\) with range \(R\) under projection \(\mathfrak{U}_{P}\). So we show that \(R\) and \(P-R\) are idempotents in \(\mathcal{C_{SBD}(E)}\) and applying Equation 5, we have \(\mathfrak{U}_{R}\mathfrak{U}_{P}+\mathfrak{U}_{P-R}\mathfrak{U}_{P}=\mathfrak{U}_{P}.\) Moreover, \(R,\; P-R\leq P\), hence
Proposition 4. Let \(\mathcal{C_{SBD}(E)}\) be a prime and irreducible \(C^{*}\)-subalgebra with polynomial identity \(I\) and centre \(Z[\mathcal{C_{SBD}(E)}]\). If \(\mathcal{J}\) is a nonzero ideal of \(\mathcal{C_{SBD}(E)}\) then \(\mathcal{J}\cap Z[\mathcal{C_{SBD}(E)}]\) is non-zero.
Proof. Let \(\mathcal{A_{SBD}}\subseteq \mathcal{C_{SBD}(E)}\) be such that there exists a homomorphism from \(\mathcal{C_{SBD}(E)}\) onto \(\mathcal{A_{SBD}}\). Since \(\mathcal{A_{SBD}}\) is \(C^{*}\)-subalgebra of \(\mathcal{C_{SBD}(E)}\) then \(\mathcal{A_{SBD}}\) is prime and irreducible with the same polynomial identity \(I\) and hence has the same dimension less than \((\frac{n}{2})^{2}\) over its centre \(Z[\mathcal{C_{SBD}(E)}]_{i}\) by (Kaplansky’s theorem). Let \(\Phi_{i}: \mathcal{C_{SBD}(E)}\rightarrow \mathcal{A_{SBD}}\) be a canonical projection such that \(\bigcap_{i}Ker \Phi_{i}=\{0\}\), whenever we restrict \(\Phi_{i}\) to ideal \(\mathcal{J}\) is nonzero for every \(i\) and set \(F=\{i: \Phi_{i}\; | \;\mathcal{J}\; \text{is nonzero}\}\). Suppose \(\Phi_{i}: \mathcal{C_{SBD}(E)}\rightarrow \mathcal{A_{SBD}}\) is surjective, then \(\Phi_{i}(\mathcal{J})\) is a nonzero ideal of \(\mathcal{A_{SBD}}\) for every \(i\in F\) and thus \(\mathcal{A_{SBD}}\) is prime and irreducible, since for every \(i\in F,\; \Phi_{i}\) restricted to \(\mathcal{J}\) is surjective. Suppose further that \(i_{0}\in F\) such that \(\mathcal{A}^{0}_\mathcal{SBD}\) has maximal dimension \(n^{2}_{0}\) over its centre for every \(i\in F\) and let \(X_{n0}\) be a non-vanishing central polynomial for any \(\mathcal{A_{SBD}}\) of degree \(n\) over its centre \(Z[\mathcal{C_{SBD}(E)}]\). Since \(X_{n0}\) is central for \(\mathbb{M}_{n0}\), then \(X_{n0}\) is central for smaller degree matrix algebras, hence \(X_{n0}\) is central for \(\mathcal{A_{SBD}}\) for every \(i\in F\). Also, Suppose that \(A_{1},.., A_{m}\in \mathcal{A}^{0}_\mathcal{SBD}\) such that \(X_{n0}(A_{1},…,A_{m})\neq 0\) and let \(J_{1},…,J_{m}\in \mathcal{J}\) such that \(\Phi_{i0}(J_{k})=A_{k},\; 1\leq k\leq m\). Then \(X_{n0}\) is homogenous of degree \(>0\) and its constant term is \(0\), for all \(i\notin F\), so \begin{equation*} \Phi_{i}(X_{n0}(J_{1},…,J_{m}))=X_{n0}(\Phi_{i}(J_{1}),…,\Phi_{i}(J_{m}))=X_{n0}(0,…,0)=0 \end{equation*} and \(\Phi_{i}(X_{n0}(J_{1},…,J_{m}))=X_{n0}(\Phi_{i}(J_{1}),…,\Phi_{i}(J_{m}))\in Z[\mathcal{C_{SBD}(E)}]_{i}\),for all \(i\in F\). In particular, \begin{equation*} \Phi_{i_{0}}(X_{n0}(J_{1},…,J_{m}))=X_{n0}(\Phi_{i_{0}}(J_{1}),…,\Phi_{i_{0}}(J_{m}))=X_{n0}(A_{1},…,A_{m})\neq 0, \end{equation*} but belong \(Z[\mathcal{C_{SBD}(E)}]_{i_{0}}\). Hence \(X_{n0}(J_{1},…,J_{m})\in Z[\mathcal{C_{SBD}(E)}]\) and is non-zero. However, \(X_{n0}(J_{1},…,J_{m})\in \mathcal{J}\), hence \(\mathcal{J}\cap Z[\mathcal{C_{SBD}(E)}]\) is non-zero.
Lemma 1. Let \(\mathcal{C_{SBD}(E)}\) be a prime and irreducible \(C^{*}\)-subalgebra with polynomial identity \(I\) and centre \(Z[\mathcal{C_{SBD}(E)}]\). Then \(\mathcal{C_{SBD}(E)}\) is simple.
Proof. From Proposition 4, \(\mathcal{J}\) is a nonzero ideal of \(\mathcal{C_{SBD}(E)}\) and \(\mathcal{J}\cap Z[\mathcal{C_{SBD}(E)}]\) is non-zero. Thus, it follows that \(\mathcal{J}=\mathcal{C_{SBD}(E)}\) is simple.
Theorem 3.Let \(\mathcal{C_{SBD}(E)}\) be a prime and irreducible \(C^{*}\)-subalgebra with polynomial identity and centre \(Z[\mathcal{C_{SBD}(E)}]\). Then there exists simple prime \(C^{*}\)-subalgebra \(\mathcal{B_{SBD}}\) equal to \(\mathcal{C_{SBD}(E)}\overline{Z[\mathcal{C_{SBD}(E)}]}\) such that \(\overline{Z[\mathcal{C_{SBD}(E)}]}=\mathcal{C_{SBD}}(E) \setminus Z [\mathcal{C_{SBD}(E)}]\) is the quotient algebra of \(\mathcal{C_{SBD}(E)}\) and it is finite dimensional over \(\overline{Z[\mathcal{C_{SBD}(E)}]}\) with the centre of \(\mathcal{B_{SBD}}=\overline{Z[\mathcal{C_{SBD}(E)}]}\).
Proof. We know that \(\mathcal{C_{SBD}(E)}\) is prime and irreducible with its centre is non-zero by Proposition 4. Since \(\mathcal{B_{SBD}}\) is simple from Lemma 1, we can define \(\mathcal{B_{SBD}}=\{XW^{-1},\; X\in\mathcal{C_{SBD}(E)}; \; W\neq 0 \in Z[\mathcal{C_{SBD}(E)}]\;|\; X_{1}W_{1}^{-1}=X_{2}W_{2}^{-1}\; \text{if and only if} \; X_{1}W_{2}=X_{2}W_{1}\}\). It follows that multiplication is closed under \((X_{1}W_{1}^{-1})(X_{2}W_{2}^{-1})=(X_{1}X_{2})(W_{1}W_{2})^{2}\) and addition \(X_{1}W_{1}^{-1}+X_{2}W_{2}^{-1}=(X_{1}W_{1}+X_{2}W_{2})(W_{1}W_{2})^{-1}\). To show that the centre of simple prime \(C^{*}\)-subalgebra \(\mathcal{B_{SBD}}\)is equal to \(\overline{Z[\mathcal{C_{SBD}(E)}]}\), we prove \(\overline{Z[\mathcal{C_{SBD}(E)}]}\subseteq Z[\mathcal{B_{SBD}}]\) and \(Z[\mathcal{B_{SBD}}]\subseteq Z[\mathcal{C_{SBD}(E)}]\). Suppose that \(\overline{Z[\mathcal{C_{SBD}(E)}]}\subseteq Z[\mathcal{B_{SBD}}]\), then \(XW^{-1}\in Z[\mathcal{B_{SBD}}]\). Similarly, if \((XW^{-1})W\in Z[\mathcal{B_{SBD}}]\) then \(X\in\mathcal{C_{SBD}(E)}\cap Z[\mathcal{B_{SBD}}]\subseteq Z[\mathcal{C_{SBD}(E)}]\) and \(XW^{-1}\in \overline{Z[\mathcal{C_{SBD}(E)}]}\) thus \(Z[\mathcal{B_{SBD}}]=\overline{Z[\mathcal{C_{SBD}(E)}]}\). Furthermore, \(\mathcal{B_{SBD}}\) is prime since \(A_{1}\mathcal{B_{SBD}}A_{2}=0\) for all \(A_{1},\; A_{2}\in \mathcal{B_{SBD}}\) and \(A_{1}(XW^{-1})A=0\) for all \(X\in \mathcal{C_{SBD}(E)},\; W\neq 0\in Z[\mathcal{C_{SBD}(E)}]\). Suppose that \(A_{1}=X_{1}W_{1}^{-1}, \; A_{2}=X_{2}W_{2}^{-1}\) for all \(X_{i}\in \mathcal{C_{SBD}(E)},\; i=1,2\) and \(W_{i}\in \mathcal{C_{SBD}(E)},\; i=1,2\). Then \(0=X_{1}W_{1}^{-1}XW^{-1}X_{2}W_{2}^{-1}=(X_{1}XX_{2})(W_{1}WW_{2})^{-1}\) for all \(X\in \mathcal{C_{SBD}(E)},\; W\in Z[\mathcal{C_{SBD}(E)}]\). Hence, \(X_{1}XX_{2}=0\) for all \(X\in \mathcal{C_{SBD}(E)}\). However, since \(\mathcal{C_{SBD}(E)}\) is prime, then either \(X_{1}\) or \(X_{2}\) is \(0\) and hence either \(A_{1}\) or \(A_{2}\) is \(0\). Thus \(\mathcal{B_{SBD}}\) is prime and \(\mathcal{B_{SBD}}\) satisfies polynomial identity property. Hence, by Proposition 4, if \(\mathcal{J}\) is a non-zero ideal of \(\mathcal{B_{SBD}},\; \mathcal{J}\cap \overline{Z[\mathcal{C_{SBD}(E)}]}\neq 0\) thus \(\mathcal{J}= \mathcal{B_{SBD}}\) and \(\mathcal{B_{SBD}}\) is simple and finite dimensional over its centre \(\overline{Z[\mathcal{C_{SBD}(E)}]}\).
Corollary 4. Let \(\mathcal{C_{SBD}(E)}\) be a unital \(C^{*}\)-subalgebra and \(T=\sum_{i=1}^{n}A_{i}XB_{i}\) be an elementary operator on \(\mathcal{C_{SBD}(E)}\). If the elementary operator \(T=\sum_{i=1}^{m}C_{i}XD_{i}\) where \(C_{i}\in \mathbf{A}(T)\) and \(D_{i}\in \mathbf{B}(T)\) for every \(1\leq i\leq m\). Then \(\sum_{i=1}^{n}B_{i}A_{i}-\sum_{i=1}^{m}D_{i}C_{i}\in Z[\mathcal{C_{SBD}(E)}]\), where \(\mathbf{A}(T)=span\{A_{i},…,A_{n}\}\) the linear span of \(A\), \(\mathbf{B}(T)=span\{B_{i},…,B_{n}\}\) the linear span of \(B\) and \(\mathbf{C}(T)=span\{B_{i}A_{j};\; 1\leq i, \;j\leq n\}\) the linear span of \(BA\).
Proof. By Proposition 3 and Theorem 3, \(Z[\mathcal{C_{SBD}(E)}]\) is a commutative \(C^{*}\)-subalgebra of \(\mathcal{C_{SBD}(E)}\) which is prime hence \(\sum_{i=1}^{n}B_{i}A_{i}-\sum_{i=1}^{m}D_{i}C_{i}\in Z[\mathcal{C_{SBD}(E)}]\). Let the length of \(T\) be \(n\) and \(\{C_{1},…,C_{n}\}\) be linearly independent. If \(n=m\), then \(C_{i}=\sum_{k=1}^{n}\beta_{ik}A_{k}, \; 1\leq i\leq n\) and \(B_{k}=\sum_{k=1}^{n}\beta_{ik}D_{i}, \; 1\leq k\leq n.\) It follows that \(\sum_{i=1}^{n}B_{i}A_{i}=\sum_{i=1}^{n}D_{i}C_{i}\). If \(n < m\), then we express \(C_{j}=\sum_{k=1}^{k}\beta_{jk}C_{k}\; \forall\; n+1\leq j\leq m \) and the elementary operator \(T=\sum_{i=1}^{n}C_{i}XD_{i}+\sum_{j=n+1}^{m}\sum_{k=1}^{n}\beta_{jk}C_{k}XD_{j}\). Thus \(T=\sum_{i=1}^{n}C_{i}XD_{i}+\sum_{j=n+1}^{m}C_{k}X\beta_{jk}D_{j}\) which shows that \(T=\sum_{i=1}^{n}C_{i}XD_{i}+\sum_{k=1}^{n}\sum_{j=n+1}^{m}C_{k}X\beta_{jk}D_{j}\), hence \begin{eqnarray*} T &=& \sum_{k=1}^{n}C_{i}XD_{i}+\sum_{k=1}^{n}\sum_{j=n+1}^{m}C_{k}X\beta_{jk}D_{j} \\ &=& \sum_{k=1}^{n}C_{k}X[D_{k}+\sum_{j=1}^{n}\beta_{jk}D_{j}]. \end{eqnarray*} Replacing \(D^{0}_{k}=D_{k}+\sum_{j=1}^{n}\beta_{jk}D_{j}\), we have \(\sum_{k=1}^{m}D_{k}^{0}C_{k}=\sum_{k=1}^{n}B_{k}A_{k}\). Thus, \(\sum_{i=1}^{n}B_{i}A_{i}=\sum_{i=1}^{n}D_{i}C_{i}\) and \(\sum_{i=1}^{n}B_{i}A_{i}-\sum_{i=1}^{m}D_{i}C_{i}\in Z[\mathcal{C_{SBD}(E)}]\).
Corollary 5. Let \(\mathcal{A_{SBD}},\; \mathcal{B_{SBD}}\) be two unital \(C^{*}\)-subalgebras of \(\mathcal{C_{SBD}}(E)\) and \(\mathcal{I},\; \mathcal{J}\) be ideals of \(\mathcal{A_{SBD}}\) and \(\mathcal{B_{SBD}}\) respectively. If \(T:\mathcal{A_{SBD}}\rightarrow \mathcal{B_{SBD}}\) then there exists a spectrally bounded linear mapping \(\widehat{T}:\mathcal{A_{SBD}}/ \mathcal{I} \rightarrow \mathcal{B_{SBD}} /\mathcal{J} \) with \(\|\widehat{T}\|\leq \|T\|_{\sigma}\) such that \(B_{i}A_{i}\in Z[\mathcal{C_{SBD}}(E)]\), for all \(T=A_{i}XB_{i}\in \mathcal{C(E)}\).
Proof. Suppose that \(X \in\mathcal{A_{SBD}}\) and \(Y\in \mathcal{I}\) such that the spectral radius of \(r(X+Y)\leq r(X+I)+\varepsilon\), for any \(\varepsilon >0\) then, \begin{eqnarray*} r(\widehat{T}(X+I)) &=& r(TX+J)\leq \inf_{W\in \mathcal{J}} r(TX+W) \\ &=& r(TX+TY)\leq \|T\|_{\sigma}r(X+Y) \\ &=& \|T\|_{\sigma}(r(X+\mathcal{I})+\varepsilon ). \end{eqnarray*} This means that \(r(\widehat{T}(X+I))\leq \|T\|_{\sigma}r(X+\mathcal{I})\) and \(\|\widehat{T}\|\leq \|T\|_{\sigma}\) holds. Thus, by Corollary 4, \(B_{i}A_{i}\in Z[\mathcal{C_{SBD}}(E)]\).