Elementary operators (Q4935375)

Let \({\mathbf A}\) and \({\mathbf B}\) be algebras over a field \(F\), \({\mathbf E}({\mathbf A},{\mathbf B})\) denotes the set of all ordered pairs \((M,M^*)\), where \(M: {\mathbf A}\to{\mathbf B}\) and \(M^*:{\mathbf B}\to{\mathbf A}\), are linear maps such that: \[ M(x(M^* y)z)= (Mx) y(Mz),\quad\text{for all }x,z\text{ in }{\mathbf A},\;y\text{ in }{\mathbf B}, \] \[ M^*(x(My)z)= (M^* x)y(M^* z),\quad\text{for all }x,z\text{ in }{\mathbf B},\;y\text{ in }{\mathbf A}. \] A standard operator algebra on a Banach space \(X\) is any algebra \({\mathbf A}\) such that \({\mathbf F}(X)\subseteq {\mathbf A}\subseteq{\mathbf B}(X)\); where \({\mathbf B}(X)\) is the algebra of all bounded linear operators on \(X\), and \({\mathbf F}(X)\) is its ideal of finite-rank operators. Among other results, the authors proved: Let \({\mathbf A}\) and \({\mathbf B}\) be standard operator algebras on Banach spaces \(X\) and \(Y\), respectively. If \((M,M^*)\) belongs to \({\mathbf E}({\mathbf A},{\mathbf B})\), then there exist bounded linear operators \(T: X\to Y\) and \(S: Y\to X\), such that: \[ M(A)= TAS,\quad\text{for all }A\text{ in }{\mathbf A};\;M^*(B)= SBT,\quad\text{for all }B\text{ in }{\mathbf B}. \] Hence \(M\), \(M^*\) are continuous. This theorem extends some results of P. R. Chernoff and of B. E. Johnson.