Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Prueba. Notemos que Ω 1 A tiene una estructura de A módulo, pues Ω1 A0 y<br />
Ω 1 ∧V tienen estructura de A0 y ∧V módulos respectivamente, donde Ω 1 A0<br />
tiene grado uno. Ahora definamos la siguiente aplicación d : A −→ Ω 1 A como<br />
d(a ⊗ v) = da ⊗ v + a ⊗ dv.Veamos que d sea una derivación. En efecto, de<br />
las igualdades<br />
d(a ⊗ v · b ⊗ w) = dDR(ab) ⊗ vw + ab ⊗ dDR(vw) =<br />
d(a)b ⊗ vw + ad(b) ⊗ vw + ab ⊗ d(v)w + (−1) |v| ab ⊗ vd(w) =<br />
d(a)⊗v·b⊗w+a⊗d(v)·b⊗w+(−1) |v| a⊗v·d(b)⊗w+(−1) |v| a⊗v·b⊗d(w) =<br />
d(a ⊗ v) · b ⊗ w + (−1) |v| a ⊗ v · d(b ⊗ w);<br />
tenemos que d es una derivación según se define en [Vi]. A continuación<br />
veremos que d cumple la propiedad universal. En el diagrama<br />
A0<br />
<br />
D<br />
A<br />
<br />
id⊗1 <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
d <br />
<br />
<br />
d <br />
<br />
Ω1 <br />
<br />
<br />
<br />
<br />
∃!f<br />
<br />
1<br />
A0 Ω<br />
id⊗1 A<br />
claramente A0 ↩→ A y Ω1 A0 ↩→ Ω1A (pues k es un cuerpo). Es decir D induce<br />
una derivación d1 = D ◦ (id ⊗ 1) sobre A0 y por la propiedad universal<br />
existe una única aplicación f1 : Ω1 −→ M. El mismo análisis para ∧V nos<br />
A0<br />
proporciona f2 : Ω1 ∧V −→ M. Definamos f : Ω1A −→ M como f(adb ⊗ v) =<br />
f1(bda)v, f(a ⊗ dv) = af2(v), y como f(d(a) ⊗ v + a ⊗ d(v)) = f1d(a)v +<br />
af2d(v) = D(a ⊗ 1)v + aD(1 ⊗ v) = D(a ⊗ v), el diagrama<br />
A <br />
<br />
d <br />
D <br />
Ω1 <br />
<br />
<br />
<br />
<br />
∃!f<br />
A<br />
conmuta. La unicidad se sigue del hecho que f restricto a cada uno de los<br />
sumandos es único por la propiedad universal de ΩA0 y Ω 1 ∧V respectivamente.<br />
M<br />
Lema 1.94. En ∧V ⊗ ∧V ⊗ ∧V existe un diferencial<br />
M<br />
δ : ∧V ⊗ ∧ p V ⊗ ∧V −→ ∧V ⊗ ∧ p−1 V ⊗ ∧V,<br />
37