On centre properties of irreducible subalgebras of compact elementary operators

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.


Introduction
T he 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 Φ ∈ B(B(H)) is non-invertible if it is a right zero divisor or left zero divisor and if a length 2 elementary operator Φ is annihilated by elementary operator, then there exists a multiplication operator M such that MΦ = 0 (or Φ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 ∈ 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 A with the coefficients in A is norm closed for all primitive C * -algebra PrimA (where PrimA is the primitive spectrum which is the set of irreducible representations of 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 A ⊗ γ B and operator space projective tensor product A ⊗B of two C * -algebras A and 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 A has an approximate identity element which is quasi-central that belongs to 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 A contains information about properties of operators defined on A which are compatible with ideals of A such as derivations, automorphisms, elementary operators, among others. In [1], it was shown that every C * -algebra B of Mloc(A) is containing both C b and 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 B of a unital complex Banach algebra A, then the quasicentral Q(A), σ-quasicentral Q σ (A) and ρ-quasicentral Q ρ (A) sets need not be subsets of Q(B), Q σ (B) and Q ρ (B) respectively. Moreover, Q(B), Q σ (B) and Q ρ (B) need not be subsets of Q(A), Q σ (A) and Q ρ (A) respectively. In addition, As'ad [20] studied the extended centre, extended quasi-centre, the extended σ-quasi centre and extended ρ-quasi centre of complex Banach algebra. In [20], if A is a unital complex Banach algebra then 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.

Preliminaries
In this section, we outline preliminary concepts which are useful in the sequel. Let A be a Banach algebra. We denote a dense irreducible C * -subalgebra of A by A DIR . The algebra of all compact elementary operators on A is denoted by C(E ). We also denote the algebra of all spectrally bounded compact elementary operators on A DIR is denoted by C SBD (E ). (ii). αa = |α| a , for all a ∈ V and α ∈ K.
The ordered pair (V, . ) is called a normed space.

Definition 2. ([23]
, Section 2) Consider a C * -algebra A and let T : A → A. The operator T is called an elementary operator if it has the following representation: (v). The Jordan elementary operator (implemented by A, B) by UA, B(X) = AXB + BXA, ∀ X ∈ B(H).

Definition 3. ([24], Definition 4.1) If
Definition 5. ( [26], Definition 4.2.12) A representation T of an algebra 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 ∈ A with T a x j = y j for j = 1, 2, ..., n.
Definition 7. Let C SBD (E ) be a Jordan Banach algebra. Then two elements P, Q ∈ C SBD (E) are orthogonal if one the following equivalent conditions hold: and X are the only T-invariant subspaces and T is not trivial. (iv). Cyclic if there exists a vector z ∈ X satisfying X = {T a z : a ∈ A}.
Definition 13. ( [31], Definition 3.10) Let X be a linear space and C be a convex subset of X. A point x ∈ C is said to be extreme point of C if and only if C \ {x} is still convex. That is, if any time x = λx 1 + (1 − λ)x 2 where x 1 , x 2 ∈ C and 0 < λ < 1, then x = x 1 = x 2 .

Main results
In this section, we give results on the centre of dense irreducible subalgebras of compact elementary operators that are spectrally bounded.   . Therefore, S = X − S − = Y − S − and so X = Y = S + . Following the above procedure, S − is an extreme point in E ∩ F. Since S + and S − are projections, then S + + S − = I and S 2 = P. Also, let T be an element of (I − 2L P + U P )Z[C SBD (E )] such that T ≤ 1 and R ∈ Z[C SBD (E )] then T = (I − 2L P + U P )R is a Jordan Banach algebra isomorphism. Therefore, the subalgebra Z[S, R] of Z[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, and It follows from Equation 1 that P • S = 0 and Equation 2 that U P T 2 = 0 since {PT 2 P} = 0 and by Jordan isomorphism property, we have Applying Equation 1 and Equation 2 we have, However, we know that S is an extreme point of F and S = 1 2 (S + T) + 1 2 (S − T). So, T = 0 and (I − 2L P + U P )Z[C SBD (E )] = {0}. This shows that for all W ∈ Z[C SBD (E )], W − P • W 2 ≤ (I − 2L P + Q)W W = 0 and linearity follows since the projection P is an identity for Z[C SBD (E )]. Thus, Z[C SBD (E )] is a unital C * -subalgebra of C SBD (E ). Theorem 1. Let P and Q be idempotents in C SBD (E ). If C SBD (E ) is a Jordan-Banach algebra with Identity I and P ∈ Z[C SBD (E )], then the supports from the centre z(P) and z(Q) are orthogonal.
Proof. Let P ∈ C SBD (E ) then the support from the centre z(P) is defined by z(P) = ∧{Q : If W ∈ Z[C SBD (E )] and P ∈ C SBD (E ) with P ≤ Z, then the support from the centre of P in a Jordan-Banach algebra C SBD (E ) is denoted by z w (P). In this case, the centre Z[C SBD (E )] of a Jordan Banach algebra C SBD (E ) is an associative Jordan Banach algebra and is isomorphic to Jordan Banach algebra is Jordan Banach algebra of continuous functions from Hyperstonean space H P into M 8 3 hermitian 3 × 3 matrices over Cayley numbers). Therefore, the following conditions hold, and Thus, the centre Z[C SBD (E )] is equal to K(H P ), the dual space of real valued continuous functions on H P and the support from the centre z(P) is defined by  Proof. We know that C SBD (E ) is an associative Jordan-Banach algebra. It follows that the centres Z[C SBD (E )] and Z[C SBD (E )] are associative Jordan Banach subalgebras which are idempotent. We prove that the projection . Thus, for every Q ∈ U(Z[C SBD (E )]) and using Equation 6, (U P Q) 2 = U P U Q P 2 = U P U Q U P I = U P U P U Q I = U P Q. Thus, U P Q ∈ U(C SBD (E )). Moreover, using Equation5 and Equation 6, we have This shows that U P Q is central idempotent in U(C SBD (E )). We need to show that the for every central idempotent R ∈ C SBD (E ), there exists a central idempotent Q ∈ C SBD (E ) with range R under projection U P . So we show that R and P − R are idempotents in C SBD (E ) and applying Equation 5, we have or U R,P−R C SBD (E ) = {0}. It is known from Theorem 1 that the supports from the centre z(R) and Z(P − R) of the idempotents R and P − R are orthogonal. Hence, from Equation 6 we have and by Equation 5 we have The orthogonality of the centres z(P) and z(P − R) implies that z(P − R) ≤ I − Z(R).

Hence by Equation 4 and Equation 12
U P−R z(R) = 0.
And applying Equation 10, Equation 11 and Equation13, we obtain the equation U P z(R) = U R z(R) + U P−R z(R) = R. Thus, the centre Z[C SBD (E )] of hereditary Jordan-Banach subalgebra C SBD (E ) coincides with the range of the centre U(Z[C SBD (E )]) under the projection U P .
its centre Z[C SBD (E )]. Since X n0 is central for M n0 , then X n0 is central for smaller degree matrix algebras, hence X n0 is central for A SBD for every i ∈ F. Also, Suppose that A 1 , .., A m ∈ A 0 SBD such that X n0 (A 1 , ..., A m ) = 0 and let J 1 , ..., J m ∈ J such that Φ i0 (J k ) = A k , 1 ≤ k ≤ m. Then X n0 is homogenous of degree > 0 and its constant term is 0, for all i / ∈ F, so In particular, and is non-zero. However, X n0 (J 1 , ..., J m ) ∈ J , hence J ∩ Z[C SBD (E )] is non-zero.
Proof. We know that C SBD (E ) is prime and irreducible with its centre is non-zero by Proposition 4. Since B SBD is simple from Lemma 1, we can define B SBD = {XW −1 , X ∈ C SBD (E ); To show that the centre of simple prime C * -subalgebra B SBD is equal to Hence, X 1 XX 2 = 0 for all X ∈ C SBD (E ). However, since 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 B SBD is prime and B SBD satisfies polynomial identity property. Hence, by Proposition 4, if J is a non-zero ideal of B SBD , J ∩ Z[C SBD (E )] = 0 thus J = B SBD and B SBD is simple and finite dimensional over its centre Z[C SBD (E )].
, where A(T) = span{A i , ..., A n } the linear span of A, B(T) = span{B i , ..., B n } the linear span of B and C(T) = span{B i A j ; 1 ≤ i, j ≤ n} the linear span of BA.

Proof. By Proposition 3 and Theorem 3, Z[C SBD (E )] is a commutative
. Let the length of T be n and {C 1 , ..., C n } be linearly independent. If n = m, then C i = ∑ n k=1 β ik A k , 1 ≤ i ≤ n and B k = ∑ n k=1 β ik D i , 1 ≤ k ≤ n. It follows that ∑ n i=1 B i A i = ∑ n i=1 D i C i . If n < m, then we express C j = ∑ k k=1 β jk C k ∀ n + 1 ≤ j ≤ m and the elementary operator T = ∑ n i=1 C i XD i + ∑ m j=n+1 ∑ n k=1 β jk C k XD j . Thus T = ∑ n i=1 C i XD i + ∑ m j=n+1 C k Xβ jk D j which shows that T = ∑ n i=1 C i XD i + ∑ n k=1 ∑ m j=n+1 C k Xβ jk D j , hence Replacing D 0 k = D k + ∑ n j=1 β jk D j , we have ∑ m k=1 D 0 Corollary 5. Let A SBD , B SBD be two unital C * -subalgebras of C SBD (E) and I, J be ideals of A SBD and B SBD respectively. If T : A SBD → B SBD then there exists a spectrally bounded linear mapping T : A SBD /I → B SBD /J with T ≤ T σ such that B i A i ∈ Z[C SBD (E)], for all T = A i XB i ∈ C(E ).
This means that r( T(X + I)) ≤ T σ r(X + I) and T ≤ T σ holds. Thus, by Corollary 4, B i A i ∈ Z[C SBD (E)].