رسته آبلی
در ریاضیات، رسته آبلی (به انگلیسی: Abelian Category)، رسته‌ای است که ریخت‌ها و اشیاء آن را بتوان جمع کرد و در آن هسته‌ها و هم-هسته‌ها وجود داشته و خواص مطلوب را دارا می‌باشند. مثال ممتازی از یک رسته آبلی، رسته گروه‌های آبلی اند که با Ab نمایش داده می‌شود. این نظریه در تلاش جهت متحد کردن چندین نظریه کوهمولوژی توسط الکساندر گروتندیک نشأت گرفته و به‌طور مستقل توسط دیوید بوکسباوم نیز اندکی پیش از گروتندیک بدست آمد. رسته‌های آبلی، رسته‌های بسیار پایداری می‌باشند؛ به عنوان مثال این رسته‌ها منظم بوده و در لم مار صدق می‌کنند. کلاس رسته‌های آبلی تحت چندین ساختار رسته‌ای بسته‌اند، به عنوان مثال رسته مجتمع‌های زنجیره‌ای از یک رسته آبلی، یا رسته تابعگون‌های یک رسته کوچک به رسته آبلی نیز خود رسته‌هایی آبلی اند. این خواص پایداری موجب می‌شود تا کاربرد رسته‌های آبلی در جبر همولوژی و فراتر از آن اجتناب ناپذیر گردد؛ این نظریه دارای کاربردهای عمده‌ای در هندسه جبری، کوهمولوژی و نظریه رسته‌ها می‌باشد. رسته‌های آبلی را به نام نیلس هنریک آبل نامگذاری کرده‌اند.
تعاریف
ویرایشیک رسته را آبلی نامند اگر پیش-جمعی بوده و دارای خواص زیر باشد:
- شیء صفر داشته باشد،
- دارای تمام دو-ضرب‌های (biproducts) دوتایی باشد،
- دارای هسته و هم-هسته باشد و،
- تمام تک-ریختی‌ها و بروریختی‌های آن نرمال باشند.
تعریف فوق معادل با تعریف زیر است:[۱]
- یک رسته پیش-جمعی است اگر روی رسته مونوئیدی چون Ab از گروه‌های آبلی غنی شده باشد؛ یعنی تمام مجموعه‌های hom آن گروه‌های آبلی بوده و ترکیب ریخت‌ها نیز دوخطی باشد.
- یک رسته پیش-جمعی جمعی است اگر هر مجموعه متناهی از اشیاء، دارای دوضرب (biproduct) باشد. این بدین معنی است که می‌توانیم جمع‌های مستقیم و ضرب‌های مستقیم متناهی را تشکیل دهیم. در تعریف ۱.۲.۶ از Borceux[۲] این شرط گذاشته شده که یک رسته جمعی باید دارای شیء صفر باشد (دوضرب تهی).
- یک رسته جمعی را پیش-آبلی نامند اگر هر ریخت آن هردوی هسته و هم-هسته را دارا باشد.
- در نهایت یک رسته پیش-آبلی را آبلی گویند اگر هر تکریختی و هر بروریختی آن نرمال باشند. این بدان معنی است که هر تکریختی هسته‌ای از یک ریخت بوده و هر بروریختی نیز هم-هسته‌ای از یک ریخت می‌باشد.
ارجاعات
ویرایش- ↑ Peter Freyd, Abelian Categories
- ↑ Handbook of categorical algebra, vol. 2, F. Borceux
- مشارکت‌کنندگان ویکی‌پدیا. «Abelian Category». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۰ ژوئن ۲۰۲۱.
منابع
ویرایش- Buchsbaum, David A. (1955), "Exact categories and duality", Transactions of the American Mathematical Society, 80 (1): 1–34, doi:10.1090/S0002-9947-1955-0074407-6, ISSN 0002-9947, JSTOR 1993003, MR 0074407
- Freyd, Peter (1964), Abelian Categories, New York: Harper and Row
- Grothendieck, Alexander (1957), "Sur quelques points d'algèbre homologique", Tohoku Mathematical Journal, Second Series, 9: 119–221, doi:10.2748/tmj/1178244839, ISSN 0040-8735, MR 0102537
- Mitchell, Barry (1965), Theory of Categories, Boston, MA: Academic Press
- Popescu, Nicolae (1973), Abelian categories with applications to rings and modules, Boston, MA: Academic Press