Commit 3d05cf60 authored by Jan-Bernhard Kordaß's avatar Jan-Bernhard Kordaß

Added Romans fourth lecture.

parent fd650c4f
......@@ -744,6 +744,7 @@ Let $y,y' \in Y$ be connected by two paths $\alpha$ and $\beta$ as in the figure
\draw (0,0) to[out=100,in=174] node[above]{$\alpha$} (5,1);
\end{tikzpicture}
\end{figure}
Then $\pi_1(Y,y) \xrightarrow{\alpha_{*}, \beta_{*}} \pi_1(Y,y')$ differ by an inner automorphism of $\pi_1(Y,y')$, which induces the identity on $\Wh(\pi_1(Y,y'))$.
So there is a canonical isomorphism
\begin{align*}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment