11.08.2013 Views

PhD Thesis

PhD Thesis

PhD Thesis

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Definamos los módulos HHn(A) ˜ := HHn(A)<br />

secuencias exactas<br />

0<br />

0<br />

<br />

HC0(A) ˜<br />

<br />

HH1(A) ˜<br />

<br />

HC1(A) ˜<br />

como HC1(A) = 0 se sigue que<br />

HHn(A0)<br />

y HCn(A) ˜ := HCn(A)<br />

. De las<br />

HCn(A0)<br />

<br />

HC1(A) ˜<br />

<br />

HH2(A) ˜<br />

<br />

HC2(A) ˜<br />

HC0(A) ˜ ˜ HC2(A) ˜ HH2(A) ˜ HH1(A).<br />

Debido que A0 = k entonces HHn(A0) = 0 para todo n > 0. Esto significa<br />

que ˜ HHn(A) = HHn(A) para todo n > 0. Por lo tanto<br />

HC0(A) ˜ ˜ HC2(A)k HH2(A) HH1(A).<br />

El isomorfismo ˜<br />

HC0(A) HH1(A) prueba que HC0(A) = HC(A0)⊕HH1(A).<br />

Debido a que HC0(A0) ⊕ HH1(A) y A = HH0(A) son espacios vectoriales<br />

de igual dimensión entonces HC0(A) HH0(A).<br />

De la secuencia<br />

0<br />

<br />

HC2(A) ˜<br />

<br />

HH3(A)<br />

0 <br />

HC3(A)k<br />

˜<br />

como dimk( ˜ HC2(A)) = dimk(HH2(A)) = dimk(HHn(A)) para todo n > 0<br />

entonces ˜ HC3(A) = 0.<br />

Admitamos como hipótesis inductiva que ˜ HCn(A) HHn(A) para n par<br />

y ˜ HCn+1 = 0. De la secuencia exacta<br />

0<br />

<br />

HCn+1(A) ˜<br />

0 <br />

HHn+2(A) <br />

HCn+2(A) ˜<br />

como ˜<br />

HCn+1(A) = 0, por hipótesis inductiva, entonces HCn+2(A) HHn+2(A).<br />

Finalmente de la secuencia<br />

0<br />

<br />

HCn+2(A) ˜<br />

<br />

HHn+3(A)<br />

0 <br />

HCn+3(A) ˜<br />

como dimk( ˜ HCn+2(A)) = dimk(HHn+2(A)) = dimk(HHn+3) entonces ˜ HCn+3(A) =<br />

0. Esto finaliza la prueba de inducción. Como HC0(A) = HH0(A) de la<br />

ecuación<br />

HCn(A) = HCn(A0) ⊕ ˜ HCn(A)<br />

20<br />

<br />

0<br />

<br />

0<br />

<br />

0,<br />

<br />

0<br />

<br />

0

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

Saved successfully!

Ooh no, something went wrong!