Skip to main content
1 of 2
user51223
  • 3.2k
  • 16
  • 22

Let $n>2$. You have a map $\lambda_n:\mathbb{R}P^{n-1}\to\Omega^n S^n$ defined using reflection maps. This is the map that leads to the Kahn-Priddy theorem. This map extends to an $n$-fold loop map $$\lambda_n:\Omega^n\Sigma^n\mathbb{R}P^{n-1}\to\Omega^n S^n$$ which according to Kahn-Priddy Theorem induces an epimorphism on ${_2\pi_i}$ for $0<i<n-1$. The inclusion map $\mathbb{R}P^{n-1}\to \Omega^n\Sigma^n\mathbb{R}P^{n-1}$ induces an isomorphism on ${\pi_1}$. Now, from knowing that $\pi_1\Omega^nS^n\simeq\pi_1\mathbb{R}P^{n-1}\simeq\mathbb{Z}/2$ you can deduce that the composition $$\mathbb{R}P^{n-1}\to\Omega^n\Sigma^n\mathbb{R}P^{n-1}\to\Omega^nS^n$$ induces an isomorphism on ${_2\pi_1}$ which gives the desired isomorphism on ${\pi_1}$. Note that the geometric description of $\lambda_n$ is quit explicit.

user51223
  • 3.2k
  • 16
  • 22