.. _Section 1.2:

1.2. Van Kampen's Theorem
=========================

|indent| The van Kampen theorem gives a method for computing the fundamental groups 
of spaces that can be decomposed into simpler spaces whose fundamental groups are
already known. By systematic use of this theorem one can compute the fundamental
groups of a very large number of spaces. We shall see for example that for every group
:math:`G` there is a space :math:`X_G` whose fundamental group is isomorphic to :math:`G`.

|indent| To give some idea of how one might hope to compute fundamental groups by
decomposing spaces into simpler pieces, let us look at an example. Consider the 
space :math:`X` formed by two circles :math:`A` and :math:`B` intersecting in a single point, which we
choose as the basepoint :math:`x_0`. By our preceding calculations we know that :math:`\pi_1(A)` is 
infinite cyclic, generated by a loop :math:`a` that goes once around :math:`A`.

.. image:: fig/infty.png
    :width: 25%
    :align: right

Similarly, :math:`\pi_1(B)` is a copy of :math:`\mathbb{Z}` generated by a loop :math:`b` going
once around :math:`B`. Each product of powers of :math:`a` and :math:`b` then gives
an element of :math:`\pi_1(X)`. For example, the product :math:`a^5b^2a^{-3}ba^2` is the loop that goes
five times around :math:`A`, then twice around :math:`B`, then three times around :math:`A` in the opposite
direction, then once around :math:`B`, then twice around :math:`A`. The set of all words like this 
consisting of powers of :math:`a` alternating with powers of :math:`b` forms a group usually denoted
:math:`\mathbb{Z}*\mathbb{Z}`. Multiplication in this group is defined just as one would expect, for example
:math:`(b^4 a^5 b^2 a^{-3})(a^4 b^{-1}ab^3) =  b^4a^5b^2ab^{-1}ab^3`. The identity element is the empty word,
and inverses are what they have to be, for example :math:`(ab^2a^{-3}b^{-4})^{-1} = b^4a^3b^{-2}a^{-1}`.
It would be very nice if such words in :math:`a` and :math:`b` corresponded exactly to elements of 
:math:`\pi_1(X)`, so that :math:`\pi_1(X)` was isomorphic to the group :math:`\mathbb{Z}*\mathbb{Z}`. The van Kampen theorem
will imply that this is indeed the case.

|indent| Similarly, if :math:`X` is the union of three circles touching at a single point, the van
Kampen theorem will imply that :math:`\pi_1(X)` is :math:`\mathbb{Z}*\mathbb{Z}*\mathbb{Z}`, the group consisting of words
in powers of three letters :math:`a,\,b,\,c`. The generalization to a union of any number of
circles touching at one point will also follow.

|indent| The group :math:`\mathbb{Z} * \mathbb{Z}` is an example of a general construction called the *free product* 
of groups. The statement of van Kampen's theorem will be in terms of free products,
so before stating the theorem we will make an algebraic digression to describe the
construction of free products in some detail.




.. toctree::
    free-products-of-groups
    the-van-kampen-theorem
    applications-to-cell-complexes
    exercises

.. |indent| raw:: html

    <span style="margin-left: 2em">