ｐ６２。

自由分解とは分解列のことです。分解列はホモロジー複体の完全列みたいなもんです。

h^r(HOM(K(f_1…f_r:O_p),ω_ｐ))は

ω_p)/((f_1,…,f_r)(ω_p))と等しい。ker(d^r)がω_pと同型、

im(d^(r-1))が(f_1,…、ｆ_r)(ω_p)と等しい。

ちょっと直感と違います。でもそうなるみたい。

((f_1)(ω_p))U((f_2)(ω_p))U…U((f_r)(ω_p))=(f_1,…、ｆ_r)(ω_p)より自明か。

ちょっと難しかったんで難解な文章になってしまいました。