Proof that the fundamental group is actually a group/Outline/Picture

From Maths
< Proof that the fundamental group is actually a group‎ | Outline
Revision as of 16:44, 4 November 2016 by Alec (Talk | contribs) (Created page with "{| class="wikitable" border="1" style="margin:0px;overflow:hidden;max-width:28em;" |- | <center><span style="font-size:1.15em;"><m>\xymatrix{ \Omega(X,b)\times\Omega(X,b) \ar@...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
[ilmath]\xymatrix{ \Omega(X,b)\times\Omega(X,b) \ar@2{->}[d]_{(\pi,\pi)} \ar[rr]^-{*} \ar@/^3.5ex/[drr]^(.75){\pi\circ *} & & \Omega(X,b) \ar[d]^{\pi} \\ \pi_1(X,b)\times\pi_1(X,b) \ar@{.>}[rr]_-{\overline{*} } & & \pi_1(X,b) }[/ilmath]
Factoring [ilmath]*[/ilmath] (loop concatenation) setup