0
$\begingroup$

let $X$ be a topological space. suppose $\pi_i(X)=\mathbb Z$. let $f:S^i\rightarrow X$ be a representative of the generator of $\pi_i(X)$. $f$ induces an homomorphism $f_*:\pi_i(S^i)\rightarrow \pi_i(X)$ why $f_*$ is an isomorphism?

my guess: for every $\gamma:S^i\rightarrow S^i$

$f_*[\gamma]=[f\circ \gamma]$

this is injective as a homomorphism from $Z$ to $Z$ but why it is surjective? i mean take a class $[h]\in \pi_i(X)$ why would exist a map $\gamma:S^i\rightarrow S^i$ such that $f\circ \gamma$ is homotopic to $h$?

  • 0
    Jim already showed how to use it (I wanted to give it as a hint) $f=f_*(id)$, $[id]$ generates $\pi_i(S^i)$ and $[f]$ generates $\pi_i(X)$...2011-06-07

1 Answers 1

3

It's enough to check that the generator of $\pi_i(X)$ is hit by $f_*$. This follows because the generator of $\pi_i(S^i)$ is given by the identity map $id\colon S^i\to S^i$. So $f_*(id)=f$ is the generator you started with. Once you know the generator is hit, since $f_*$ is a homomorphism, this means that every multiple of the generator is also hit.