The double centralizer theorem for semiprime algebras. (Q458411)

Let \(R\) be a semiprime ring with extended centroid \(F\). Then \(F\) is a commutative regular self-injective ring. A semiprime ring \(R\) is called closed (or centrally closed) if \(R=RF+F\). In this case, \(R\) is a semiprime algebra over \(F\). The authors prove the double centralizer theorem for semiprime algebras. Indeed, let \(R\) be a closed semiprime algebra over its extended centroid \(F\), and let \(A\) be a closed semiprime subalgebra of \(R\), which is a finitely generated module over \(F\). Then it is shown that \(C_R(A)\) is also a closed semiprime algebra and \(C_R(C_R(A))=A\), where \(C_R(T)=\{x\in R\mid xt=tx\) for all \(t\in T\}\) for a subset \(T\) of \(R\), the centralizer of \(T\) in \(R\). Furthermore, the authors also prove that if \(C_R(A)\) satisfies a polynomial identity, then so does the whole ring \(R\).