Extensions galoisiennes non commutatives :normalité cohomologie non abélienne (Q4489714)

Let \(G\) be a finite group acting as ring automorphisms of a (not necessarily commutative) ring \(S\) and let \(R\) be a subring of \(S\) whose elements are fixed under the action of \(G\). Say that \(S/R\) is semi-normal if \(R=\) the set of all elements of \(S\) fixed by \(G\), and normal if in addition \(G\) is the set \(\Aut(S/R)\) of all automorphisms of \(S\) that fix all elements of \(R\). \(S/R\) is a \(G\)-semi-Galois extension if \(S/R\) is semi-normal and the map \(\Gamma\colon S\otimes_RS\to\text{Map}(G,S)\) given by \(\Gamma(s\otimes t)(g)=sg(t)\) is an isomorphism of \(S\)-bimodules. \(S/R\) is a \(G\)-Galois extension if in addition \(S\) is faithfully flat as a left \(R\)-modulle, and a strict \(G\)-Galois extension if in addition the order of \(G\) is invertible in \(S\). The author relates these definitions to work of \textit{H. F. Kreimer} and \textit{M. Takeuchi} [Indiana Univ. Math. J. 30, 675-692 (1981; Zbl 0451.16005)] and \textit{S. U. Chase, D. K. Harrison} and \textit{A. Rosenberg} [Mem. Am. Math. Soc. 52, 15-33 (1965; Zbl 0143.05902)]. For strict \(G\)-Galois extensions he gets the ``groups to fields'' part of the Fundamental Theorem of Galois Theory. Following Chase, et. al. [op. cit.] he defines ``interlacing coefficients'' associated to \(f,f'\) in \(\Aut(S/R)\) and \(g\) in \(G\) and \(S/R\) semi-normal, and uses them to determine when \(S/R\) is normal and also to do Galois descent. The final section determines hypercohomology sets of \(G\) in a crossed module associated to \(S/R\), as defined by \textit{M. Borovoi} [Mem. Am. Math. Soc. 626 (1998; Zbl 0918.20037)], when \(R\) is a field, \(S/R\) is \(G\)-Galois, and \(S\) is an Azumaya \(R\)-algebra.