WikiDer > Abeliya toifasi

Quotient of an abelian category

Yilda matematika, miqdor (shuningdek, deyiladi Serre taklifi yoki Jabroil) ning abeliya toifasi ${ displaystyle { mathcal {A}}}$ tomonidan a Serre kichik toifasi ${ displaystyle { mathcal {B}}}$ abeliya toifasi ${ displaystyle { mathcal {A}} / { mathcal {B}}}$ intuitiv ravishda olingan ${ displaystyle { mathcal {A}}}$ e'tiborsiz qoldirish orqali (ya'ni nol) barchasi ob'ektlar dan ${ displaystyle { mathcal {B}}}$ . Kanonik mavjud aniq funktsiya ${ displaystyle Q yo'g'on ichak { mathcal {A}} dan { mathcal {A}} / { mathcal {B}}}$ uning yadrosi ${ displaystyle { mathcal {B}}}$ .

Ta'rif

Rasmiy ravishda, ${ displaystyle { mathcal {A}} / { mathcal {B}}}$ bo'ladi toifasi kimning narsalari shu narsadir ${ displaystyle { mathcal {A}}}$ va kimning morfizmlar dan X ga Y tomonidan berilgan to'g'ridan-to'g'ri chegara (ning abeliy guruhlari) ${ displaystyle varinjlim mathrm {Hom} _ { mathcal {A}} (X ', Y / Y')}$ ustida subobyektlar ${ displaystyle X ' subseteq X}$ va ${ displaystyle Y ' subseteq Y}$ shu kabi ${ displaystyle X / X ' in { cal {B}}}$ va ${ displaystyle Y ' in { cal {B}}}$ . (Bu yerda, ${ displaystyle X / X '}$ va ${ displaystyle Y / Y '}$ belgilash predmetlar hisoblangan ${ displaystyle { mathcal {A}}}$ .) Tarkibidagi morfizmlarning tarkibi ${ displaystyle { mathcal {A}} / { mathcal {B}}}$ tomonidan chaqiriladi universal mulk to'g'ridan-to'g'ri limit.

Kanonik funktsiya ${ displaystyle Q yo'g'on ichak { mathcal {A}} dan { mathcal {A}} / { mathcal {B}}}$ ob'ektni yuboradi X o'ziga va morfizmga ${ displaystyle f yo'g'on nuqta X dan Ygacha$ bilan to'g'ridan-to'g'ri chegaraning mos keladigan elementiga X ′ = X va Y = 0.

Misollar

Ruxsat bering ${ displaystyle k}$ bo'lishi a maydon va abeliya toifasini ko'rib chiqing ${ displaystyle { rm {Mod}} (k)}$ hammasidan vektor bo'shliqlari ustida ${ displaystyle k}$ . Keyin to'liq pastki toifa ${ displaystyle { rm {mod}} (k)}$ cheklangano'lchovli vektor bo'shliqlari - bu Serre-subkategori ${ displaystyle { rm {Mod}} (k)}$ . Miqdor ${ displaystyle { cal {{C} = { rm {Mod}} (k) / { rm {mod}} (k)}}}$ ob'ektlar sifatida ega ${ displaystyle k}$ -vektor bo'shliqlari va morfizmlar to'plami ${ displaystyle X}$ ga ${ displaystyle Y}$ yilda ${ displaystyle { cal {C}}}$ bu

{ displaystyle {k { text {-}} X { text {to}} Y } / {k { text {-}} X { text {dan}} Y gacha bo'lgan chiziqli xaritalar { text {cheklangan o'lchovli rasm bilan}} }}

(bu a vektor bo'shliqlarining miqdori). Bu barcha cheklangan o'lchovli vektor bo'shliqlarini 0 ga, ikkitasini aniqlashga ta'sir qiladi chiziqli xaritalar har doim ularning farqlari cheklangan o'lchovli bo'lsa rasm.

Xususiyatlari

Miqdor ${ displaystyle { mathcal {A}} / { mathcal {B}}}$ abeliya toifasi va kanonik funktsiya ${ displaystyle Q yo'g'on ichak { mathcal {A}} dan { mathcal {A}} / { mathcal {B}}}$ bu aniq. Ning yadrosi ${ displaystyle Q}$ bu ${ displaystyle { mathcal {B}}}$ , ya'ni, ${ displaystyle Q (X)}$ a nol ob'ekt ning ${ displaystyle { mathcal {A}} / { mathcal {B}}}$ agar va faqat agar ${ displaystyle X}$ tegishli ${ displaystyle { mathcal {B}}}$ .

Miqdor va kanonik funktsiya quyidagi universal xususiyat bilan tavsiflanadi: agar ${ displaystyle { mathcal {C}}}$ har qanday abeliya toifasi va ${ displaystyle F colon { mathcal {A}} to { mathcal {C}}}$ aniq funktsiyasidir ${ displaystyle F (X)}$ ning nol ob'ekti hisoblanadi ${ displaystyle { mathcal {C}}}$ har bir ob'ekt uchun ${ displaystyle X in { mathcal {B}}}$ , unda noyob aniq funktsiya mavjud ${ displaystyle { overline {F}} colon { mathcal {A}} / { mathcal {B}} to { mathcal {C}}}$ shu kabi ${ displaystyle F = { overline {F}} circ Q}$ .^[1]

Gabriel-Popesku

The Gabriel-Popesku teoremasi har qanday Grotendik toifasi ${ displaystyle { mathcal {A}}}$ kotirovka toifasiga tengdir ${ displaystyle operatorname {Mod} (R) / { cal {B}}}$ , qayerda ${ displaystyle operatorname {Mod} (R)}$ ba'zi birlari uchun to'g'ri modullarning abeliya toifasini bildiradi birlamchi uzuk ${ displaystyle R}$ va ${ displaystyle { cal {B}}}$ ba'zi mahalliy kategoriya ning ${ displaystyle operatorname {Mod} (R)}$ .^[2]

Adabiyotlar

^ Gabriel, Per, Desategoriyalar abeliennes, Buqa. Soc. Matematika. Frantsiya 90 (1962), 323-448.
^ N. Popesko, P. Gabriel (1964). "Caractérisation des catégories abéliennes avec générateurs et limites induktiv aniqligi". Comptes Rendus de l'Académie des Sciences. 258: 4188–4190.CS1 maint: mualliflar parametridan foydalanadi (havola)

Bu toifalar nazariyasibilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

[1] Gabriel, Per, Desategoriyalar abeliennes, Buqa. Soc. Matematika. Frantsiya 90 (1962), 323-448.

[2] N. Popesko, P. Gabriel (1964). "Caractérisation des catégories abéliennes avec générateurs et limites induktiv aniqligi". Comptes Rendus de l'Académie des Sciences. 258: 4188–4190.CS1 maint: mualliflar parametridan foydalanadi (havola)

[1]

[2]

Navigation