On Hopf Galois Extension of Separable Algebras

In this paper, the classical Galois theory to the H*-Galois case is developed. Let H be a semisimple and cosemisimple Hopf algebra over a field k, A a left H-module algebra,and A/AHa right H*-Galois extension. The authors prove that, if AHis a separable kalgebra, then for any right coideal subalgebra B of H, the B-invariants A^B= {a ∈ A |b · a = ε(b)a, b∈ B} is a separable k-algebra. They also establish a Galois connection between right coideal subalgebras of H and separable subalgebras of A containing AHas in the classical case. The results are applied to the case H =(kG)*for a finite group G to get a Galois 1-1 correspondence.

In this paper, the classical Galois theory to the H＊-Galois case is developed. Let H be a semisimple and cosemisimple Hopf algebra over a field k, A a left H-module algebra, and A/An a right H＊-Galois extension. The authors prove that, if An is a separable kalgebra, then for any right coideal subalgebra B of H, the B-invariants AB = {a ∈ A ｜ b · a = ε（b）a, Ab ε B} is a separable k-algebra. They also establish a Galois connection between right coideal subalgebras of H and separable subalgebras of A containing AH as in the classical case. The results are applied to the case H = （kG）＊ for a finite group G to get a Galois 1-1 correspondence.