On galois extensions of an azumaya algebra (Q4344686)

Let \(R\) be a subring of a ring \(S\), let \(Z(S)\) denote the center of \(S\), let \(C_S(R)\) denote the centralizer of \(R\) in \(S\), and assume that \(R\) is a central, separable algebra over \(C=R\cap Z(S)\). If \(A\) is a subring of \(S\) which contains \(R\) and is a separable algebra over \(C\), the authors show that \(A\) is isomorphic to \(R\otimes_C C_A(R)\) and they establish a one-to-one correspondence between such subrings and subrings of \(C_S(R)\) which are separable algebras over \(C\). If \(S\) is a Galois extension of \(R\) with respect to a finite group \(G\) of automorphisms of \(S\), then \(S\) is isomorphic to \(R\otimes_C C_S(R)\), \(C_S(R)\) is a \(G\)-Galois extension of \(C\), and there is a one-to-one correspondence between the \(G\)-stable subrings of \(S\) which contain \(C_S(R)\) and the subrings of \(R\) which contain \(C\). The authors correct a theorem from a previous paper [Commun. Algebra 23, No. 6, 2255-2261 (1995; Zbl 0828.16030)], and they use it to show that the latter correspondence pairs subrings which are separable algebras over \(C\). The reviewer found the last section of this paper confusing. In particular, Proposition 1 appears to be misstated. The results of this last section are consequences of the additional assumption that \(Z(S)\subset R\), in which case \(C_S(R)\) is a central Galois algebra over \(Z(S)\).