Let $A$ be a Hopf algebra over a field $k$, and let $B$ be a normal sub Hopf algebra of $A$. Then
This is used in computations with the Adams spectral sequence.
Due to
Textbook accounts include
Stanley Kochman, prop. 3.7.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Doug Ravenel, theorems A1.1.18, A1.1.20 and A1.1.13 in Complex cobordism and stable homotopy groups of spheres Academic Press 1986
Last revised on April 24, 2021 at 10:56:35. See the history of this page for a list of all contributions to it.