On three types of Galois extensions of rings (Q1964676)

Let \(S\) be a ring with 1 and let \(G\) be a finite subgroup of automorphisms of \(S\) with \(|G|^{-1}\in S\). This paper defines two types of Galois extensions. First, \(S\) is a ``CP-\(G\)-Galois extension'' if \(S\) is \(G\)-Galois over \(S^G\) and is also a direct summand of a finite direct sum of copies of \(S^G\) as an \(S^G\)-bimodule (that is, \(S\) is centrally projective over \(S^G\)). Second, \(S\) is ``faithfully Galois over \(S^G\)'' if \(S\) is faithful as a left \(S*G\)-module and the skew group ring \(S*G\) is Azumaya over its center. The authors prove that CP-\(G\)-Galois extensions are equivalent to \(S*G\) being Hirata separable over \(S\). They also show that faithful Galois extensions are equivalent to the skew group ring \(S*G\) being \(G\)-Galois (with the induced inner action of \(G\)) and the fixed ring \((S*G)^{G'}\) being separable over the center of \(S*G\). The authors then give the corresponding inclusions: Galois Azumaya extensions are CP-\(G\)-Galois extensions, and CP-\(G\)-Galois extensions whose fixed ring is Azumaya are faithful Galois extensions; and give examples to show that the inclusions are not reversible. It would have been interesting to see applications and properties of these extensions. There are some typos in the paper, like calling Galois extensions where it means Galois Azumaya extensions in two instances.