Centralizer theorems for Hopf type Galois extensions (Q790907)

Let H be a finitely generated, projective R-module which acts on the left side of an R-algebra A, as R-endomorphisms, and let \(B=\{a\in A| \quad h(xa)=h(x)a\quad for\quad all\quad h\in H,\quad x\in A\}.\) Then A/B is said to be a left H-weak Galois extension if \(A_ B\) is finitely generated, projective, and \(A\otimes_ RH\to^{\sim}End(A_ B),\quad a\otimes h\mapsto(x\to a\cdot h(x))\quad(a,x\in A,\quad h\in H).\) If further, H is an R-algebra, and A is a unital left H-module then A/B is said to be a left H-algebra Galois extension. If H is an R-coalgebra, and \(h(l_ A)=\epsilon(h)l_ A,\quad h(xy)=\sum_{(h)}h_{(2)}(x)h_{(l)}(y)\quad(h\in H,\quad x,y\in A)\) then A/B is said to be a left H-coalgebra Galois extension. Similarly we define a right-weak (resp. algebra, coalgebra) Galois extension, where \(H^*\) is the dual of \({}_ RH\). Let T be an R-algebra, \(M_ T\) a right T-module, and \(T^*=End(M_ T).\) Let \(A\supseteq B\) and \(B^*\supseteq A^*\) be R-subalgebras of \(T^*\) such that \(A^*=T^{*^ A}\) (the centralizer of A in \(T^*)\), and \(A=T^{*^{A^*}},\quad B^*=T^{*^ B},\quad andB=T^{*^{B^*}}.\) Then the following are equivalent: (1) A/B is an H-weak (resp. coalgebra, algebra) Galois extension such that \(h(ba)=b\cdot h(a)\quad(a\in A,\quad b\in B,\quad h\in H),\) and \(_ AA\otimes_ BM_ T <\oplus_ A(M\oplus...\oplus M)_ T.\) (2) \(B^*/A^*\) is a right \(H^*\)-weak (resp. algebra, coalgebra) Galois extension such that \([b^*a^*]h^*=[b^*]h^*\cdot a^*\quad(b^*\in B^*,\quad a^*\in A^*,\quad h^*\in H^*),\) and \(_{B^*}Hom(_{A^*}B^*,_{A^*}M)_ T <\oplus_{B^*}(M\oplus...\oplus M)_ T.\) This theorem is also valid for the case when R is a non-commutative ring, and H is an R-ring or R- coring. On the other hand, if we assume H to be a finite R-Hopf algebra, then we have a centralizer theorem for Hopf Galois extensions, in particular, a centralizer correspondence between finite Galois extensions and generalized crossed products [\textit{Y. Miyashita}, J. Fac. Sci., Hokkaido Univ., Ser. I 21, 97-121 (1970; Zbl 0218.16018)]. Further we state some remarks on Hopf Galois extensions.