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

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

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

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

Преглед

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

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

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

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

Историја

Предмет, прво познат као теорија идеала, започет је радом Ричарда Дедекинда о идеалима, који је и сам заснован на ранијим радовима Ернста Кумера и Леополда Кронекера. Касније је Дејвид Хилберт увео термин прстен да би генерализовао ранији термин бројни прстен. Хилберт је увео апстрактнији приступ да замени конкретније и рачунарски оријентисане методе засноване на стварима као што су комплексна анализа и класична теорија инваријанта. Заузврат, Хилберт је снажно утицао на Еми Ноетер, која је многе раније резултате преиначила у смислу стања узлазног ланца, сада познатог као Нетеров услов. Друга важна прекретница био је рад Хилбертовог ученика Емануела Ласкера, који је увео примарне идеале и доказао прву верзију Ласкер-Нотерове теореме.

Главна фигура одговорна за рађање комутативне алгебре као зрелог субјекта био је Волфганг Крул, који је увео основне појмове локализације и комплетирања прстена, као и регуларних локалних прстенова. Он је успоставио концепт Крулове димензије прстена,Шаблон:Sfn прво за Нетерове прстенове пре него што је наставио да прошири своју теорију на опште вредновање прстенова и Крулове прстенове. До данас, теорема Крулових главних идеала се широко сматра најважнијом темељном теоремом у комутативној алгебри. Ови резултати су утрли пут за увођење комутативне алгебре у алгебарску геометрију, идеја која би револуционирала овај други предмет.

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

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

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

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

$I_1\subseteq \cdots I_{k-1}\subseteq I_k\subseteq I_{k+1}\subseteq \cdots$

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

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

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

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

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

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

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

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

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

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

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

Литература

• Шаблон:Cite book
• 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. Шаблон:Page
• 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. Шаблон:Page
• Шаблон:Cite book
• Rémi Goblot, "Algèbre commutative, cours et exercices corrigés", 2e édition, Dunod. Шаблон:Page
• Ernst Kunz, "Introduction to Commutative algebra and algebraic geometry", BirkhauseШаблон:Page
• Matsumura, Hideyuki, Commutative algebra. Second edition. Mathematics Lecture Note Series, 56. Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. xv+313 pp. Шаблон:Page
• Шаблон:Cite book
• 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
• Sharp, R. Y., Steps in commutative algebra. Second edition. London Mathematical Society Student Texts, 51. Cambridge University Press, Cambridge, 2000. xii+355 pp. Шаблон:ISBN
• 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.
• Шаблон:Citation
• Nicolas Bourbaki, Commutative algebra
• Шаблон:Cite journal
• Шаблон:Citation
• Шаблон:Cite book
• Chapter X of Шаблон:Lang Algebra
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation (Reprinted 1975-76 by Springer as volumes 28-29 of Graduate Texts in Mathematics.)
• Шаблон:Citation, esp. section 3.3.
• Шаблон:Citation. English translation in Communications in Computer Algebra 32/3 (1998): 8–30.
• Шаблон:Citation
• Шаблон:Springer