Questions: The Fundamental Group

Question 1

Two loops based at x₀ represent the same element of the fundamental group π₁(X, x₀). What does this mean geometrically?

• A. The loops have the same length and traverse the same path
• B. One loop can be continuously deformed into the other while keeping the basepoint fixed
• C. The loops wind around the same number of holes in opposite directions
• D. The loops are homotopic to the identity element, meaning both can be shrunk to a point

Answer: (B)

Elements of the fundamental group are homotopy classes, not individual loops. Two loops represent the same element if and only if there is a continuous deformation (homotopy) carrying one loop to the other while keeping the basepoint x₀ fixed throughout. Loops that can be shrunk to a point represent the identity element specifically; two loops represent the same non-identity element if they can be deformed into each other without contracting to a point. The group structure captures which deformations are possible, not which paths look geometrically similar.

Question 2

What is the fundamental group of a closed disk D² (a filled circle, which is contractible)?

• A. ℤ (the integers), because loops can wind around the boundary
• B. ℤ/2ℤ, because loops can either cross the disk or not
• C. The trivial group {e}, because every loop can be continuously shrunk to a point
• D. A free group on two generators, reflecting the two dimensions of the disk

Answer: (C)

A contractible space is one that can be continuously deformed to a single point. In a filled disk, any loop can be continuously shrunk to the basepoint without leaving the space — there are no holes to obstruct the contraction. This means all loops are homotopic to the constant loop (identity), so every element equals e, giving the trivial group. The contrast with the circle S¹ (whose fundamental group is ℤ) is instructive: the circle has a 1-dimensional hole that loops cannot escape, forcing genuinely different homotopy classes indexed by winding number.

Question 3

The fundamental group of a topological space captures information about one-dimensional holes — loops that cannot be continuously shrunk to a point — but says nothing about higher-dimensional holes.

• T. True
• F. False

Answer: True

The fundamental group π₁ specifically measures obstruction to contracting 1-dimensional loops (paths that return to their start). A 2-sphere S², for example, has trivial fundamental group — every loop on a sphere can be shrunk to a point — yet it has a meaningful 2-dimensional hole detected by the second homotopy group π₂. Higher homotopy groups πₙ capture n-dimensional holes: loops (n=1), spheres (n=2), etc. The fundamental group is the first and most tractable in this hierarchy, which is why algebraic topology also develops homology and higher homotopy groups to capture the full topology.

Question 4

Two spaces with isomorphic fundamental groups is expected to be homeomorphic — that is, topologically identical.

• T. True
• F. False

Answer: False

The fundamental group is a topological invariant (homeomorphic spaces have isomorphic fundamental groups), but the converse fails: isomorphic fundamental groups do not imply homeomorphism. For example, a solid torus and the product space S¹ × D² have the same fundamental group ℤ but are not homeomorphic. The fundamental group captures only one algebraic shadow of a space's topology; it can fail to distinguish spaces with identical 1-dimensional hole structure but different higher-dimensional features. This is precisely why algebraic topology develops a suite of invariants — homology groups, higher homotopy groups, cohomology — rather than relying on π₁ alone.

Question 5

Why is the fundamental group described as a 'functor' that converts topological questions into algebraic ones? What does this mean in practice?

Model answer: A functor is a structure-preserving map between categories. The fundamental group construction π₁ sends each topological space X to a group π₁(X, x₀), and each continuous map f: X → Y to a group homomorphism f*: π₁(X, x₀) → π₁(Y, f(x₀)), in a way that respects composition and identities. In practice, this means: to prove that two spaces are not homeomorphic, compute their fundamental groups — if the groups are not isomorphic, the spaces cannot be topologically identical. To show a map cannot exist, show the induced homomorphism would be impossible. Topology becomes algebra, and algebraic tools (classification of groups, homomorphisms) become applicable to geometric problems.

The functor property is what gives the fundamental group its power as a topological tool. It transforms the hard question 'can these spaces be continuously deformed into each other?' into the (often) easier algebraic question 'are these groups isomorphic?' The circle and the disk are topologically distinguishable because ℤ ≇ {e}. Spaces with nontrivial fundamental groups cannot be simply connected. This translation — topology → algebra — is the central strategy of algebraic topology as a field.