Professional Documents
Culture Documents
04 VanKampen
04 VanKampen
Exemples:
• Un grup abelià lliure de rang 2 (és a dir, Z2 ) ve donat per ha, b | aba−1 b−1 i.
G1 ∗ G2 = hA1 , A2 | R1 , R2 i.
8
Aquest grup no depèn de les presentacions escollides per a G1 i G2 . De fet, està
caracteritzat, llevat d’isomorfisme, per la propietat universal següent: per a cada
parell de morfismes α1 : G1 → H, α2 : G2 → H on H és un grup qualsevol, existeix
un únic morfisme α : G1 ∗G2 → H tal que α◦ι1 = α1 i α◦ι2 = α2 , on ι1 : G1 → G1 ∗G2
i ι2 : G2 → G1 ∗ G2 són les inclusions canòniques.
Aquesta és la propietat caracterı́stica del coproducte (o suma) en qualsevol cate-
goria. Per tant, el producte lliure de grups és el coproducte en la categoria de grups
i té propietats exactament duals de les del producte G1 × G2 amb les projeccions
canòniques π1 : G1 × G2 → G1 , π2 : G1 × G2 → G2 .
Un grup lliure amb n generadors és el producte lliure de n grups cı́clics infinits:
n
F (a1 , . . . , an ) = ha1 , . . . , an | i ∼
= Z ∗ · · · ∗ Z.
π(X, x0 ) ∼
= ha1 , . . . , an , b1 , . . . , bm | r1 , . . . , rk , s1 , . . . , sl ,
α(c1 )β(c1 )−1 , . . . , α(cp )β(cp )−1 i,
• Si (X, x0 ) i (Y, y0 ) són espais amb punt base i en cadascun d’ells el punt
base és un retracte de deformació fort d’un entorn contràctil, llavors el grup
fonamental π(X ∨ Y, x0 ) és isomorf al producte lliure π(X, x0 ) ∗ π(Y, y0 ).
9
• Si un espai X s’obté adjuntant una 2-cel·la a una unió puntual S 1 ∨ · · · ∨ S 1
de n circumferències amb punt base x0 , llavors π(X, x0 ) ∼ = ha1 , . . . , an | wi, on
w ∈ F (a1 , . . . , an ) és la paraula corresponent a la classe d’homotopia [f ] de
l’aplicació d’adjunció f : S 1 → S 1 ∨ · · · ∨ S 1 de la 2-cel·la.
i cadascun d’aquests factors és un element de ϕ(π(U, x0 )) o bé de ψ(π(V, x0 )). Això
demostra que π(X, x0 ) està generat per les imatges de ϕ i ψ. Per tant, si {a1 , . . . , an }
és un conjunt de generadors de π(U, x0 ) i {b1 , . . . , bm } ho és de π(V, x0 ), llavors
{ϕ(a1 ), . . . , ϕ(an ), ψ(b1 ), . . . , ψ(bm )} és un conjunt de generadors de π(X, x0 ), que
escrivim com {a1 , . . . , an , b1 , . . . , bm } per abús de notació. A més, totes les relacions
de π(U, x0 ) i π(V, x0 ) són relacions a π(X, x0 ), ja que ϕ i ψ són morfismes de grups.
D’altra banda, com que ϕ ◦ α = ψ ◦ β, tenim que, si c1 , . . . , cp són generadors
de π(U ∩ V, x0 ), es compleix ϕ(α(cj )) = ψ(β(cj )) per a tot j ∈ {1, . . . , p}. Per tant,
α(cj )β(cj )−1 són relacions a π(X, x0 ). Per acabar la demostració, només falta veure
que tota relació a π(X, x0 ) és un producte de les relacions que ja hem considerat.
Suposem que Aε11 Aε22 · · · Aεrr és una relació a π(X, x0 ), on Ak = aik o bé Ak = bik
per a cada k ∈ {1, . . . , r}, i on cada exponent εk és 1 o −1 (podem aconseguir això
posant, per exemple, AAA en comptes de A3 ). Llavors, per a cada k, escollim un
camı́ tancat ωk amb origen i final x0 tal que [ωk ] = Ak i que estigui contingut a U
si Ak = aik o bé a V si Ak = bik . Diem ω a la composició ω1ε1 ∗ · · · ∗ ωrεr , on ωk−1 vol
dir el camı́ invers ω̄k . Aquest camı́ ω és contràctil a X, ja que [ω] = Aε11 Aε22 · · · Aεrr i
estem suposant precisament que Aε11 Aε22 · · · Aεrr = 1 a π(X, x0 ).
10
Escollim una homotopia (relativa als extrems) H : I × I → X de ω al camı́
constant en el punt x0 . Podem dividir el quadrat I × I en quadradets prou petits
per tal que la imatge per H de cadascun d’ells quedi a dins de U o bé a dins de V
(de manera anàloga a com ho hem fet amb I a la primera part). Per a cada vèrtex
v de cadascun d’aquests quadradets, escollim un camı́ γv de x0 a H(v) contingut a
U si H(v) ∈ U , contingut a V si H(v) ∈ V , i contingut a U ∩ V si H(v) ∈ U ∩ V
(aquı́ fem servir la hipòtesi que U , V i U ∩ V són arc-connexos). Escollim sempre γv
constant a x0 en cas que H(v) = x0 . D’aquesta manera podem descompondre [ω]
com un producte [τ1 ] · · · [τN ] on cada llaç τj és la imatge d’un segment [tj−1 , tj ] de la
base del quadrat I × I, entenent que anem i tornem per γtj−1 i γ̄tj respectivament.
Per a cada quadradet de la subdivisió de I × I, si anomenem φ1 , φ2 als camins
definits pels costats inferior i superior respectivament, i ψ1 , ψ2 als camins definits
pels costats esquerre i dret respectivament, tenim que φ1 ∗ ψ2 ' ψ1 ∗ φ2 a U o bé
a V . Per tant, [φ1 ] = [ψ1 ][φ2 ][ψ2 ]−1 a π(U, x0 ) o bé a π(V, x0 ), i aquesta igualtat ens
dóna una relació [ψ1 ][φ2 ][ψ2 ]−1 [φ1 ]−1 a π(U, x0 ) o bé a π(V, x0 ).
En cas que dos quadradets amb un costat comú s’apliquin l’un a U i l’altre a V ,
el camı́ η definit pel costat comú estarà contingut a U ∩ V i per tant els elements
α([η]) de π(U, x0 ) i β([η]) de π(V, x0 ) s’aplicaran a un mateix element de π(X, x0 ).
Això donarà una relació de la forma α(c)β(c)−1 amb c ∈ π(U ∩ V, x0 ).
En definitiva, si η1 , . . . , ηq és el conjunt de tots els camins definits per costats
comuns de parells de quadradets veı̈ns a I × I que s’apliquen l’un a U i l’altre a V ,
llavors [τ1 ] · · · [τN ] es podrà expressar com un producte de les relacions
juntament amb relacions a π(U, x0 ) i a π(V, x0 ) intercalades. Encara més: les rela-
cions α(c)β(c)−1 amb c ∈ π(U ∩ V, x0 ) es deriven totes de les relacions corresponents
a un conjunt {c1 , . . . , cp } de generadors de π(U ∩ V, x0 ) mitjançant productes i con-
jugacions, ja que
11