MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Under what conditions is a Hopf algebra free over any of its sub-Hopf algebras?

I am reading "Hopf algebras and their actions on rings" by Susan Montgomery, specifically chapter 3. Lagrange's theorem says that if $H$ is a subgroup of $G$ then $\mathbb kG$ is free as a $\mathbb kH$ module. When one tries to extend this to general Hopf algebras, in the finite dimensional setting everything is fine by the Nichols-Zoeller theorem which says that a finite dimensional Hopf algebra $H$ is free over any sub-Hopf algebra $K$.

Unfortunately this is not true in the infinite dimensional setting. A counterexample, which is both commutative and cocommutative, due to Oberst and Schneider, is as follows: Take $F\subset E$ a Galois field extension of degree $2$ with Galois group $G=\lbrace 1,\sigma\rbrace$, and let $\sigma$ act on $\mathbb Z$ by $z\to -z$. Then $G$ acts on $E$ and $\mathbb Z$ so one can take the Hopf algebra $H=(E\mathbb Z)^{G}$. One gets a counterexample showing that $H$ is not free over the sub-Hopf algebra $(E(n\mathbb Z))^G$ when $n$ is even.

The book then mentions that, because of this, perhaps one should look at something weaker than freeness, like being faithfully flat. Here, however, I want to focus on which Hopf algebras are free over their sub-Hopf algebras. It seems that in the literature there are several instances of this kind of result. For example this seems to hold for pointed Hopf algebras. Is there an intuitive explanation of what properties of a Hopf algebra guarantee that it satisfies Lagrange's theorem? (For example, I do not see how I could have arrived naturally at the example above. A short explanation of that would be great, too.) Is there a reference?

share|cite|improve this question
The basic question here is a natural one, though it might not have a single definitive answer. – Jim Humphreys Dec 19 '11 at 15:27

Maybe you find useful Skryabin's paper.

Skryabin, Serge. Projectivity and freeness over comodule algebras. Trans. Amer. Math. Soc. 359 (2007), no. 6, 2597--2623 (electronic). MR2286047 (2008a:16060)

(Check for the preprint (free access).)

EDIT: Other two interesting papers are the following:

Radford, David. Freeness (projectivity) criteria for Hopf algebras over Hopf subalgebras. J. Algebra 45 (2), 1977, 266-273.

Takeuchi, Mitsuhiro. Relative Hopf modules—Equivalences and freeness criteria. J. Algebra 60 (2), 1979, 452-471

share|cite|improve this answer
Online access to article:… – Jim Humphreys Dec 19 '11 at 15:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.