# Induced map on Eilenberg-MacLane space

Let $X$ be an $n-1$ connected space. Why does a map $X\rightarrow K(\pi_n(X),n)$ that induces an isomorphism on $\pi_n$ exist and what is this map?

-

## 3 Answers

If $X$ is a CW-complex, then you can build a $K(\pi_n(X),n)$ by attaching cells (of dimension $n+2$ and above) to $X$ to kill off the higher homotopy groups. The map you are thinking of is then an inclusion of $X$ into $K(\pi_n(X),n)$ as a sub-complex.

-

As stated, the statement is false. For example, let $X$ be the Hawaiian earring. Then $X$ is 0-connected. But $X$ can't have a map to an Eilenberg-Maclane space that's an isomorphism on $\pi_1$, because as a compact space it would have to have compact image, which would necessarily have finitely-generated $\pi_1$ in a CW complex like an Eilenberg-Maclane space, and $X$ has infinitely generated fundamental group. The statement is true for if $X$ is a CW-complex, as wckronholm explains.

-
It's a bad habit that a lot of us get into--thinking that all spaces are (almost) CW-complexes. – Josh May 17 '11 at 22:28

1
Indeed - whenever I see a homotopy theoretic claim about "all spaces", I immediately think, "Can I break this with the topologist's sine curve or the Hawaiian earring?" – MartianInvader May 18 '11 at 13:42

Let me assume $n>1$ and —so that your claim is true— that $X$ is a CW complex.

The Hurewicz theorem, in view of the hypothesis, gives us an isomorphism $$\phi:H_n(X,\mathbb Z)\to\pi_n(X).$$ On the other hand, in view of the hypothesis made on $X$, the universal coefficient theorem for cohomology gives us an isomorphism $$\alpha:H^n(X,\pi_n(X))\to \hom(H_n(X,\mathbb Z), \pi_n(X))$$ Moreover, there is a canonical bijection $$\beta:[X,K(\pi_n(X), n)]\to H^n(X,\pi_n(X))$$ with $[X,K(\pi_n(X), n)]$ the set of homotopy classes of maps $X\to K(\pi_n(X),n)$.

The map you are looking for is any $f:X\to K(\pi_n(X),n)]$ whose homotopy class $[f]$ is such that $\alpha(\beta([f]))=\phi$.

(This works for any $K(\pi_n(X),n)$ that you pick)

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 26, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9415128827095032, "perplexity_flag": "head"}