# Thread:

1. ## fundamental group, free group

Let $Y$ be the complement of the following subset of the plane $\mathbb{R}^2:$
$\{(x,0) \in \mathbb{R}^2: x \in \mathbb{Z} \}$
Prove that $\pi_1(Y)$ is a free group on a countable set of generators.

I don't know how to start this problem. Thanks in advance.

2. Originally Posted by mingcai6172
Let $Y$ be the complement of the following subset of the plane $\mathbb{R}^2:$
$\{(x,0) \in R^2: x \in \mathbb{Z} \}$
Prove that $\pi_1(Y)$ is a free group on a countable set of generators.

I don't know how to start this problem. Thanks in advance.
The deformation retract to the wedge product of circles would be the proper way to approach this problem.
Once you get the deformation retract, I think it would not be hard to prove this.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 8, "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.929917573928833, "perplexity_flag": "head"}