2
$\begingroup$

In their work on Hopf-algebras:
https://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/milnor-moore-ann-math-1965.pdf>
on the last page p.263, they say that the Hurewicz map $\lambda: \pi_*(G)\otimes K \rightarrow H_*(G,K)$ is morphism of Lie-algebras for fields $K$ with characteristic $0$, which is fine. But they claim that the image of this map is excatly $P(H_*(G,K))$ the primitive elements of the Lie-algebra $H_*(G,K)$. For the proof he refers to Cartan and Serre without giving an reference. Does anyone know if the proof is written down anywhere?
Thanks in advance

Improve this question
$\endgroup$
3
  • 2
    $\begingroup$ Such an element must come from $H_*(S,K)$, but all elements of $H_*(S,K)$ are primitive. $\endgroup$
    – user43326
    Commented Jun 11, 2019 at 17:59
  • 1
    $\begingroup$ @user43326 that only shows that the Hurewicz image lands in the primitives, not that it hits all of them. That requires an argument! Milnor and Moore sketch an argument by inducting up the Postnikov tower which is nice $\endgroup$
    – Dylan Wilson
    Commented Jun 12, 2019 at 1:02
  • $\begingroup$ Oh, I misread OP. $\endgroup$
    – user43326
    Commented Jun 12, 2019 at 6:14

1 Answer 1

Reset to default
5
$\begingroup$

This is immediate from Proposition 9.2.4 in the book ``More concise algebraic topology'' by Kate Ponto and myself. No originality is claimed.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .