Difference between revisions of "Proof that the fundamental group is actually a group/Outline/Picture"

From Maths
Jump to: navigation, search
(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@...")
 
m (Making slightly wider in the hope it'll not crumple)
 
Line 1: Line 1:
{| class="wikitable" border="1" style="margin:0px;overflow:hidden;max-width:28em;"
+
{| class="wikitable" border="1" style="margin:0px;overflow:hidden;max-width:32em;"
 
|-
 
|-
 
| <center><span style="font-size:1.15em;"><m>\xymatrix{
 
| <center><span style="font-size:1.15em;"><m>\xymatrix{

Latest revision as of 01:52, 6 November 2016

[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