Since A to AI is surjective this is a presentation of AI by a polynomial algebra over A. 따라서 AI는 아모듈로서 의사 일관성이 있고 유한한 차원을 갖는다고 보는 것으로 충분합니다. By definition of a Koszul sequence the Koszul complex KA, f, ldots , f r is a finite free resolution of AI.