Lagmental Vicfred

The Circle Has Fundamental Group Z by Winding Number by Vicfred

tags: mathematics, fundamental groups, covering spaces, van Kampen theorem

Lifting a loop in the circle to the real line records an integer endpoint displacement. The point is to make the formal expression readable enough to audit line by line.

Notation

The fundamental group \(\pi_1(X,x_0)\) records based loops modulo based homotopy. A covering map \(p:\widetilde X\to X\) turns loop classes into endpoint data upstairs.

$$ p:\mathbf R\to S^1,\qquad p(t)=e^{2\pi it} $$

The formulas should not be merged too early. The datum \(\mathsf D\), the conclusion \(\mathsf C\), and the bridge \(\Longrightarrow\) have three different logical jobs.

$$ \pi_1(S^1,1)\cong\mathbf Z $$

Stress the formula

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ \widetilde\gamma(0)=0,\qquad p\circ\widetilde\gamma=\gamma,\qquad\operatorname{wind}(\gamma)=\widetilde\gamma(1)\in\mathbf Z $$

Interpretation

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad p:\mathbf R\to S^1,\qquad p(t)=e^{2\pi it},\\[5pt] \mathsf{C}\;&:\quad \pi_1(S^1,1)\cong\mathbf Z. \end{aligned} $$

Limit of the argument

Basepoints matter for literal homomorphisms. Changing basepoint produces an isomorphism only after choosing a path, and the choice is visible up to conjugation.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \pi_1(S^1,1)\cong\mathbf Z \end{gathered}} $$

The result is compact enough to reuse without pretending that the caveat has disappeared. The worked line remains the quickest consistency check.

This article was posted on Thu 16 October 2025. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.