Gabriel-Popesku teoremasi - Gabriel–Popescu theorem

Yilda matematika, Gabriel-Popesku teoremasi aniq uchun empirik teorema abeliya toifalari tomonidan kiritilgan Per Gabriel va Nikolae Popesku  (1964 ). Bu ma'lum abeliya toifalarini tavsiflaydi (The Grothendieck toifalari ) kabi takliflar ning modul toifalari.

Gabriel - Popesku teoremasining bir nechta umumlashtirilishi va o'zgarishlari mavjud Kun (1994) (uchun AB5 toifasi to'plami bilan generatorlar ), Lowen (2004), Porta (2010) (uchun uchburchak toifalari ).

Teorema

Ruxsat bering A bo'lishi a Grotendik toifasi (an AB5 toifasi generator bilan), G ning generatori A va R bo'lishi endomorfizmlar halqasi ning G; shuningdek, ruxsat bering S bo'lishifunktsiya dan A Mod- gaR (huquq toifasi) R-modullar) bilan belgilanadi S(X) = Uy (G,X). Keyin Gabriel - Popesku teoremasi buni ta'kidlaydi S bu to'liq va sodiq va bor aniq chap qo'shma.

Bu shuni anglatadiki A bu teng uchun Serre kotirovka toifasi Mod-R aniq tomonidan mahalliy kategoriya C. (Mod- ning mahalliylashtiruvchi kichik toifasiR to'liq pastki toifadir C Mod-R, o'zboshimchalik bilan yopilgan to'g'ridan-to'g'ri summalar, har qanday kishi uchun shunday qisqa aniq ketma-ketlik modullar , bizda ... bor M2 yilda C agar va faqat agar M1 va M3 ichida C. Modaning Serre qismiR Grothendieck toifasidagi har qanday mahalliylashtiruvchi kichik toifaga ko'ra.) Biz olishimiz mumkin C bo'lish yadro funktsiyaning chap qo'shimchasining S.

Ichki joylashtirishga e'tibor bering S ning A Mod- gaR bu chapga aniq lekin to'g'ri bo'lishi shart emas: morfizmlarning kokernellari A umuman Mod- dagi tegishli morfizmlarning kokernellariga to'g'ri kelmaydiR.

Adabiyotlar

  • Kastino Iglesias, Florensio; Enache, P .; Nestesesku, Konstantin; Torrecillas, Blas (2004), "Gabriel-Popescu va uning qo'llanmalariga o'xshash analog" Bulletin des Sciences Mathématiques, 128 (4): 323–332, doi:10.1016 / j.bulsci.2003.12.004, ISSN  0007-4497, JANOB  2052174
  • Gabriel, Per; Popesko, Nikola (1964), "Caractérisation des catégories abéliennes avec générateurs et limites inductives aniq", Les Comptes rendus de l'Académie des fanlar, 258: 4188–4190, JANOB  0166241 [Izoh: "Popesko" ushbu maqolada noto'g'ri yozilgan bo'lishi mumkin.]
  • Kuhn, Nicholas J. (1994), "Sonlu umumiy chiziqli guruhlar va Shtenrod algebrasining umumiy tasvirlari. I", Amerika matematika jurnali, 116 (2): 327–360, doi:10.2307/2374932, ISSN  0002-9327, JANOB  1269607
  • Louen, Vendi (2004), "Gabriel-Popesku teoremasini umumlashtirish", Sof va amaliy algebra jurnali, 190 (1): 197–211, doi:10.1016 / j.jpaa.2003.11.016, ISSN  0022-4049, JANOB  2043328
  • Mitchell, Barri (1981), "Gabriel-Popesko teoremasining tezkor isboti", Sof va amaliy algebra jurnali, 20 (3): 313–315, doi:10.1016/0022-4049(81)90065-7, ISSN  0022-4049, JANOB  0604322
  • Porta, Marko (2010), "Uchburchak toifalar uchun Popesku-Gabriel teoremasi", Matematikaning yutuqlari, 225 (3): 1669–1715, arXiv:0706.4458, doi:10.1016 / j.aim.2010.04.002, ISSN  0001-8708, JANOB  2673743

Tashqi havolalar