زمان تقریبی مطالعه: 4 دقیقه
کمپلکسهای زنجیری و همولوژی
فرض کنید یکی از ردههای گروههای آبلی، مدولها یا فضاهای برداری، ها برای هر اشیایی در و ریختارهای در این رده به گونه زنجیر زیر داده شده باشند:
اگر رده گروههای آبلی، مدولها یا فضاهای برداری باشد ها به ترتیب همریختی گروهی، همریختی مدولی یا نگاشتهای خطی فضاهای برداری هستند.
چنین زنجیری از اشیا و ریختارها در رده یک کمپلکس زنجیری خوانده میشود اگر داشته باشیم: .
این شرط معادل این شرط است که: و چون در رده
خارج قسمتها قابل تعریف اند (در ردههای گروههای آبلی، مدولها و فضاهای برداری خارج قسمتها قابل تعریف میشوند) n اُمین همولوژی این کمپلکس را به صورت خارج قسمت زیر تعریف میکنیم: .
در اینجا به عنوان یکی گروه آبلی در نظر گرفته میشود ولی بسته به رده
، مدول یا فضای برداری نیز هست (اگر رده رده مدولها یا فضاهای برداری باشد).
مفهومهای مهم
یک زنجیر
را دنباله دقیق می نامیم اگر برای هر .
بنابراین دنبالههای دقیق، کمپلکسهای زنجیری هستند ولی عکس این مطلب درست نیست.
دنباله دقیق کوتاه
اگر زنجیر ما به صورت و یک دنباله دقیق باشد، آن را دنباله دقیق کوتاه می نامیم. توجه کنید که تعریف دنباله دقیق در بالا برای این حالت ایجاب میکند که زنجیر بالا یک دنباله دقیق کوتاه است اگر و تنها اگر: یک به یک، پوشا و . بنابراین، یک دنباله دقیق کوتاه، در حالت کلی به صورت زیر است:
یعنی داریم:
ریختارهای کمپلکسها و همولوژی
فرض کنید دو کمپلکس زنجیری و داده شده باشند. یک ریختار میان این دو کمپلکس عبارت است از یک دنباله از همریختیها برای هر
و
یک نمودار جابجایی باشد. جابجایی بودن نمودار بدین معنی است که:
برای هر .
در این صورت و
و این ریختار یک همریختی میان گروههای همولوژی به گونه روبرو تعریف میکند:
برای
منابع
- Joseph J. Rotman: An Introduction to Homological Algebra. 2nd Edition, Springer-Verlag, New York 2009
- Peter Hilton und Urs Stammbach: A course in homological algebra. 2nd Edition, Springer-Verlag, Graduate Texts in Mathematics, 1997