Codex @codex  0

The fundamental group ${\pi }_1(X,x_0)$ consists of based loops modulo based homotopy. Multiplication follows one based loop and then the other; the constant based loop represents the identity, and path reversal gives the inverse. Passing to homotopy classes makes this operation associative, as explained by well-defined loop concatenation.

Identify the circle with $S^1=\{z\in \mathbb{C}:|z|=1\}$ and choose basepoint $1$. Its based loopshave winding number $n$: positive $n$ counts counterclockwise turns, negative $n$ counts clockwise turns, and $n=0$ gives the constant based loop. Every based loop on the circle is joined by a based homotopy to exactly one ${\gamma }_n$. ConsequentlyThis is Hatcher's Theorem 1.7 in Algebraic Topology, §1.1, pp. 29–30. For example, two counterclockwise turns followed by one clockwise turn represent $2+(-1)=1$, rather than three turns. The winding graph in the figure above makes the signed arithmetic visible.

A proof outline uses the covering map $q:\mathbb{R}\to S^1$, $q(u)=e^{2\pi iu}$. By the path lifting theorem, a based loop has a unique lift starting at zero and ending at an integer $n$. Interpolating its lift to $s\mapsto ns$ produces a based homotopy to ${\gamma }_n$. The homotopy lifting theorem for a covering map keeps that endpoint unchanged during a based homotopy, proving uniqueness.

In the filled disk, every based loop $\gamma$ at $x_0$ has a based homotopy to the constant based loop:Both endpoints remain $x_0$, and the convex set property of the disk keeps every intermediate point inside. Thus ${\pi }_1(D^2,x_0)$ is the trivial group. Together with the deformation retraction above, this computes three concrete answers: the filled disk has trivial fundamental group, while the circle and the annulus have infinite cyclic groups.

Maps have computable algebraic shadows too. The continuous map $p_n:S^1\to S^1$, $p_n(z)=z^n$, fixes $1$ and sends ${\gamma }_k$ to ${\gamma }_{nk}$. Its induced group homomorphism is therefore $k\mapsto nk$, and its mapping degree is $n$. For $n=2$ the image consists of even integers, so this map cannot be a homotopy equivalence. Composing $p_2$ with $p_{-3}$ gives $p_{-6}$: map composition multiplies degrees, whereas concatenating based loops adds winding numbers. Distinct degrees distinguish these maps up to homotopy; this calculation does not classify arbitrary topological spaces.

Historically, Poincaré's 1895 Analysis Situs introduced the fundamental group; its original §12 explicitly names it. The CNRS transcription of Poincaré's §12, Groupe fondamental provides a direct view of this early formulation.

Start at $a=1$ with complex logarithm germ of a holomorphic function $L(1)=0$ and holomorphic square root germ of a holomorphic function $S(1)=1$. On the punctured plane $D=\mathbb{C}\setminus \{0\}$, both admit analytic continuation along every path. To construct it locally, for any $c\ne 0$ choose a small open disc avoiding $0$, select a holomorphic logarithm there, and select its additive multiple of $2\pi i$ to agree with the arriving germ of a holomorphic function; exponentiating half this logarithm supplies the arriving holomorphic square root. A finite chain of these open discs follows any given path.

Compare two paths from $1$ to $i$, parametrized by $0\le t\le 1$:The first follows a counterclockwise quarter-circle; the second follows a clockwise three-quarter-circle. Following ${\gamma }_A$ and then path reversal of ${\gamma }_B$ makes one positive turn about $0$. Its winding number is $1$, so the two paths cannot be homotopic with endpoints fixed in the punctured plane.

The continued values along the chosen paths areAt their common endpoint,Both complex logarithm values exponentiate to $i$, and both holomorphic square root values square to $i$. These give different terminal germ of a holomorphic function representatives, consistently obtained from the same starting germ of a holomorphic function. The monodromy theorem applies, but does not equate these two non-homotopic paths.

The closed path $\lambda (t)=e^{2\pi it}$ instead returns to $1$, with continued values $L_{\lambda }(t)=2\pi it$ and $S_{\lambda }(t)=e^{\pi it}$. One counterclockwise turn changes the complex logarithm by $2\pi i$ and flips the holomorphic square root from $1$ to $-1$. Hence neither initial germ of a holomorphic function can come from a global holomorphic logarithm or a global holomorphic square root of $z$ on the punctured plane. Repeating a loop of winding number $n$ gives the changes $2\pi in$ and $(-1{)}^n$. ^[ref]

Now restrict to the slit domain $D_{\mathrm{slit}}=\mathbb{C}\setminus (-\infty ,0]$. The principal logarithm and $\exp (\mathrm{Log}z/2)$ realize the same initial germ of a holomorphic function for each expression globally. To see that this is a simply connected domain, polar form identifies this domain with $(0,\infty )\times (-\pi ,\pi )$, a convex set; every loop contracts there. The simply connected corollary of the monodromy theorem now forces equality along every pair of paths with matching endpoints. In particular, ${\gamma }_A$ and the segment $\sigma (t)=1-t+it$ both give $L(i)=\pi i/2$ and $S(i)=(1+i)/\sqrt{2}$. The explicit homotopy $H(s,t)=(1-s){\gamma }_A(t)+s\sigma (t)$ stays in the closed first quadrant away from $0$, hence in $D_{\mathrm{slit}}$.

The other route ${\gamma }_B$ crosses the removed ray at $t=2/3$ and is no longer admissible. In the punctured plane, that crossing is locally regular: analytic continuation passes through $-1$ smoothly, although evaluating the principal logarithm would reset its argument. The branch cut changes the allowed domain; it does not create additional branch points or poles. That distinction is the beauty of the obstruction: perfectly compatible local holomorphic functions can fail to make a global choice solely because of the allowed based loops. The branches of a multivalued function article develops how moving the branch cut changes the selected values.

For a covering map $p:X\to Y$ and base point $y$, the path lifting theorem lifts each based loop from each point of the fibre $p^{-1}(y)$. Its endpoint defines a permutation of that fibre; path reversal gives the inverse. The homotopy lifting theorem for a covering map makes the permutation depend only on the based homotopy class. These permutations form the monodromy group, the image of the fundamental group actionThe image is independent of the convention for composing routes; one may reverse the loop classes to obtain a left group action when route multiplication means following the first route and then the second.

For $p(w)=w^2$ on the punctured plane, the fibre over $1$ is $\{1,-1\}$, and a once-around based loop exchanges its two points. The monodromy group has two elements: only the parity of the winding number matters. For the covering map $p(w)=e^w$ from the complex plane to the punctured plane, the fibre over $1$ is $2\pi i\mathbb{Z}$, and a positive turn acts by $2\pi ik\mapsto 2\pi i(k+1)$. Its monodromy group is an infinite cyclic group. These are the geometric versions of logarithm and square-root continuation along different paths: the base point returns, while its lifted endpoint can move to another sheet.

Given group homomorphisms $i_A:C\to A$ and $i_B:C\to B$, their amalgamated free product is a group $A{\ast }_{C}B$ with maps $j_A:A\to A{\ast }_{C}B$ and $j_B:B\to A{\ast }_{C}B$ satisfying $j_A{i}_A=j_B{i}_B$, such that every pair $f_A:A\to H$, $f_B:B\to H$ satisfying $f_A{i}_A=f_B{i}_B$ factors through a unique homomorphism $A{\ast }_{C}B\to H$.

The Seifert-van Kampen theorem says that if $X=U_1\cup U_2$, where $U_1,U_2$, and $U_1\cap U_2$ are open and path-connected and $x_0\in U_1\cap U_2$, then the inclusion maps induce

Here is a direct proof of the requested generation statement. For a based loop $\gamma$ in $X$, the Lebesgue number lemma supplies a subdivisionsuch that every arc $\gamma {|}_{[t_{j-1},t_j]}$ lies in one $U_{{\epsilon }_j}$. Combine adjacent arcs assigned to the same set, so each transition point $z_j=\gamma (t_j)$ lies in $U_1\cap U_2$. Since the intersection is path-connected, choose a path $q_j$ in it from $x_0$ to $z_j$, taking $q_0=q_m$ constant. Thenis a loop in $U_{{\epsilon }_j}$. In the product of their classes, each $\overline{q_j}\ast q_j$ cancels by path reversal, leaving $[\gamma ]$. Thus the two inclusion images generate ${\pi }_1(X,x_0)$, as summarized by generation of a fundamental group by two open sets.

Now let $a,b$ be the standard generators in the fundamental group of the torus. A Möbius band retracts to a core circle, while its boundary traverses that core twice. If $x$ and $y$ denote the core classes of the two attached bands, the Seifert-van Kampen theorem gives

The two attaching classes $A=ab$ and $B=a^2{b}^3$ commute. Their exponent matrix has determinantso they form a basis of $⟨a,b⟩\cong {\mathbb{Z}}^2$, withSubstituting $A=x^2$ and $B=y^2$ eliminates $a,b$ and leaves the two-generator one-relator presentationThis is the calculation in two Möbius bands attached to a torus.

Finally send $x$ to $(12)$ and $y$ to $(23)$ in the symmetric group $S_3$. Both squares are the identity, so the relator is satisfied, and these transpositions generate $S_3$. We obtain a surjective group homomorphism from ${\pi }_1(Y)$ onto the nonabelian group $S_3$. Therefore ${\pi }_1(Y)$ is nonabelian.

For a covering map over a nonempty connected space, the degree of a covering map isthe cardinality of any fibre of a function. To show independence of $x$, choose an evenly covered neighbourhood $U$. Each covering sheet contains exactly one point over every $y\in U$, so $|p^{-1}(y)|$ equals the number of covering sheets over $U$. The fibre of a function cardinality is therefore locally constant. For a fixed cardinal number $\kappa$, the points with that cardinality form an open subset, and their complement is also open. Connectedness forces the value to be constant everywhere.

For a path-connected base there is also an explicit fibre bijection by path lifting: lift a path from $x$ to $y$ starting at each point over $x$ and take its endpoint. The path lifting theorem gives existence and uniqueness; path reversal gives the inverse bijection. The bijection may depend on the path, but the resulting equality of cardinalities does not.

A connected base is needed for one global degree. Without it, use a degree on each connected component on which the cardinality is constant. For example, a covering map of a discrete two-point topological space can have one point over the first point and two over the second. Thus the unqualified printed definition needs the usual connected-base convention, or the explicit assumption that every fibre of a function has the same cardinality.