Department of Mathematics University of Southern California, Los Angeles, California 90089
Abstract:
Let be a commutative ring. Assume that is a -bialgebra, and is an -Galois extension of its coinvariant subalgebra . Provided is faithfully flat over , we show that is necessarily a Hopf algebra.