# Fundamental group

This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. (July 2014) (Learn how and when to remove this template message) |

In the mathematical field of algebraic topology, the **fundamental group** is a mathematical group associated to any given pointed topological space that provides a way to determine when two paths, starting and ending at a fixed base point, can be continuously deformed into each other. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a topological invariant: homeomorphic topological spaces have the same fundamental group.

Fundamental groups can be studied using the theory of covering spaces, since a fundamental group coincides with the group of deck transformations of the associated universal covering space. The abelianization of the fundamental group can be identified with the first homology group of the space. When the topological space is homeomorphic to a simplicial complex, its fundamental group can be described explicitly in terms of generators and relations.

Henri Poincaré defined the fundamental group in 1895 in his paper "Analysis situs".^{[1]} The concept emerged in the theory of Riemann surfaces, in the work of Bernhard Riemann, Poincaré, and Felix Klein. It describes the monodromy properties of complex-valued functions, as well as providing a complete topological classification of closed surfaces.

## Contents

## IntuitionEdit

Start with a space (e.g. a surface), and some point in it, and all the loops both starting and ending at this point — paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined together in an obvious way: travel along the first loop, then along the second. Two loops are considered equivalent if one can be deformed into the other without breaking. The set of all such loops with this method of combining and this equivalence between them is the fundamental group for that particular space.

## DefinitionEdit

Let *X* be a topological space, and let *x*_{0} be a point of *X*. We are interested in the following set of continuous functions called **loops** with **base point** *x*_{0}.

Now the **fundamental group of X with base point x _{0}** is this set modulo homotopy

*h*

equipped with the group multiplication defined by

Thus the loop *f* ∗ *g* first follows the loop *f* with "twice the speed" and then follows *g* with "twice the speed." The product of two homotopy classes of loops [*f*] and [*g*] is then defined as [*f* ∗ *g*], and it can be shown that this product does not depend on the choice of representatives.

With the above product, the set of all homotopy classes of loops with base point *x*_{0} forms the **fundamental group** of *X* at the point *x*_{0} and is denoted

or simply π(*X*, *x*_{0}). The identity element is the constant map at the basepoint, and the inverse of a loop *f* is the loop *g* defined by *g*(t) = *f*(1 − *t*). That is, *g* follows *f* backwards.

Although the fundamental group in general depends on the choice of base point, it turns out that, up to isomorphism (actually, even up to *inner* isomorphism), this choice makes no difference as long as the space *X* is path-connected. For path-connected spaces, therefore, we can write π_{1}(*X*) instead of π_{1}(*X*, *x*_{0}) without ambiguity whenever we care about the isomorphism class only.

## ExamplesEdit

### Trivial fundamental groupEdit

In Euclidean space (**R**^{n}) or any convex subset of **R**^{n}, there is only one homotopy class of loops, and the fundamental group is therefore the trivial group with one element. More generally, any contractible space has a trivial fundamental group. A path-connected space whose fundamental group is trivial is called simply connected.

### Infinite cyclic fundamental groupEdit

The circle. Each homotopy class consists of all loops which wind around the circle a given number of times (which can be positive or negative, depending on the direction of winding). The product of a loop which winds around *m* times and another that winds around *n* times is a loop which winds around *m* + *n* times. So the fundamental group of the circle is isomorphic to (**Z**, +), the additive group of integers. This fact can be used to give proofs of the Brouwer fixed point theorem and the Borsuk–Ulam theorem in dimension 2.

Since the fundamental group is a homotopy invariant, the theory of the winding number for the complex plane minus one point is the same as for the circle.

In contrast to the circle, which is the 1-sphere, for every the n-sphere is simply-connected, so it has a trivial fundamental group.

### Free groups of higher rankEdit

Unlike the homology groups and higher homotopy groups associated to a topological space, the fundamental group need not be abelian. For example, the fundamental group of the figure eight is the free group on two letters. More generally, the fundamental group of any graph is a free group. If the graph *G* is connected, then the rank of the free group is equal to the number of edges not in a spanning tree.

The fundamental group of the plane punctured at *n* points is also the free group with *n* generators. The *i*-th generator is the class of the loop that goes around the *i*-th puncture without going around any other punctures.

### Knot theoryEdit

A somewhat more sophisticated example of a space with a non-abelian fundamental group is the complement of a trefoil knot in **R**^{3}, as known, whose fundamental group is the braid group .

### Lie groupsEdit

The fundamental group of a connected Lie group is always commutative.^{[2]}^{[3]}

The fundamental group of a compact Lie group can be computed by either of two methods. The first , applicable to the compact classical groups, is inductive and relies on the long exact sequence of homotopy groups for fiber bundles. Consider, for example, the case of the special unitary group , with . This group acts transitively on the unit sphere inside . The stabilizer of a point in the sphere is isomorphic to . It then can be shown^{[4]} that SU(n) is a fiber bundle with base and fiber . Since , the sphere has dimension at least 3. Thus, the first and second homotopy groups of the base are trivial. The long exact sequence then shows that the fundamental groups of the fiber and the total space are isomorphic: That is:

- .

Since is the trivial group (a single point, which is simply connected), we then conclude inductively that is simply connected for all . A similar argument shows that has the same fundamental group for all , namely .^{[5]}

The inductive method gives the following results:

- The special unitary groups is simply connected for all ;
- The special orthogonal group has fundamental group for and fundamental group for ;
- The compact symplectic group is simply connected for all ;
- The unitary group has fundamental group for all .

The second method of computing fundamental groups applies to all connected compact Lie groups and uses the machinery of the maximal torus and the associated root system. Specifically, let be a maximal torus in a connected compact Lie group , and let be the Lie algebra of . Let denote the kernel of the exponential mapping, and let denote the set of integer linear combination of coroots. Then the fundamental group of is isomorphic to the quotient .^{[6]} This method shows, for example, that any connected compact Lie group for which the associated root system is of type is simply connected.^{[7]} Thus, there is (up to isomorphism) only one connected compact Lie group having Lie algebra of type ; this group is simply connected and has trivial center.

The fundamental group of noncompact Lie groups can be reduced to the compact case, since such a group is homotopic to its maximal compact subgroup.^{[8]} Thus, for example, is simply connected because its maximal compact subgroup is simply connected.

The fundamental group is the group of connected components of the associated loop group of .

## FunctorialityEdit

If *f* : *X* → *Y* is a continuous map, *x*_{0} ∈ *X* and *y*_{0} ∈ *Y* with *f*(*x*_{0}) = *y*_{0}, then every loop in *X* with base point *x*_{0} can be composed with *f* to yield a loop in *Y* with base point *y*_{0}. This operation is compatible with the homotopy equivalence relation and with composition of loops. The resulting group homomorphism, called the induced homomorphism, is written as π(*f*) or, more commonly,

This mapping from continuous maps to group homomorphisms is compatible with composition of maps and identity morphisms. In other words, we have a functor from the category of topological spaces with base point to the category of groups.

It turns out that this functor cannot distinguish maps which are homotopic relative to the base point: if *f*, *g* : *X* → *Y* are continuous maps with *f*(*x*_{0}) = *g*(*x*_{0}) = *y*_{0}, and *f* and *g* are homotopic relative to {*x*_{0}}, then *f*_{∗} = *g*_{∗}. As a consequence, two homotopy equivalent path-connected spaces have isomorphic fundamental groups:

As an important special case, if *X* is path-connected then any two basepoints give isomorphic fundamental groups, with isomorphism given by a choice of path between the given basepoints.

The fundamental group functor takes products to products and coproducts to coproducts. That is, if *X* and *Y* are path connected, then

and if they are also locally contractible, then

(In the latter formula, denotes the wedge sum of topological spaces with base point, and * the free product of groups.) Both formulas generalize to arbitrary products. Furthermore, the latter formula is a special case of the Seifert–van Kampen theorem which states that the fundamental group functor takes pushouts along inclusions to pushouts.

## FibrationsEdit

A generalization of a product of spaces is given by a fibration,

Here the total space *E* is a sort of "twisted product" of the base space *B* and the fiber *F*. In general the fundamental groups of *B*, *E* and *F* are terms in a long exact sequence involving higher homotopy groups. When all the spaces are connected, this has the following consequences for the fundamental groups:

- π
_{1}(*B*) and π_{1}(*E*) are isomorphic if*F*is simply connected - π
_{n+1}(*B*) and π_{n}(*F*) are isomorphic if*E*is contractible.

## Relationship to first homology groupEdit

The fundamental groups of a topological space *X* are related to its first singular homology group, because a loop is also a singular 1-cycle. Mapping the homotopy class of each loop at a base point *x*_{0} to the homology class of the loop gives a homomorphism from the fundamental group π_{1}(*X*, *x*_{0}) to the homology group *H*_{1}(*X*). If *X* is path-connected, then this homomorphism is surjective and its kernel is the commutator subgroup of π_{1}(*X*, *x*_{0}), and *H*_{1}(*X*) is therefore isomorphic to the abelianization of π_{1}(*X*, *x*_{0}). This is a special case of the Hurewicz theorem of algebraic topology.

## Universal covering spaceEdit

If *X* is a topological space that is path connected, locally path connected and locally simply connected, then it has a simply connected universal covering space on which the fundamental group π_{1}(*X*,*x*_{0}) acts freely by deck transformations with quotient space *X*. This space can be constructed analogously to the fundamental group by taking pairs (*x*, γ), where *x* is a point in *X* and γ is a homotopy class of paths from *x*_{0} to *x* and the action of π_{1}(*X*, *x*_{0}) is by concatenation of paths. It is uniquely determined as a covering space.

### ExamplesEdit

#### CircleEdit

The universal cover of a circle **S**^{1} is the line **R**, we have **S**^{1} = **R**/**Z**. Thus π_{1}(**S**^{1},*x*) = **Z** for any base point *x*.

#### TorusEdit

By taking the Cartesian product of two instances of the previous example, we see that the universal cover of a 2-dimensional torus **T**^{2} = **S**^{1} × **S**^{1} is the plane **R**^{2} and we have **T**^{2} = **R**^{2}/**Z**^{2}. Thus π_{1}(**T**^{2},*x*) = **Z**^{2} for any base point *x*.

Similarly, the fundamental group of the *n*-dimensional torus **T**^{n} equals **Z**^{n}.

#### Real projective spacesEdit

For *n* ≥ 1 the real *n*-dimensional real projective space **P**^{n}(**R**) is obtained by factorizing the *n*-dimensional sphere **S**^{n} by the central symmetry: **P**^{n}(**R**) = **S**^{n}/**Z**_{2}. Since the *n*-sphere **S**^{n} is simply connected for *n* ≥ 2, we conclude that it is the universal cover of the real projective space. Thus the fundamental group of **P**^{n}(**R**) is equal to **Z**_{2} for any *n* ≥ 2.

#### Lie groupsEdit

Let *G* be a connected, simply connected compact Lie group, for example the special unitary group SU(*n*), and let Γ be a finite subgroup of *G*. Then the homogeneous space *X* = *G*/Γ has fundamental group Γ, which acts by right multiplication on the universal covering space *G*. Among the many variants of this construction, one of the most important is given by locally symmetric spaces *X* = Γ\*G*/*K*, where

*G*is a non-compact simply connected, connected Lie group (often semisimple),*K*is a maximal compact subgroup of*G*- Γ is a discrete countable torsion-free subgroup of
*G*.

In this case the fundamental group is Γ and the universal covering space *G*/*K* is actually contractible (by the Cartan decomposition for Lie groups).

As an example take *G* = SL(2, **R**), *K* = SO(2) and Γ any torsion-free congruence subgroup of the modular group SL(2, **Z**).

From the explicit realization, it also follows that the universal covering space of a path connected topological group *H* is again a path connected topological group *G*. Moreover, the covering map is a continuous open homomorphism of *G* onto *H* with kernel Γ, a closed discrete normal subgroup of *G*:

Since *G* is a connected group with a continuous action by conjugation on a discrete group Γ, it must act trivially, so that Γ has to be a subgroup of the center of *G*. In particular π_{1}(*H*) = Γ is an abelian group; this can also easily be seen directly without using covering spaces. The group *G* is called the *universal covering group* of *H*.

As the universal covering group suggests, there is an analogy between the fundamental group of a topological group and the center of a group; this is elaborated at Lattice of covering groups.

## Edge-path group of a simplicial complexEdit

If *X* is a connected simplicial complex, an *edge-path* in *X* is defined to be a chain of vertices connected by edges in *X*. Two edge-paths are said to be *edge-equivalent* if one can be obtained from the other by successively switching between an edge and the two opposite edges of a triangle in *X*. If *v* is a fixed vertex in *X*, an *edge-loop* at *v* is an edge-path starting and ending at *v*. The **edge-path group** *E*(*X*, *v*) is defined to be the set of edge-equivalence classes of edge-loops at *v*, with product and inverse defined by concatenation and reversal of edge-loops.

The edge-path group is naturally isomorphic to π_{1}(|*X*|, *v*), the fundamental group of the geometric realisation |*X*| of *X*.^{[9]} Since it depends only on the 2-skeleton *X*^{2} of *X* (i.e., the vertices, edges, and triangles of *X*), the groups π_{1}(|*X*|,*v*) and π_{1}(|*X*^{2}|, *v*) are isomorphic.

The edge-path group can be described explicitly in terms of generators and relations. If *T* is a maximal spanning tree in the 1-skeleton of *X*, then *E*(*X*, *v*) is canonically isomorphic to the group with generators (the oriented edge-paths of *X* not occurring in *T*) and relations (the edge-equivalences corresponding to triangles in *X*). A similar result holds if *T* is replaced by any simply connected—in particular contractible—subcomplex of *X*. This often gives a practical way of computing fundamental groups and can be used to show that every finitely presented group arises as the fundamental group of a finite simplicial complex. It is also one of the classical methods used for topological surfaces, which are classified by their fundamental groups.

The *universal covering space* of a finite connected simplicial complex *X* can also be described directly as a simplicial complex using edge-paths. Its vertices are pairs (*w*,γ) where *w* is a vertex of *X* and γ is an edge-equivalence class of paths from *v* to *w*. The *k*-simplices containing (*w*,γ) correspond naturally to the *k*-simplices containing *w*. Each new vertex *u* of the *k*-simplex gives an edge *wu* and hence, by concatenation, a new path γ_{u} from *v* to *u*. The points (*w*,γ) and (*u*, γ_{u}) are the vertices of the "transported" simplex in the universal covering space. The edge-path group acts naturally by concatenation, preserving the simplicial structure, and the quotient space is just *X*.

It is well known that this method can also be used to compute the fundamental group of an arbitrary topological space. This was doubtless known to Eduard Čech and Jean Leray and explicitly appeared as a remark in a paper by André Weil;^{[10]} various other authors such as Lorenzo Calabi, Wu Wen-tsün, and Nodar Berikashvili have also published proofs. In the simplest case of a compact space *X* with a finite open covering in which all non-empty finite intersections of open sets in the covering are contractible, the fundamental group can be identified with the edge-path group of the simplicial complex corresponding to the nerve of the covering.

## RealizabilityEdit

- Every group can be realized as the fundamental group of a connected CW-complex of dimension 2 (or higher). As noted above, though, only free groups can occur as fundamental groups of 1-dimensional CW-complexes (that is, graphs).
- Every finitely presented group can be realized as the fundamental group of a compact, connected, smooth manifold of dimension 4 (or higher). But there are severe restrictions on which groups occur as fundamental groups of low-dimensional manifolds. For example, no free abelian group of rank 4 or higher can be realized as the fundamental group of a manifold of dimension 3 or less. It can be proved that every group can be realized as the fundamental group of a compact Hausdorff space if and only if there is no measurable cardinal.
^{[11]}

## Related conceptsEdit

The fundamental group measures the 1-dimensional hole structure of a space. For studying "higher-dimensional holes", the homotopy groups are used. The elements of the *n*-th homotopy group of *X* are homotopy classes of (basepoint-preserving) maps from **S**^{n} to *X*.

The set of loops at a particular base point can be studied without regarding homotopic loops as equivalent. This larger object is the loop space.

For topological groups, a different group multiplication may be assigned to the set of loops in the space, with pointwise multiplication rather than concatenation. The resulting group is the loop group.

### Fundamental groupoidEdit

It is convenient to consider a path in a space as given by a map where ; then are called the initial and final points of the path and is also called the length of . If also is a path such that then we can define a path to be on and on . This composition makes these paths in into a category. (In texts, this definition may be found in the books by Crowell and Fox, and by R. Brown, listed below.)

There are at least two ways of taking homotopy classes of such paths relative to the end points. Crowell and Fox use a continuous change of the *length*, while in *Topology and Groupoids* paths with the same endpoints are *equivalent* if there exist real numbers such that and are homotopic relative to their end points, where .

This construction yields not a group but a groupoid, the *fundamental groupoid* of the space.

More generally, one can consider the fundamental groupoid on a set *A* of base points, chosen according to the geometry of the situation; for example, in the case of the circle, which can be represented as the union of two connected open sets whose intersection has two components, one can choose one base point in each component. The exposition of this theory was given in the 1968, 1988 editions of the book now available as *Topology and groupoids*, which also includes related accounts of covering spaces and orbit spaces.

[...] people still obstinately persist, when calculating with fundamental groups, in fixing a single base point, instead of cleverly choosing a whole packet of points which is invariant under the symmetries of the situation, which thus get lost on the way. In certain situations (such as descent theorems for fundamental groups à la van Kampen) it is much more elegant, even indispensable for understanding something, to work with fundamental groupoids with respect to a suitable packet of base points [...]

## See alsoEdit

- Homotopy group, generalization of fundamental group
- Groupoid

There are also similar notions of fundamental group for algebraic varieties (the étale fundamental group) and for orbifolds (the orbifold fundamental group).

## NotesEdit

**^**Poincaré, Henri (1895). "Analysis situs".*Journal de l'École Polytechnique*. (2) (in French).**1**: 1–123. Translated in Poincaré, Henri (2009). "Analysis situs".*Papers on Topology: Analysis Situs and Its Five Supplements*(PDF). Translated by John Stillwell. pp. 18–99.**^**Hall 2015 Exercise 13.7**^**Proof: Given two loops in define the mapping by , multiplied pointwise in . Consider the homotopy family of paths in the rectangle from to which starts with the horizontal-then-vertical path, moves through various diagonal paths, and ends with the vertical-then-horizontal path. Composing this family with gives a homotopy , which shows the fundamental group is abelian. This proof applies to a general H-space, and related ideas lead to Heinz Hopf's computation of the cohomology of a Lie group.**^**Hall 2015 Proposition 13.8**^**Hall 2015 Proposition 13.10**^**Hall 2015 Corollary 13.18**^**Hall 2015 Example 13.45**^**Hall 2015 Section 13.3**^**Singer, Isadore; Thorpe, John A. (1967).*Lecture notes on elementary topology and geometry*. Springer-Verlag. p. 98. ISBN 0-387-90202-3.**^**André Weil,*On discrete subgroups of Lie groups*, Annals of Mathematics**72**(1960), 369-384.**^**Adam Przezdziecki, Measurable cardinals and fundamental groups of compact spaces, Fundamenta Mathematicae 192 (2006), 87-92 [1]

## ReferencesEdit

- Ronald Brown,
*Topology and groupoids*, Booksurge (2006). ISBN 1-4196-2722-8 available from amazon. - R.H. Crowell and Ralph Fox,
*Introduction to Knot Theory*, Springer, (1963) - Hall, Brian C. (2015),
*Lie Groups, Lie Algebras, and Representations: An Elementary Introduction*, Graduate Texts in Mathematics,**222**(2nd ed.), Springer, ISBN 978-3319134666 - Allen Hatcher,
*Algebraic Topology*, Cambridge University Press (2002) ISBN 0-521-79540-0 - Peter Hilton and Shaun Wylie,
*Homology Theory*, Cambridge University Press (1967) [warning: these authors use*contrahomology*for cohomology] - Richard Maunder,
*Algebraic Topology*, Dover (1996) ISBN 0-486-69131-4 - Deane Montgomery and Leo Zippin,
*Topological Transformation Groups*, Interscience Publishers (1955) - James Munkres,
*Topology*, Prentice Hall (2000) ISBN 0-13-181629-2 - Joseph J. Rotman,
*An Introduction to Algebraic Topology*, Springer-Verlag, ISBN 0-387-96678-1 - Rubei, Elena (2014),
*Algebraic Geometry, a concise dictionary*, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3 - Herbert Seifert and William Threlfall,
*A Textbook of Topology*(translated from German by Wolfgang Heil), Academic Press (1980), ISBN 0-12-634850-2 - Isadore Singer and John A. Thorpe,
*Lecture Notes on Elementary Geometry and Topology*, Springer-Verlag (1967) ISBN 0-387-90202-3 - Edwin Spanier,
*Algebraic Topology*, Springer-Verlag (1966) ISBN 0-387-94426-5 - "Fundamental group".
*PlanetMath*. - "Fundamental groupoid".
*PlanetMath*. - Weisstein, Eric W. "Fundamental group".
*MathWorld*.

## External linksEdit

Wikimedia Commons has media related to .Fundamental group |

- Dylan G.L. Allegretti,
*Simplicial Sets and van Kampen's Theorem*: A discussion of the fundamental groupoid of a topological space and the fundamental groupoid of a simplicial set - Animations to introduce fundamental group by Nicolas Delanoue
- Sets of base points and fundamental groupoids: mathoverflow discussion
- Groupoids in Mathematics