Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 123432

A Hopf algebra is a vector space $H$ over a field $k$ endowed with an associative product $\times:H\otimes_k H\to H$ and a coassociative coproduct $\Delta:H\to H\otimes_k H$ which is a morphism of algebras. Unit $1:k\to H$, counit $\epsilon:H\to k$ and antipode $S:H\to H$ are also required. Such a structure exists on the group algebra $k G$ of a finite group $G$.

5 votes
0 answers
165 views

Duality in Hopf algebras and Milnor-Moore paper

I am going through Milnor and Moore - On the structure of Hopf algebras (MSN) (I have already posted one question on that, another one is coming). My question is about Proposition 4.9, more specifica …
1 vote
0 answers
124 views

Transgressive elements in Hopf algebra spectral sequence

Let $E^r$ be a commutative Hopf algebra homology spectral sequence over $\mathbb{Z}/p$, i.e. such that every sheet is a commutative Hopf algebra. I am struggling with proving (probably simple) fact …
4 votes
2 answers
674 views

"Free" Hopf algebra

I am reading through the Dyer and Lashof's paper "Homology of Iterated Loop Spaces". They are quoting the following theorem: If $A$ is a connected, free, associative, commutative, primitively generat …