Комутативна алгебра

У апстрактној алгебри, комутативна алгебра проучава комутативне прстене, њихове идеале, и модуле над таквим прстенима. И алгебарска геометрија и алгебарска теорија бројева су засноване на комутативној алгебри.^[1]^[2] Битни примери комутативних прстена укључују полиномијалне прстене и алгебарске целе бројеве.

Комутативна алгебра је главни технички алат у локалном проучавању шема.

Проучавање прстена који нису обавезно комутативни је познато као некомутативна алгебра; она укључује теорију прстена, теорију репрезентације, и теорију Банахових алгебри.

Преглед

Комутативна алгебра је у суштини проучавање прстенова који се јављају у алгебарској теорији бројева и алгебарској геометрији.

У алгебарској теорији бројева, прстенови алгебарских целих бројева су Дедекиндови прстенови, који стога чине важну класу комутативних прстенова. Разматрања везана за модуларну аритметику довела су до идеје прстена за процену вредности. Ограничење проширења алгебарског поља на подпрстенове довело је до појмова интегралних екстензија и интегрално затворених домена, као и до појма гранања екстензије валуационих прстенова.

Појам локализације прстена (посебно локализација у односу на примарни идеал, локализација које се састоје у инвертовању једног елемента и укупног количника прстена) је једна од главних разлика између комутативне алгебре и теорије некомутативних прстенова. То доводи до важне класе комутативних прстенова, локалних прстенова који имају само један максимални идеал. Скуп примарних идеала комутативног прстена природно је опремљен топологијом, топологијом Зариски. Сви ови појмови се широко користе у алгебарској геометрији и основни су технички алати за дефинисање теорије шема, генерализације алгебарске геометрије коју је увео Гротендик.

Многи други појмови комутативне алгебре су пандани геометријских појмова који се јављају у алгебарској геометрији. Ово је случај Крулове димензије, примарне декомпозиције, регуларних прстенова, Коен–Маколијевих прстенова, Горенштајнових прстенова и многих других појмова.

Историја

Предмет, прво познат као теорија идеала,^[3] започет је радом Ричарда Дедекинда о идеалима, који је и сам заснован на ранијим радовима Ернста Кумера и Леополда Кронекера. Касније је Дејвид Хилберт увео термин прстен да би генерализовао ранији термин бројни прстен. Хилберт је увео апстрактнији приступ да замени конкретније и рачунарски оријентисане методе засноване на стварима као што су комплексна анализа и класична теорија инваријанта.^[4]^[5]^[6] Заузврат, Хилберт је снажно утицао на Еми Ноетер, која је многе раније резултате преиначила у смислу стања узлазног ланца,^[7]^[8]^[9] сада познатог као Нетеров услов. Друга важна прекретница био је рад Хилбертовог ученика Емануела Ласкера, који је увео примарне идеале и доказао прву верзију Ласкер-Нотерове теореме.^[10]^[11]^[12]

Главна фигура одговорна за рађање комутативне алгебре као зрелог субјекта био је Волфганг Крул,^[13]^[14]^[15] који је увео основне појмове локализације и комплетирања прстена, као и регуларних локалних прстенова. Он је успоставио концепт Крулове димензије прстена,^[16] прво за Нетерове прстенове пре него што је наставио да прошири своју теорију на опште вредновање прстенова и Крулове прстенове. До данас, теорема Крулових главних идеала се широко сматра најважнијом темељном теоремом у комутативној алгебри. Ови резултати су утрли пут за увођење комутативне алгебре у алгебарску геометрију, идеја која би револуционирала овај други предмет.

Велики део савременог развоја комутативне алгебре ставља нагласак на модуле. Оба идеала R-алгебре прстена и R-алгебре су посебни случајеви R-модула, тако да теорија модула обухвата и теорију идеала и теорију проширења прстена. Иако је већ био у зачетку у Кронекеровом раду, савремени приступ комутативној алгебри који користи теорију модула се обично приписује Крулу и Нотеру.^[17]

Главни алати и резултати

Нетерови прстенови

У математици, тачније у области модерне алгебре познате као теорија прстенова, Нетеров прстен, названи по Еми Нетер, је прстен у којем сваки непразан скуп идеала има максимални елемент. Еквивалентно, прстен је Нетеров ако задовољава услов узлазног ланца на идеалима; то јест, с обзиром на било који ланац:^[18]

I_{1}\subseteq \cdots I_{k-1}\subseteq I_{k}\subseteq I_{k+1}\subseteq \cdots

постоји n такво да:

I_{n}=I_{n+1}=\cdots

Да би комутативни прстен био Нетеров, довољно је да је сваки примарни идеал прстена коначно генерисан. (Овај резултат је заслуга И. С. Кохена.)

Појам Нетеровог прстена је од фундаменталног значаја у комутативној и у некомутативној теорији прстена, због улоге коју има у поједностављивању идеалне структуре прстена. На пример, прстен целих бројева и полиномски прстен над пољем су Нетерови прстенови, и према томе, такве теореме као што су Ласкер–Нетерова теорема, Крулова теорема пресека и Хилбертова теорема основе важе за њих. Штавише, ако је прстен Нетеров, онда он задовољава услов опадајућег ланца на простим идеалима. Ово својство сугерише дубоку теорију димензија за Нетерове прстенове почевши од појма Крулове димензије.

Хилбертова теорема основа

Teorema — Ако је R леви (односно десни) Нетеров прстен, онда је полиномски прстен R[X] такође леви (односно десни) Нетеров прстен.

Хилбертова теорема основа има неке непосредне последице:

Индукцијом се може показати да је $R[X_{0},\dotsc ,X_{n-1}]$ такође бити Нетеров.
Пошто се било која афина варијанта над $R^{n}$ (тј. локусни скуп колекције полинома) може написати као локус идеала ${\mathfrak {a}}\subset R[X_{0},\dotsc ,X_{n-1}]$ и даље као локус његових генератора, те следи да је свака афина варијанта локус коначног броја полинома – тј. пресек коначног броја хиперповршина.
Ако је $A$ коначно генерисана $R$ -алгебра, онда се зна да је $A\simeq R[X_{0},\dotsc ,X_{n-1}]/{\mathfrak {a}}$ , где је ${\mathfrak {a}}$ идеалан. Основна теорема имплицира да ${\mathfrak {a}}$ мора бити коначно генерисано, рецимо ${\mathfrak {a}}=(p_{0},\dotsc ,p_{N-1})$ , тј. $A$ је коначно представљено.

Примарна декомпозиција

За идеал Q прстена се каже да је примаран ако је Q прави и кад год је xy ∈ Q, или x ∈ Q или yⁿ ∈ Q за неки позитиван цео број n. У Z, примарни идеали су управо идеали облика (p^e) где је p прост, а e позитиван цео број. Дакле, примарна декомпозиција (n) одговара репрезентацији (n) као пресека коначног броја примарних идеала.^[19]

Ласкер-Нетерова теорема, овде дата, може се посматрати као извесна генерализација основне аритметичке теореме:^[20]

Ласкер-Нетерова теорема — Нека је R комутативни Нетеров прстен и нека је I идеал R. Тада се I може написати као пресек коначног броја примарних идеала са различитим радикалима; стога је:

I=\bigcap _{i=1}^{t}Q_{i}

са Q_i примаран за свако i и Rad(Q_i) ≠ Rad(Q_j) за i ≠ j. Штавише, ако је:

I=\bigcap _{i=1}^{k}P_{i}

је декомпозиција I са Rad(P_i) ≠ Rad(P_j) за i ≠ j, а обе декомпозиције I су иредундантне (што значи да нема одговарајућег подскупа било {Q₁, ..., Q_t} или {P₁, ..., P_k} који даје пресек једнак I), t = k и (након евентуалног пренумерисања Q_i) Rad(Q_i) = Rad(P_i) за свако i.

За било коју примарну декомпозицију I, скуп свих радикала, односно скуп {Rad(Q₁), ..., Rad(Q_t)} остаје исти према Ласкер-Нотеровој теореми. У ствари, испоставља се да је (за Нетеров прстен) сет управо придруживач модула R/I; односно скуп свих анихилатора R/I (гледаних као модул над R) који су прости.

Референце

^ Christensen, Lars Winther; Striuli, Janet; Veliche, Oana (2010), „Growth in the minimal injective resolution of a local ring”, Journal of the London Mathematical Society, Second Series, 81 (1): 24—44, S2CID 14764965, arXiv:0812.4672  , doi:10.1112/jlms/jdp058
^ Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960
^ Huneke, Craig; Swanson, Irena (2006), Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, MR 2266432, Архивирано из оригинала 15. 11. 2019. г., Приступљено 23. 07. 2022
^ Dieudonné, Jean A.; Carrell, James B. (1970), „Invariant theory, old and new”, Advances in Mathematics, 4: 1—80, ISSN 0001-8708, MR 0255525, doi:10.1016/0001-8708(70)90015-0  Reprinted as Dieudonné, Jean A.; Carrell, James B. (1971), „Invariant theory, old and new”, Advances in Mathematics, Boston, MA: Academic Press, 4: 1—80, ISBN 978-0-12-215540-6, MR 0279102, doi:10.1016/0001-8708(70)90015-0 
^ Dolgachev, Igor (2003), Lectures on invariant theory, London Mathematical Society Lecture Note Series, 296, Cambridge University Press, ISBN 978-0-521-52548-0, MR 2004511, doi:10.1017/CBO9780511615436
^ Grace, J. H.; Young, Alfred (1903), The algebra of invariants, Cambridge: Cambridge University Press
^ Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.
^ Fraleigh & Katz (1967), p. 366, Lemma 7.1
^ Jacobson 2009, стр. 142 and 147
^ Grete Hermann (1926)
^ Ciliberto, Ciro; Hirzebruch, Friedrich; Miranda, Rick; Teicher, Mina, ур. (2001). Applications of Algebraic Geometry to Coding Theory, Physics and Computation (на језику: енглески). Dordrecht: Springer Netherlands. ISBN 978-94-010-1011-5.
^ Hermann, G. (1926). „Die Frage der endlich vielen Schritte in der Theorie der Polynomideale”. Mathematische Annalen (на језику: немачки). 95: 736—788. doi:10.1007/BF01206635.
^ Krull, Wolfgang (1937), „Beiträge zur Arithmetik kommutativer Integritätsbereiche III”, Math. Z.: 745—766, doi:10.1007/BF01160110
^ Zariski, Oscar (1940), „Algebraic varieties over ground fields of characteristic 0”, Amer. J. Math., 62: 187—221, doi:10.2307/2371447
^ Zariski, Oscar (1947), „The concept of a simple point of an abstract algebraic variety”, Trans. Amer. Math. Soc., 62: 1—52, doi:10.1090/s0002-9947-1947-0021694-1 
^ Atiyah & Macdonald 1969, стр. 123, Theorem 11.22.
^ Krull, Wolfgang (1928), „Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen”, Mathematische Zeitschrift, 28 (1): 481—503, doi:10.1007/BF01181179
^ Lam 2001, стр. 19
^ Curtis, Charles (1952), „On Additive Ideal Theory in General Rings”, American Journal of Mathematics, The Johns Hopkins University Press, 74 (3): 687—700, JSTOR 2372273, doi:10.2307/2372273
^ Noether, Emmy (1921), „Idealtheorie in Ringbereichen”, Mathematische Annalen, 83 (1): 24—66, doi:10.1007/BF01464225

Литература

Ciliberto, Ciro; Hirzebruch, Friedrich; Miranda, Rick; Teicher, Mina, ур. (2001). Applications of Algebraic Geometry to Coding Theory, Physics and Computation (на језику: енглески). Dordrecht: Springer Netherlands. ISBN 978-94-010-1011-5.
Michael Atiyah & Ian G. Macdonald, Introduction to Commutative Algebra, Massachusetts: Addison-Wesley Publishing, 1969.
Bourbaki, Nicolas, Commutative algebra. Chapters 1--7. Translated from the French. Reprint of the 1989 English translation. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. xxiv+625 pp. ISBN 3-540-64239-0.
Bourbaki, Nicolas, Éléments de mathématique. Algèbre commutative. Chapitres 8 et 9. (Elements of mathematics. Commutative algebra. Chapters 8 and 9) Reprint of the 1983 original. Springer, Berlin, 2006. ii+200 pp. ISBN 978-3-540-33942-7.
Eisenbud, David (1995). Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics. 150. New York: Springer-Verlag. xvi+785. ISBN 0-387-94268-8. MR 1322960.
Rémi Goblot, "Algèbre commutative, cours et exercices corrigés", 2e édition, Dunod. 2001. ISBN 2-10-005779-0.
Ernst Kunz, "Introduction to Commutative algebra and algebraic geometry", BirkhauseISBN 0-8176-3065-1. стр. 1985,.
Matsumura, Hideyuki, Commutative algebra. Second edition. Mathematics Lecture Note Series, 56. Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. xv+313 pp. ISBN 0-8053-7026-9.
Matsumura, Hideyuki (1989). Commutative Ring Theory. Second edition. Translated from the Japanese. Cambridge Studies in Advanced Mathematics, Cambridge, UK: Cambridge University Press. ISBN 0-521-36764-6.
Nagata, Masayoshi, Local rings. Interscience Tracts in Pure and Applied Mathematics, No. 13. Interscience Publishers a division of John Wiley and Sons, New York-London 1962 xiii+234 pp.
Miles Reid, Undergraduate Commutative Algebra (London Mathematical Society Student Texts), Cambridge, UK : Cambridge University Press, 1996.
Jean-Pierre Serre, Local algebra. Translated from the French by CheeWhye Chin and revised by the author. (Original title: Algèbre locale, multiplicités) Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2000. xiv+128 pp. ISBN 3-540-66641-9
Sharp, R. Y., Steps in commutative algebra. Second edition. London Mathematical Society Student Texts, 51. Cambridge University Press, Cambridge, 2000. xii+355 pp. ISBN 0-521-64623-5
Zariski, Oscar; Samuel, Pierre, Commutative algebra. Vol. 1, 2. With the cooperation of I. S. Cohen. Corrected reprinting of the 1958, 1960 edition. Graduate Texts in Mathematics, No. 28, 29. Springer-Verlag, New York-Heidelberg-Berlin, 1975.
Anderson, Frank W.; Fuller, Kent R. (1992), Rings and categories of modules, Graduate Texts in Mathematics, 13 (2 изд.), New York: Springer-Verlag, стр. x+376, ISBN 0-387-97845-3, MR 1245487, doi:10.1007/978-1-4612-4418-9
Nicolas Bourbaki, Commutative algebra
Formanek, Edward; Jategaonkar, Arun Vinayak (1974). „Subrings of Noetherian rings”. Proceedings of the American Mathematical Society. 46 (2): 181—186. doi:10.2307/2039890  .
Hotta, Ryoshi; Takeuchi, Kiyoshi; Tanisaki, Toshiyuki (2008), D-modules, perverse sheaves, and representation theory, Progress in Mathematics, 236, Birkhäuser, ISBN 978-0-8176-4363-8, MR 2357361, Zbl 1292.00026, doi:10.1007/978-0-8176-4523-6
Lam, Tsit Yuen (2001). A first course in noncommutative rings. Graduate Texts in Mathematics. 131 (2nd изд.). New York: Springer. стр. 19. ISBN 0387951830. MR 1838439. doi:10.1007/978-1-4419-8616-0.
Chapter X of Lang, Serge (1993), Algebra (Third изд.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd изд.), Cambridge University Press, ISBN 978-0-521-36764-6
Hochster, Melvin (2007), „Homological conjectures, old and new”, Illinois J. Math., 51 (1): 151—169, doi:10.1215/ijm/1258735330 
Jacobson, Nathan (1945), „Structure theory of algebraic algebras of bounded degree”, Annals of Mathematics, 46 (4): 695—707, ISSN 0003-486X, JSTOR 1969205, doi:10.2307/1969205
Lyubeznik, Gennady (1989), „A survey of problems and results on the number of defining equations”, Representations, resolutions and intertwining numbers, стр. 375—390, Zbl 0753.14001
Pinter-Lucke, James (2007), „Commutativity conditions for rings: 1950–2005”, Expositiones Mathematicae, 25 (2): 165—174, ISSN 0723-0869, doi:10.1016/j.exmath.2006.07.001 
Atiyah, Michael; Macdonald, I. G. (1969), Introduction to commutative algebra, Addison-Wesley Publishing Co.
Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Commutative Noetherian and Krull rings, Ellis Horwood Series: Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155615-7
Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Dimension, multiplicity and homological methods, Ellis Horwood Series: Mathematics and its Applications., Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155623-2
Kaplansky, Irving (1974), Commutative rings (Revised изд.), University of Chicago Press, MR 0345945
Nagata, Masayoshi (1975) [1962], Local rings, Interscience Tracts in Pure and Applied Mathematics, 13, Interscience Publishers, стр. xiii+234, ISBN 978-0-88275-228-0, MR 0155856
Zariski, Oscar; Samuel, Pierre (1958—60), Commutative Algebra I, II, University series in Higher Mathematics, Princeton, N.J.: D. van Nostrand, Inc. Проверите вредност парамет(а)ра за датум: |date= (помоћ) (Reprinted 1975-76 by Springer as volumes 28-29 of Graduate Texts in Mathematics.)
Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960, doi:10.1007/978-1-4612-5350-1 , esp. section 3.3.
Hermann, Grete (1926), „Die Frage der endlich vielen Schritte in der Theorie der Polynomideale”, Mathematische Annalen (на језику: немачки), 95: 736—788, doi:10.1007/BF01206635 . English translation in Communications in Computer Algebra 32/3 (1998): 8–30.
Lasker, E. (1905), „Zur Theorie der Moduln und Ideale”, Math. Ann., 60: 19—116, doi:10.1007/BF01447495
Markov, V.T. (2001). „Primary decomposition”. Ур.: Hazewinkel Michiel. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104.

[1] Christensen, Lars Winther; Striuli, Janet; Veliche, Oana (2010), „Growth in the minimal injective resolution of a local ring”, Journal of the London Mathematical Society, Second Series, 81 (1): 24—44, S2CID 14764965, arXiv:0812.4672  , doi:10.1112/jlms/jdp058

[2] Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960

[3] Huneke, Craig; Swanson, Irena (2006), Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, MR 2266432, Архивирано из оригинала 15. 11. 2019. г., Приступљено 23. 07. 2022

[4] Dieudonné, Jean A.; Carrell, James B. (1970), „Invariant theory, old and new”, Advances in Mathematics, 4: 1—80, ISSN 0001-8708, MR 0255525, doi:10.1016/0001-8708(70)90015-0  Reprinted as Dieudonné, Jean A.; Carrell, James B. (1971), „Invariant theory, old and new”, Advances in Mathematics, Boston, MA: Academic Press, 4: 1—80, ISBN 978-0-12-215540-6, MR 0279102, doi:10.1016/0001-8708(70)90015-0 

[5] Dolgachev, Igor (2003), Lectures on invariant theory, London Mathematical Society Lecture Note Series, 296, Cambridge University Press, ISBN 978-0-521-52548-0, MR 2004511, doi:10.1017/CBO9780511615436

[6] Grace, J. H.; Young, Alfred (1903), The algebra of invariants, Cambridge: Cambridge University Press

[7] Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.

[8] Fraleigh & Katz (1967), p. 366, Lemma 7.1

[9] Jacobson 2009, стр. 142 and 147

[10] Grete Hermann (1926)

[11] Ciliberto, Ciro; Hirzebruch, Friedrich; Miranda, Rick; Teicher, Mina, ур. (2001). Applications of Algebraic Geometry to Coding Theory, Physics and Computation (на језику: енглески). Dordrecht: Springer Netherlands. ISBN 978-94-010-1011-5.

[12] Hermann, G. (1926). „Die Frage der endlich vielen Schritte in der Theorie der Polynomideale”. Mathematische Annalen (на језику: немачки). 95: 736—788. doi:10.1007/BF01206635.

[13] Krull, Wolfgang (1937), „Beiträge zur Arithmetik kommutativer Integritätsbereiche III”, Math. Z.: 745—766, doi:10.1007/BF01160110

[14] Zariski, Oscar (1940), „Algebraic varieties over ground fields of characteristic 0”, Amer. J. Math., 62: 187—221, doi:10.2307/2371447

[15] Zariski, Oscar (1947), „The concept of a simple point of an abstract algebraic variety”, Trans. Amer. Math. Soc., 62: 1—52, doi:10.1090/s0002-9947-1947-0021694-1 

[FOOTNOTEAtiyahMacdonald1969123Theorem_11.22-16] Atiyah & Macdonald 1969, стр. 123, Theorem 11.22.

[17] Krull, Wolfgang (1928), „Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen”, Mathematische Zeitschrift, 28 (1): 481—503, doi:10.1007/BF01181179

[:0-18] Lam 2001, стр. 19

[19] Curtis, Charles (1952), „On Additive Ideal Theory in General Rings”, American Journal of Mathematics, The Johns Hopkins University Press, 74 (3): 687—700, JSTOR 2372273, doi:10.2307/2372273

[20] Noether, Emmy (1921), „Idealtheorie in Ringbereichen”, Mathematische Annalen, 83 (1): 24—66, doi:10.1007/BF01464225

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]