Fundamental Group

The fundamental group of an arcwise-connected set 👁 X
is the group formed by the sets of equivalence classes of the set of all loops, i.e., paths with initial and final points at a given basepoint 👁 p
, under the equivalence relation of homotopy. The identity element of this group is the set of all paths homotopic to the degenerate path consisting of the point 👁 p
. The fundamental groups of homeomorphic spaces are isomorphic. In fact, the fundamental group only depends on the homotopy type of 👁 X
. The fundamental group of a topological space was introduced by Poincaré (Munkres 1993, p. 1).

The following is a table of the fundamental group for some common spaces 👁 S
, where 👁 pi_1(S)
denotes the fundamental group, 👁 H_1(S)
is the first integral homology group, 👁 ×
denotes the group direct product, 👁 *
denotes the free product, 👁 Z
denotes the ring of integers, and 👁 Z_n
is the cyclic group of order 👁 n
.

The group product 👁 a*b
of loop 👁 a
and loop 👁 b
is given by the path of 👁 a
followed by the path of 👁 b
. The identity element is represented by the constant path, and the inverse of 👁 a
is given by traversing 👁 a
in the opposite direction. The fundamental group is independent of the choice of basepoint because any loop through 👁 p
is homotopic to a loop through any other point 👁 q
. So it makes sense to say the "fundamental group of 👁 X
."

The diagram above shows that a loop followed by the opposite loop is homotopic to the constant loop, i.e., the identity. That is, it starts by traversing the path 👁 a
, and then turns around and goes the other way, 👁 a^(-1)
. The composition is deformed, or homotoped, to the constant path, along the original path 👁 a
.

A space with a trivial fundamental group (i.e., every loop is homotopic to the constant loop), is called simply connected. For instance, any contractible space, like Euclidean space, is simply connected. The sphere is simply connected, but not contractible. By definition, the universal cover 👁 X^~
is simply connected, and loops in 👁 X
lift to paths in 👁 X^~
. The lifted paths in the universal cover define the deck transformations, which form a group isomorphic to the fundamental group.

The underlying set of the fundamental group of 👁 X
is the set of based homotopy classes from the circle to 👁 X
, denoted 👁 [S^1,X]
. For general spaces 👁 X
and 👁 Y
, there is no natural group structure on 👁 [X,Y]
, but when there is, 👁 X
is called a co-H-space. Besides the circle, every sphere 👁 S^n
is a co-H-space, defining the homotopy groups. In general, the fundamental group is non-Abelian. However, the higher homotopy groups are Abelian. In some special cases, the fundamental group is Abelian. For example, the animation above shows that 👁 a*b=b*a
in the torus. The red path goes before the blue path. The animation is a homotopy between the loop that goes around the inside first and the loop that goes around the outside first.

Since the first integral homology 👁 H_1(X,Z)
of 👁 X
is also represented by loops, which are the only one-dimensional objects with no boundary, there is a group homomorphism

which is surjective. In fact, the group kernel of 👁 alpha
is the commutator subgroup and 👁 alpha
is called Abelianization.

The fundamental group of 👁 X
can be computed using van Kampen's theorem, when 👁 X
can be written as a union 👁 X= union _iX_i
of spaces whose fundamental groups are known.

When 👁 f:X->Y
is a continuous map, then the fundamental group pushes forward. That is, there is a map 👁 f_*:pi_1(X)->pi_1(Y)
defined by taking the image of loops from 👁 X
. The pushforward map is natural, i.e., 👁 (f degreesg)_*=f_* degreesg_*
whenever the composition of two maps is defined.

See also

Cayley Graph, Connected Set, Deck Transformation, Co-H-Space, Homology, Homotopy Group, Group, Milnor's Theorem, Universal Cover, van Kampen's Theorem

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

References

Hatcher, A. Algebraic Topology. Cambridge, England: Cambridge University Press, 2006.Munkres, J. R. Elements of Algebraic Topology. New York: Perseus Books Pub., 1993.

Referenced on Wolfram|Alpha

Fundamental Group

Cite this as:

Rowland, Todd and Weisstein, Eric W. "Fundamental Group." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/FundamentalGroup.html

Subject classifications