فرض کنیم
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image001.png)
یک ایدهآل از حلقۀ نوتری
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image002.png)
و
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image003.png)
و
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image004.png)
دو
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image002.png)
- مدول متناهیمولد باشند. در این مقاله
ایدهآلهای اول چسبیدۀ آخرین مدول ناصفر کوهمولوژی موضعی را بررسی میکنیم. در ابتدا ثابت میکنیم اگر
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image003.png)
یک
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image005.png)
مدول متناهیمولد ناصفر باشد و
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image006.png)
آنگاه
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image007.png)
در ادامه ثابت میکنیم اگر
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image003.png)
یک
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image002.png)
- مدول متناهیمولد ناصفر با بعد تصویری
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image009.png)
و
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image010.png)
یک
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image002.png)
- مدول متناهیمولد ناصفر با
بعد همولوژیک
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image011.png)
باشد،
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image008.png)
آنگاه
و
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image013.png)
همچنین نشان میدهیم تساوی
![](file:///C:UsersrezaeiAppDataLocalTempmsohtmlclip11clip_image014.png)
تحت شرایطی خاص برقرار است.
نوع مطالعه:
مقاله مستقل |
موضوع مقاله:
جبر دریافت: 1400/3/5 | ویرایش نهایی: 1402/11/30 | پذیرش: 1401/2/2 | انتشار: 1402/10/10 | انتشار الکترونیک: 1402/10/10