A loop on the circle is determined by one integer, the number of times it winds around. On the torus it takes two integers, and on the figure eight a word written with two letters. The group formed by those integers or words is the fundamental group of the space [3].
For a space with base point , the fundamental group is the set of homotopy classes of loops that start and end at , with the product given by running one loop after the other [3]. When is path-connected the group does not depend on the base point, and we simply write .
Three tools do the computations below: lifting paths to a covering space, splitting a product into its factors, and the van Kampen theorem for spaces glued together from pieces.
Let be a covering: every point of has a neighbourhood whose preimage is a disjoint union of open sets, each carried homeomorphically onto it by [1].
Two properties are needed [1,2]. A path starting at has exactly one lift starting at a chosen point , and a homotopy of paths starting at has exactly one lift starting at .
Both are proved the same way. Cover by evenly covered open sets, cut the interval into small pieces and lift one piece at a time. The interval is compact, so finitely many pieces are enough [1].
Take , , a covering with [1]. Lift a loop at to the path that starts at 0. Its end lies over , so it ends at an integer .
The loop lifts to . Both lifts run from 0 to in , so joins them, and composing with gives . Every class is some .
Conversely, if , lift the homotopy starting at 0. By uniqueness it runs from to , and its endpoint cannot move, so [1]. Hence : the winding number is the only homotopy invariant of a loop.
A map is continuous exactly when both of its components are, so a loop in is a pair of loops and a homotopy is a pair of homotopies. This gives , a homomorphism because loops are joined componentwise [1].
For the torus this yields [2]. The generators are the loop , which goes once around the first factor, and the loop , which goes once around the second.
The group is commutative, so and every loop can be written as . In the square with opposite sides glued, such a loop is a straight line of slope . Repeating the argument gives .
The figure eight is not a product, so another tool is needed: the van Kampen theorem. Thicken each circle slightly to open sets and . Each deformation retracts onto its circle, and shrinks to a point [1].
Since the intersection is simply connected, the theorem gives a free product, , the free group on two letters [1]. No relation is imposed, because the gluing takes place over a set with trivial fundamental group.
So : running the two loops in different orders gives different homotopy classes. A wedge of circles has the free group on letters as its fundamental group.
Write and let be the quotient map, a two-sheeted covering [2]. For the sphere is simply connected, so is the universal covering, and the fundamental group is then isomorphic to the group of deck transformations [2].
The deck transformations are the identity and , so for . The case is different: is a circle, with group .
A nontrivial loop is easy to draw. Take half a great circle from the north pole to the south pole. Its ends are identified, so it closes up in . Its lift does not close, so it is not trivial, but traversed twice it lifts to a closed loop on the sphere, which contracts.
For we have [1]. Rather than shrinking loops directly, it is quicker to split the sphere. Removing the north pole gives and removing the south pole gives . Each is homeomorphic to , and is homeomorphic to , which is path-connected when .
A lemma does the rest. If is a union of path-connected open sets that contain the base point and have path-connected intersections, then every loop at the base point is homotopic to a product of loops, each staying inside one of the sets [1]. The proof cuts the interval finely and uses compactness.
Here every loop inside or lives in a copy of and contracts, so every loop on contracts. For the argument fails, because falls into two pieces.
The space is built by attaching a cell of dimension to , over and over, so [1].
Every cell has even dimension, so the 1-skeleton is the single 0-cell, a point. For a path-connected CW complex the inclusion of the 1-skeleton induces a surjection on [1], and the fundamental group of a point is trivial. Hence .
Real projective space is the opposite case. It has one cell in every dimension, so its 1-skeleton is a circle, and that is where survives.
The closed orientable surface of genus is made by gluing the sides of a -gon in pairs. It has one 0-cell, 1-cells and one 2-cell [1]. The 1-skeleton is a wedge of circles, with a free group on letters, and the word along which the 2-cell is attached becomes the single relation.
So [1]. For the relation says , which is the of the torus again.
For the group is not commutative. Making it commutative gives , so different genera give different groups, and surfaces of different genus are not even homotopy equivalent. The Klein bottle, glued by the word , has .
Having seen these examples, one may ask which groups occur. The answer is all of them [1]. Take a presentation . Every group has one, since every group is a quotient of a free group.
Take one circle for each generator and form their wedge, then attach a 2-cell along the word of each relation . The resulting two-dimensional CW complex has fundamental group [1]. The wedge supplies the generators and the cells supply the relations, exactly as for the figure eight and the closed surfaces.
So the fundamental group alone cannot pin down the kind of space. In the other direction, any question about a group can be turned into a question about a space.
The circle gives , the sphere with gives the trivial group, the torus gives , the figure eight gives , the space with gives , and is simply connected.
The commutative answers come from products and from surfaces glued with commutative relations. The non-commutative ones come from free products and from the relations of closed surfaces of genus .
Only three tools were used: lifting, splitting into factors and gluing. Once the way a space is built is known, its fundamental group follows the same construction.