The Fundamental Group - Examples and Constructions

Computing fundamental groups requires techniques that connect geometric intuition with algebraic structure. We examine key examples and construction principles.

Example

The $n$ -sphere: For $n \geq 2$ , we have $\pi_1(S^n) = \{e\}$ . Any loop in $S^n$ can be continuously contracted because $S^n \setminus \{\text{point}\} \simeq \mathbb{R}^n$ is contractible for $n \geq 2$ . However, $\pi_1(S^1) = \mathbb{Z}$ , reflecting the fact that loops can wind around the circle.

The fundamental group distinguishes spaces that appear geometrically similar. The circle and the interval are both one-dimensional, but $\pi_1(S^1) = \mathbb{Z}$ while $\pi_1([0,1]) = \{e\}$ .

Definition

Let $X$ and $Y$ be pointed spaces. The wedge sum (or one-point union) $X \vee Y$ is the quotient space obtained by identifying the basepoints: $X \vee Y = (X \sqcup Y) / (x_0 \sim y_0)$ .

Theorem

If $X$ and $Y$ are path-connected, then $\pi_1(X \vee Y) \cong \pi_1(X) * \pi_1(Y)$ where the right side denotes the free product of groups.

The free product $G * H$ is the group generated by elements of $G$ and $H$ with no relations between elements from different groups. For example, $\pi_1(S^1 \vee S^1) \cong \mathbb{Z} * \mathbb{Z}$ , the free group on two generators.

Example

The figure-eight space $S^1 \vee S^1$ has fundamental group $\mathbb{Z} * \mathbb{Z}$ , consisting of all finite words in two letters $a, b$ and their inverses, with concatenation as the group operation. This is a non-abelian group, contrasting sharply with $\pi_1(S^1) = \mathbb{Z}$ .

For product spaces, the fundamental group exhibits different behavior, reflecting the richer structure of Cartesian products.

Theorem

If $X$ and $Y$ are path-connected spaces, then $\pi_1(X \times Y) \cong \pi_1(X) \times \pi_1(Y)$ where the right side is the direct product of groups.

Example

The torus $T^2 = S^1 \times S^1$ has fundamental group $\pi_1(T^2) \cong \mathbb{Z} \times \mathbb{Z}$ , which is abelian. A loop in $T^2$ is characterized by how many times it winds around each circular factor. Compare this with the figure-eight: $\pi_1(S^1 \vee S^1) \cong \mathbb{Z} * \mathbb{Z}$ is non-abelian.

The distinction between $\vee$ and $\times$ in topology corresponds to the distinction between free product and direct product in group theory, illustrating the deep connection between topology and algebra.

Remark

Higher-dimensional tori follow the same pattern: $\pi_1(T^n) \cong \mathbb{Z}^n$ . The $n$ -torus can be realized as a quotient of $\mathbb{R}^n$ by a lattice, and loops correspond to vectors in $\mathbb{Z}^n$ .

These examples demonstrate that $\pi_1$ captures essential geometric information: connectivity properties, holes, and the dimension where these holes occur. The fundamental group sees one-dimensional holes but is blind to higher-dimensional structure, motivating the development of higher homotopy groups.