d`ُ A ¨£d§ a rÖ ¢ y¡ ¨ AK dt . F ©r w Cdk§ ¨§AA ©¢ql R ¢AFC § C HAmyny¡-a £Ag ،dJA CdA -a ¤d-R § M ¤ R ¨`Rw ¢ql E 2 ©¤As A§ rtkÙw .i = , 1, 2 ©r Exti R(R/a,M) w HAmyny A F A` M w ¤ ¤d-R § M ،R ¨`Rw ¢ql E 2 d`ُ A ¨£d§ a rÖ ¢ yn¨ A yncm¡ HAmyny Exti R(R/a,M) ،i ≤ t + 1 r¡ ©r ¢ ©CwV¢ dJA ¨fnA y} d § t w HAmyny A F A` i ≤ t − 1 r¡ ©r Hi a(M) w HAmyny¡-a £Ag ،dJA § C ¢ y¡ ¨ AK lW § E ©¢yt wn¢ .i ≤ t r¡ ©r Hom(R/a,Hi a(M)) i ≥ r¡ ©r H2i a (M) w HAmyny¡-a £Ag ،dJA HAmyny ¤d-R § M rÖ X§rJ Hi a(M) wHAmyny¡-a ©r ¨A ªrJ i ≥ r¡ ©r H2i+1 a (M) wHAmyny¡-a A§ .dJA¨ i ≥ r¡ ©r Aً¤z ¢) ¤d-R § M ¤ R ¢ql E ¨§A¡£d§ b ⊆ a rÖ ¢ y¡ ¨ AK ¢ C A` Hd a (M) ¨`Rw ©Òwwm¡w ¤d §r w ¨ny C £Ag ،dJA d d`ُ A )dw ¨¡Ant : Hd a (M) x ¢ ©CwV¢ dJA ¢tJ w¤ x ∈ a rÖ £Ñ§¤¢ . : Hd a (M) b w HAmyny A F C £AgK £dykÙ . F ¨ny C Hd a (M) £Ag ،dJA HAmyny km ، w ¨ny C w¤ A ¨`Rw ©Òwwm¡w ¤d §r ¢ y¡ ¨ AK A § A ¤ ¨ny C ©r ©EAFPK § A§AÓ C .dJAb ¨¡Ant¡ r\ Cw £d§ ¢ bs F .yn¨ ¢¶C ¨`Rw ©Òwwm¡w ¤d §r w ¨¡Ant¡