11.08.2013 Views

PhD Thesis

PhD Thesis

PhD Thesis

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Prueba. Del Corolario anterior tenemos que todo menor de orden c de la<br />

matriz C se escribe como combinación lineal de menores de orden c de la<br />

matriz B por lo tanto C ⊆ B. Como A es invertible de igual forma se prueba<br />

que B ⊆ C. <br />

A continiación veremos que el ideal jacobiano no depende de la base del<br />

módulo Ω1 R que se elija.<br />

Corolario A.50. La definición anterior del ideal jacobiano de I = 〈f1, . . . , fr〉<br />

no depende de la base de Ω 1 R que se tome. Es decir, si {e′ 1, . . . , e ′ m} es otra<br />

base del módulo Ω 1 R donde la matriz Jac(F ) = (f ′ i,j), entonces JF = J ′ F ,<br />

donde J ′ F es el ideal generados por los menores de orden c de la matriz (f ′ i,j).<br />

Prueba. Sea A : Ω1 → Ω1 la matriz de cambio de la base {e1, . . . , em} a<br />

la base {e ′ 1, . . . , e ′ m}, es decir A · ei = e ′ i. Notemos que A es invertible pues<br />

si definimos A ′ : Ω1 R → Ω1 R como A′ (e ′ i) = ei tenemos que A · A ′ = Id, y<br />

A ′ · A = Id.<br />

Por otro lado si<br />

m<br />

entonces<br />

dfj =<br />

k=1<br />

A(ej) = e ′ j =<br />

m<br />

i=1<br />

m m<br />

(<br />

f ′ i,je ′ i =<br />

i=1<br />

f ′ 1,1 f ′ 1,2 . . . f ′ 1,r<br />

. . . . . . . . . . . .<br />

f ′ m,1 f ′ m,2 . . . f ′ m,r<br />

m<br />

i=1<br />

i=1<br />

f ′ i,j(<br />

ak,if ′ i,j)ek =<br />

ai,jei<br />

m<br />

ak,iek) =<br />

k=1<br />

m<br />

k=1<br />

fk,jek.<br />

En lenguaje matricial esto significa tener la siguiente igualdad<br />

A·<br />

⎛<br />

⎝<br />

⎞<br />

⎠ =<br />

⎛<br />

⎝<br />

f1,1<br />

. . .<br />

f1,1<br />

. . .<br />

. . .<br />

. . .<br />

f1,r<br />

. . .<br />

fm,1 fm,2 . . . fm,r<br />

Donde A = (ai,j) es invertible y A(ej) = m<br />

i=1 ai,jei. Por lo tanto el Corolario<br />

A.49 con n = r prueba que<br />

JF (e1, . . . , em) = JF (e ′ 1, . . . , e ′ m).<br />

Notemos que no existe restricción sobre el número r con respecto a m.<br />

Es decir puede suceder que r sea igual, mayor o menor que m = dim(R)<br />

(ver Corolario A.47).<br />

184<br />

⎞<br />

⎠ .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!