Abstract: | Let be a Hopf algebra over a commutative ring such that is a finitely generated, projective module over , let be a right -comodule algebra, and let be the subalgebra of -coinvariant elements of . If is a Galois extension of and is a local subalgebra of the center of , then is a cleft right -comodule algebra or, equivalently, there is a normal basis for over . |