Bourbaki

Exercise 5, § 2

Tag 040C, permanent. Cite it as [Bourbaki, Tag 040C].

Algebraic Topology, IV, p. 458

Let PP be the Hawaiian earring (III, p. 336, exerc. 6, whose notation we use again). For n∈N∗n\in \mathbf{N}^*, let αn∈π1(P,o)\alpha_n\in \pi_1(P, o) be the class of a loop in CnC_n whose class generates π1(Cn,0)\pi_1(C_n,0).

a) Prove that the mapping Hom(π1(P,0),Z\pi_1(P,0),\mathbf{Z})→ZN,φ↦(φ(αn))n∈N\rightarrow \mathbf{Z}^{\mathbf{N}},\varphi \mapsto (\varphi (\alpha_n))_{n\in\mathbf{N}} is an injective homomorphism of groups and that its image is equal to Z(N)\mathbf{Z}^{(\mathbf{N})}.[^1]

b) The group π1(P,0)\pi_1(P,0) is not a free group; the quotient of π1(P,0)\pi_1(P,0) by its derived group is not a free abelian group.

c) Let A be the Hawaiian archipelago (III, p. 338, exerc. 10). Prove that every homomorphism of π1(A,o)\pi_1(A, o) into Z\mathbf{Z} is trivial.

[^1]: See B. de Smit, « The fundamental group of the Hawaiian earring is not free », International Journal of Algebra and Computation, Vol. 2, No. 1 (1992), p. 33–37.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.