Skew group rings which are Galois (Q1567222)

Let \(S\) be an associative ring with center \(C\), \(G\) a finite automorphism group of order \(n\), which is invertible in \(S\), and let \(S^G\) be the subring of the elements fixed under each element in \(G\). Then \(S\) is called a \(G\)-Galois extension of \(S^G\) if there exist elements \(c_i,d_i\in S\) (\(i=1,2,\dots,k\)) such that \(\sum^n_{i=1}c_ig(d_i)=\delta_{1,g}\) for each \(g\in G\), where \(\delta_{1,g}\) is the Kronecker symbol. Let \(S*G\) be the skew group ring of \(G\) over \(S\) and let \(G'\) be the group of the inner automorphisms of \(S*G\) induced by the elements in \(G\). In this paper the authors prove that if \(S*G\) is a \(G'\)-Galois extension of \((S*G)^{S'}\), then \(S\) is a \(G\)-Galois extension of \(S^G\). Moreover, if in addition \((S*G)^{G'}\) is a projective separable \(C^G\)-algebra, then \(S^G\) is also a projective separable \(C^G\)-algebra. Some sufficient conditions on \((S*G)^{G'}\) are given for \(S\) to be a \(G\)-Galois extension of \(S^G\) which is an Azumaya \(C^H\)-algebra, and equivalent conditions on \(S^G\) are obtained for the commutator subring of \((S*G)^{G'}\) in \(S*G\) to be a \(G\)-Galois extension.