Gelanggang komutatif

gelanggang dengan operasi perkalian komutatif

Dalam teori gelanggang, cabang dari aljabar abstrak, gelanggang komutatif adalah gelanggang dengan operasi perkalian komutatif. Studi tentang gelanggang komutatif disebut aljabar komutatif. Sebagai pelengkap, aljabar nonkomutatif adalah studi tentang gelanggang nonkomutatif dimana perkalian tidak digunakan sebagai komutatif.

Definisi dan contoh pertamaSunting

Gelanggang adalah himpunan R yang dilengkapi dengan dua operasi biner, yaitu operasi yang menggabungkan dua elemen gelanggang ke sepertiga. Mereka disebut penjumlahan dan perkalian dan biasanya dilambangkan dengan "+" dan "⋅"; misalnya a + b dan ab. Untuk membentuk sebuah gelanggang, kedua operasi menggunakan sejumlah sifat: gelanggang berupa grup abelian di bawah penjumlahan serta monoid di bawah perkalian, dimana perkalian distributif lebih dari penjumlahan; yaitu, a ⋅ (b + c) = (ab) + (ac). Elemen identitas untuk penjumlahan dan perkalian dilambangkan dengan 0 dan 1.

Jika perkalian komutatif, yaitu

ab = ba,

maka gelanggang R disebut komutatif. Di sisa artikel ini, semua gelanggang akan menjadi komutatif, kecuali secara eksplisit dinyatakan lain.

Contoh pertamaSunting

Contoh penting dan dalam arti penting, adalah gelanggang bilangan bulat Z dengan dua operasi penjumlahan dan perkalian. Karena perkalian bilangan bulat adalah operasi komutatif dan gelanggang komutatif. Biasanya dilambangkan dengan Z sebagai singkatan dari bahasa Jerman kata Zahlen (bilangan).

Medan adalah gelanggang komutatif dimana   dan setiap bukan nol elemen a dapat dibalik; yaitu, memiliki pembalikan perkalian b maka ab = 1. Oleh karena itu, menurut definisi, medan adalah gelanggang komutatif. Medan dengan bentuk rasional, riil dan bilangan kompleks.

Jika R adalah gelanggang komutatif tertentu, maka himpunan dari semua polinomial dalam variabel X yang koefisiennya adalah R bentuk gelanggang polinomial dilambangkan dengan R[X]. Hal yang sama berlaku untuk beberapa variabel.

Jika V adalah beberapa ruang topologi, misalnya himpunan bagian dari beberapa Rn sebagai fungsi kontinu bilangan riil atau kompleks dengan V membentuk gelanggang komutatif. Hal yang sama berlaku untuk terdiferensiasi atau fungsi holomorfik, ketika dua konsep tersebut didefinisikan, seperti untuk V lipatan kompleks.

PembagianSunting

Berbeda dengan medan lain, dimana setiap elemen bukan nol dapat dibalik secara multiplikasi, konsep pembagian untuk gelanggang. Elemen a dari gelanggang R disebut sebagai unit jika memiliki invers perkalian. Jenis elemen khusus lainnya adalah pembagi nol, yaitu elemen a sedemikian rupa maka terdapat elemen bukan nol b dari gelanggang tersebut sebagai ab = 0. Jika R tidak memiliki pembagi bukan nol disebut pula sebagai domain integral (atau domain). Elemen a yang menggunakan an = 0 untuk beberapa bilangan bulat positif n disebut nilpoten.

LokalisasiSunting

Lokalisasi gelanggang adalah proses dimana beberapa elemen dibuat dapat dibalik, yaitu pembalikan perkalian ditambahkan ke gelanggang. Secara konkret, jika S adalah himpunan bagian penjumlahan penutupan dari R (yaitu s, tS maka begitu pula st) lokalisasi dari R dengan S atau gelanggang pecahan dengan penyebut S, dilambangkan S−1R terdiri dari simbol

  dengan rR, sS

kaidah tertentu yang menggunakan pembatalan akrab dari bilangan rasional. Dalam translasi ini Q adalah pelokalan dari Z di semua bilangan bulat bukan nol. Konstruksi ini berfungsi untuk domain integral R bukan Z. Lokalisasi (R \ {0})−1R adalah medan bidang hasil bagi dari R.

Ideal dan modulSunting

Banyak dari pengertian berikut untuk gelanggang komutatif tidak harus, tetapi definisi dan sifat biasanya lebih rumit. Misalnya, semua ideal dalam lingkaran komutatif secara otomatis dua sisi, yang sangat menyederhanakan situasi.

Modul dan idealSunting

Untuk gelanggang R adalah ruang vektor untuk medan. Artinya, elemen dalam modul dapat ditambahkan atau dikalikan dengan elemen R dimana aksioma yang sama sebagai ruang vektor. Studi tentang modul secara signifikan lebih terlibat dari studi ruang vektor di aljabar linear, karena beberapa fitur ruang vektor gagal untuk modul secara umum: modul tidak digunakan bebas yaitu dalam bentuk

 

Bahkan untuk modul bebas, peringkat modul bebas (yaitu analog dari dimensi ruang vektor) mungkin tidak terdefinisi dengan baik. Akhirnya, submodul dari modul hingga tidak dibuat secara hingga (kecuali R adalah Noetherian, lihat di bawah).

IdealSunting

Ideal dari gelanggang R adalah submodul dari R , yaitu modul yang terdapat dalam R. Lebih detail, ideal I adalah himpunan bagian tidak kosong dari R maka untuk semua r dengan R, i dan j dengan I, baik ri dan i+j dengan I. Untuk berbagai aplikasi, memahami ideal adalah gelanggang sangat penting, tetapi seringkali melanjutkan dengan mempelajari modul secara umum.

Setiap gelanggang memiliki dua ideal, yaitu nol ideal {0} dan R keseluruhannya adalah gelanggang. Kedua ideal jika R adalah sebuah bidang. Diberikan himpunan bagian F = {fj}jJ of R dimana J adalah beberapa himpunan indeks, ideal dihasilkan dari F adalah ideal terkecil yang digunakan F. Secara ekuivalen diberikan kombinasi linear hingga, maka

 .

Domain ideal utamaSunting

Jika F terdiri dari satu elemen r, ideal yang dihasilkan F terdiri dari kelipatan r, yaitu elemen dengan bentuk rs untuk elemen s. Ideal yang disebut sebagai prinsip ideal. Jika setiap ideal adalah ideal prinsipal, R disebut sebagai gelanggang ideal utama; dua kasus penting adalah Z dan k[X] gelanggang polinomial di atas bidang k. Keduanya adalah domain tambahan, sehingga disebut domain ideal utama.

Tidak seperti gelanggang umum, untuk domain ideal utama, sifat elemen individu sangat terikat dengan sifat gelanggang secara keseluruhan. Misalnya, setiap domain ideal utama R adalah domain faktorisasi unik (DFU) yang berarti bahwa setiap elemen adalah produk dari elemen yang tidak dapat direduksi, dengan cara yang unik (hingga penataan ulang faktor). Maka, elemen a dalam domain disebut tak tereduksi jika satu-satunya cara untuk mengekspresikannya sebagai produk

a = bc,

adalah b atau c sebagai satu unit. Contoh, penting dalam teori medan adalah polinomial tak tersederhanakan, yaitu elemen tak tersederhanakan dalam k[X] untuk medan k. Bahwa Z adalah DFU dapat dinyatakan sebagai elementer dengan bilangan asli didekomposisi unik sebagai hasil perkalian bilangan prima. Maka dikenal sebagai teorema dasar aritmetika.

Unsur a adalah elemen utama jika setiap a membagi produk bc, a membagi b atau c. Dalam domain, prima berarti tidak dapat direduksi. Kebalikannya benar dalam domain faktorisasi unik, tetapi salah secara umum.

Gelanggang faktorSunting

Definisi ideal sedemikian rupa sehingga "membagi"   "luar "memberikan gelanggang lain, gelanggang faktor   /  : itu adalah himpunan kohimpunan dari   dengan operasi

  dan  .

Misalnya, gelanggang   (juga dilambangkan dengan  ), dimana   adalah bilangan bulat gelanggang dari bilangan bulat modulo  . Ini adalah dasar dari aritmetika modular.

Idealnya adalah tepat jika lebih kecil dari keseluruhan gelanggang. Ideal yang tidak sepenuhnya terkandung dalam ideal yang benar disebut maksimal. Ideal   adalah maksimal jika dan hanya jika   /   adalah sebuah lapangan. Kecuali untuk gelanggang nol, setiap gelanggang (dengan identitas) memiliki setidaknya satu ideal maksimal; mengikuti dari lemma Zorn.

Gelanggang NoetherSunting

Gelanggang disebut Noether (terhormat Emmy Noether, yang mengembangkan konsep ini) jika setiap rantai naik ideal

 

menjadi stasioner, yaitu menjadi konstanta di luar beberapa indeks  . Secara ekuivalen, setiap ideal dihasilkan oleh banyak elemen yang tak terhingga atau ekuivalen, submodul dari modul yang dibuat secara terbatas akan dibuat secara terbatas.

Being Noetherian adalah kondisi keterbatasan yang sangat penting, dan kondisi tersebut dalam banyak operasi yang terjadi dalam geometri. Misalnya, jika   adalah Noether, begitu pula gelanggang polinomial   (dengan teorema dasar Hilbert), lokalisasi  , dan pula gelanggang faktor   /  .

Gelanggang taknoether   adalah gabungan dari subgelanggang Noether. Fakta ini, yang dikenal sebagai hampiran Noether, memungkinkan perluasan teorema tertentu ke gelanggang taknoether.

Gelanggang ArtinSunting

Gelanggang disebut Artin (dinamakan Emil Artin), jika setiap rantai menurun dari ideal

 

menjadi stasioner pada akhirnya. Meskipun kedua kondisi tampak simetris, gelanggang Noether lebih umum dari gelanggang Artin. Sebagai contoh,   adalah Noether, karena setiap ideal dapat dihasilkan oleh satu elemen, tetapi bukan Artin, sebagai rantai

 

Faktanya, menurut teorema Hopkins–Levitzki setiap gelanggang Artin adalah Noether. Lebih tepatnya, gelanggang Artin dapat dicirikan sebagai gelanggang Noether yang dimensi Krull-nya nol.

Spektrum gelanggang komutatifSunting

Ideal primaSunting

Seperti disebutkan di atas, Z adalah domain faktorisasi tunggal. Tentu tidak benar untuk gelanggang lebih umum, seperti yang disadari oleh aljabar-wan pada abad ke-19. Misalnya, dalam

 

ada dua cara yang sangat berbeda untuk menulis 6 sebagai produk:

 

Ideal utama, sebagai lawan dari elemen utama, sebagai cara untuk menghindari masalah ini. Ideal utama adalah ideal yang tepat (yaitu, secara ketat terkandung dalam R) p sedemikian rupa, setiap produk ab dari dua elemen gelanggang a dan b dengan p, setidaknya satu dari dua elemen sudah tersedia dalam p. Kesimpulan yang berlawanan berlaku untuk ideal, menurut definisi. Jadi, jika sebuah ideal prima adalah prinsipal, ia secara ekuivalen dihasilkan dari elemen prima. Namun, dalam gelanggang  , ideal utama tidak menjadi prinsipal. Membatasi penggunaan elemen prima dalam teori gelanggang. Landasan teori bilangan aljabar adalah, bagaimanapun, fakta bahwa dalam gelanggang Dedekind (yang mencakup   dan lebih umum gelanggang bilangan bulat dalam bidang bilangan) setiap ideal (seperti yang dihasilkan oleh 6) terurai secara unik sebagai produk dari ideal prima.

SpektrumSunting

 
Spek (Z) menggunakan titik untuk ideal nol. Penutupan titik ini adalah seluruh ruang. Poin yang tersisa adalah poin yang sesuai dengan ideal (p), dimana p adalah bilangan prima. Titik ini adalah c.

Spektrum gelanggang R,[nb 1] dilambangkan dengan SpekR, adalah himpunan dari semua ideal utama dari R. Digunakan dengan topologi yaitu topologi Zariski dimana sifat aljabar R dasar himpunan bagian terbuka diberikan oleh

D(f) = {pSpek R, fp}, dimana f adalah elemen gelanggang.

Menafsirkan f sebagai fungsi yang mengambil nilai f mod p (yaitu, gambar f dalam bidang residu R/p), himpunan bagian ini adalah lokus dimana f bukan nol. Spektrum membuat intuisi yang tepat bahwa lokalisasi dan gelanggang faktor saling melengkapi: peta alam RRf dan RR / fR setelah diberikan spektrum gelanggang tersebut dengan topologi Zariski, untuk melengkapi terbuka dan tertutup. Bahkan untuk gelanggang dasar dengan diilustrasikan untuk R = Z bagian kanan, topologi Zariski sangat berbeda dari himpunan bilangan riil.

Spektrum dengan himpunan ideal maksimal yang terkadang dilambangkan dengan mSpek (R). Untuk medan tertutup aljabar k, mSpek (k[T1, ..., Tn] / (f1, ..., fm)) terdapat dalam bijeksi dengan himpunan

{x =(x1, ..., xn) ∊ kn | f1(x) = ... = fm(x) = 0.}

Dengan demikian, ideal maksimal merumuskan sifat geometris himpunan solusi polinomial merupakan motivasi awal untuk mempelajari gelanggang komutatif. Namun, pertimbangan ideal non-maksimal sebagai bagian dari sifat geometris sebuah gelanggang berguna karena beberapa alasan. Misalnya, ideal prima minimal (yaitu, tidak hanya berisi yang lebih kecil) sesuai dengan komponen tak tersederhanakan dari Spek R. Untuk gelanggang Noetherian R, Spek R menggunakan banyak komponen tak tersederhanakan. Pernyataan kembali geometris dari dekomposisi primer dengan setiap ideal diuraikan sebagai produk dari banyak ideal primer. Fakta ini adalah generalisasi akhir dari dekomposisi menjadi ideal utama dalam gelanggang Dedekind.

Skema AffinSunting

Pengertian spektrum adalah dasar umum dari aljabar komutatif dan geometri aljabar. Geometri aljabar dilanjutkan dengan menganugerahi Spek R dengan berkas   entitas yang mengumpulkan fungsi yang ditentukan secara lokal, yaitu pada himpunan bagian terbuka yang bervariasi. Datum ruang dan berkas disebut skema affin. Diberikan skema affin, gelanggang yang mendasari R dapat dipulihkan sebagai bagian global dari  . Selain itu, korespondensi satu-ke-satu antara gelanggang dan skema affin kompatibel dengan homomorfisme gelanggang: hanya f : RS memunculkan peta kontinu ke arah yang berlawanan

Spek S → Spek R, qf−1(q), yaitu setiap ideal prima dari S dipetakan ke precitra di bawah f, yang merupakan ideal prima dari R.

Ekuivalen yang dihasilkan dari dua kategori tersebut secara tepat mencerminkan sifat aljabar gelanggang secara geometris.

Mirip dengan fakta Thatcher lipatan diberikan secara lokal oleh himpunan bagian terbuka dari Rn skema affin adalah model lokal untuk skema, yang merupakan objek kajian dalam geometri aljabar. Oleh karena itu, beberapa pengertian tentang gelanggang komutatif berasal dari intuisi geometris.

DimensiSunting

Dimensi Krull (atau dimensi) redup R gelanggang R mengukur "ukuran" gelanggang dengan menghitung elemen independen dalam R. Dimensi aljabar di atas bidang K dapat diukur dengan empat properti:

  • Dimensi adalah sifat lokal: redup R = supp ∊ Spec R redup Rp.
  • Dimensi tidak bergantung pada elemen nilpoten: jika IR adalah nilpoten maka redup R = dim R / I.
  • Dimensi tetap konstan di bawah ekstensi hingga: jika S adalah aljabar-R yang dibuat tak hingga sebagai modul-R, maka redup S = redup R.
  • Dimensi dikalibrasi dengan redup k[X1, ..., Xn] = n. Aksioma ini dimotivasi oleh tentang gelanggang polinomial dalam variabel n sebagai analog aljabar dari ruang dimensi-n.

Dimensi ditentukan, untuk setiap gelanggang R, sebagai supremum panjang n kaidah ideal utama

p0p1 ⊊ ... ⊊ pn.

Misalnya, sebuah bidang berdimensi nol, karena satu-satunya ideal prima adalah ideal nol. Bilangan bulat adalah satu dimensi, karena kaidah berbentuk (0) ⊊ (p), dengan p adalah bilangan prima. Untuk gelanggang non-Noetherian, dan gelanggang non-lokal, dimensinya mungkin tidak hingga, tetapi gelanggang lokal Noetherian memiliki dimensi hingga. Di antara empat aksioma di atas, dua yang pertama adalah konsekuensi dasar dari definisi, sedangkan dua sisanya bergantung pada fakta penting dalam aljabar komutatif, teorema naik dan teorema ideal utama Krull.

Gelanggang homomorfismeSunting

Gelanggang homomorfisme atau peta adalah peta f:RS maka

f(a + b) = f(a) + f(b), f(ab) = f(a)f(b) dan f(1) = 1.

Kondisi ini memastikan f(0) = 0. Mirip dengan struktur aljabar lainnya, homomorfisme gelanggang dengan demikian merupakan peta yang kompatibel dengan struktur objek aljabar yang dimaksud. Dalam situasi, S disebut sebagai R, dengan memahami bahwa s dalam S dapat dikalikan dengan beberapa r dari R, dengan

r · s := f(r) · s.

Kernel dan citra dari f didefinisikan oleh ker (f) = {rR, f(r) = 0} dan im (f) = f(R) = {f(r), rR}. Kernel adalah ideal dari R dan citra adalah subgelanggang dari S.

Homomorfisme gelanggang disebut isomorfisme jika bersifat bijektiva. Contoh isomorfisme gelanggang, yang dikenal sebagai teorema sisa Tiongkok, adalah

 

dimana n = p1p2...pk adalah produk dari bilangan prima yang berbeda berpasangan.

Gelanggan komutatif dengan homomorfisme gelanggang membentuk kategori. Gelanggang Z adalah objek awal dalam kategori ini, yang berarti bahwa untuk setiap gelanggang komutatif R maka homomorfisma gelanggang unik adalah ZR. Melalui peta ini, bilangan bulat n sebagai elemen R. Misalnya, rumus binomial

 

yang berlaku untuk dua elemen a dan b dalam setiap gelanggang komutatif R dipahami dalam pengertian dengan menafsirkan koefisien binomial sebagai elemen R menggunakan peta.

 
Sifat universal dari SR T menyatakan bahwa untuk dua peta SW dan TW dimana trivial segi empat luar, peta unik SR TW dimana diagram trivial.

Diberikan dua aljabar-R dengan S dan T, produk tensor

SR T

merupakan aljabar komutatif R. Dalam beberapa kasus, hasil kali tensor berfungsi untuk mencari T yang terkait dengan Z karena S terkait dengan R. Sebagai contoh,

R[X] ⊗R T = T[X].

Generasi hinggaSunting

Aljabar-R dengan S disebut generalisasi tak hingga (sebagai aljabar) jika banyak elemen hingga s1, ..., sn sedemikian rupa sehingga setiap elemen s diekspresikan sebagai polinomial si. Sama halnya, S isomorfik menjadi

R[T1, ..., Tn] / I.

Kondisi yang jauh lebih kuat adalah S adalah generalisasi sebagai modul-R berarti bahwa setiap s diekspresikan sebagai kombinasi linear-R dari beberapa himpunan hingga s1, ..., sn.

Gelanggang lokalSunting

Gelanggang disebut sebagai lokal jika hanya memiliki satu ideal maksimal tunggal, dilambangkan dengan m. Untuk setiap gelanggang (tidak lokal) R, maka

Rp

pada ideal utama p bersifat lokal. Lokalisasi ini sebagai sifat geometris dari Spek R "sekitar p". Beberapa gagasan dan masalah dalam aljabar komutatif direduksi menjadi kasus R bersifat lokal, untuk gelanggang lokal sebagai kelas gelanggang yang dipelajari. Medan residu dari R didefinisikan sebagai

k = R / m.

Setiap modul-R dengan M menghasilkan ruang vektor-k yang diberikan oleh M / mM. Lemma Nakayama menunjukkan bahwa bagian untuk menyimpan informasi penting: modul M yang dihasilkan secara tak hingga adalah nol jika dan hanya jika M / mM adalah nol.

Gelanggang lokal regulerSunting

 
Kurva bidang kubik (merah) yang ditentukan oleh persamaan y2 = x2(x + 1) adalah singular di asalnya, yaitu gelanggang k[x, y] / y2x2(x + 1), bukan gelanggang reguler. Kerucut tangen (biru) adalah gabungan dua garis, yang juga sebagai singularitas.

Ruang vektor-k m/m2 adalah inkarnasi aljabar dari ruang kotangen. Secara informal, elemen m sebagai fungsi lenyap pada titik p, sedangkan m2 adalah dengan urutan hilang setidaknya 2. Untuk setiap gelanggang lokal Noetherian R, pertidaksamaan

redupk m/m2 ≥ redup R

sebagai gagasan bahwa ruang kotangen (atau ekuivalen dengan tangen) memiliki dimensi dari ruang Spek R. Jika pertidaksamaan benar dalam perkiraan ini, maka R disebut gelanggang lokal reguler. Gelanggang lokal Noetherian adalah teratur jika dan hanya jika gelanggang (yang merupakan gelanggang fungsi pada kerucut tangen)

 

isomorfik ke gelanggang polinomial di atas k. Secara garis besar, gelanggang lokal biasa agak mirip dengan gelanggang polinomial.[1] Gelanggang lokal biasa adalah DFU.[2]

Gelanggang penilaian diskrit dilengkapi dengan fungsi bilangan bulat ke setiap elemen r. Bilangan ini, disebut penilaian r secara informal sebagai urutan nol atau kutub dari r. Gelanggang penilaian diskrit tepatnya adalah gelanggang lokal biasa satu dimensi. Misalnya, gelanggang kuman fungsi holomorfik pada permukaan Riemann adalah gelanggang penilaian diskrit.

Persimpangan kompleksSunting

 
Kubik terpuntir (hijau) adalah persimpangan kompleks teoretis himpunan, tetapi bukan perpotongan kompleks.

Dengan teorema ideal utama Krull, hasil dasar dalam teori dimensi gelanggang, dimensi gelanggang

R = k[T1, ..., Tr] / (f1, ..., fn)

setidaknya rn. Gelanggang R disebut gelanggang persimpangan kompleks jika ditampilkan dengan cara mencapai batas minimal ini. Gagasan ini banyak dipelajari untuk gelanggang lokal. Gelanggang lokal biasa adalah gelanggang persimpangan kompleks, tetapi tidak sebaliknya.

Gelanggang R adalah perpotongan kompleks himpunan teoretis jika gelanggang tereduksi terkait dengan R, yaitu gelanggang yang diperoleh dengan membagi semua elemen nilpoten adalah persimpangan kompleks. Pada tahun 2017, secara umum tidak diketahui, apakah kurva dalam ruang tiga dimensi merupakan perpotongan kompleks teori-himpunan.[3]

Gelanggang Cohen–MacaulaySunting

Kedalaman dari gelanggang lokal R adalah jumlah elemen dalam beberapa urutan reguler maksimal, yaitu urutan a1, ..., anm dengan semua ai adalah pembagi bukan nol dalam

R / (a1, ..., ai−1).

Untuk gelanggang Noetherian lokal, pertidaksamaan

kedalaman (R) ≤ redup (R).

Lingkaran lokal dimana keekuivalen terjadi disebut gelanggang Cohen–Macaulay. Lingkaran persimpangan kompleks lokal, dan fortiori, lingkaran lokal reguler adalah Cohen–Macaulay, tetapi tidak sebaliknya. Cohen–Macaulay menggabungkan sifat yang diinginkan dari gelanggang biasa (seperti sifat gelanggang katener universal, yang berarti bahwa dimensi (ko)bilangan prima), tetapi lebih dalam mengambil hasil bagi dari gelanggang lokal biasa.[4]

SifatSunting

Dengan Teorema Wedderburn, setiap gelanggang pembagian berhingga adalah komutatif, dan karenanya medan berhingga. Kondisi lain yang memastikan komutatifitas gelanggang, karena Jacobson adalah sebagai berikut: untuk setiap elemen r dari R terdapat bilangan bulat n > 1 maka rn = r.[5] Jika, r2 = r untuk setiap r, gelanggang tersebut disebut gelanggang Boolean. Kondisi yang lebih umum yang menjamin komutatifitas gelanggang pula diketahui.[6]

GeneralisasiSunting

Gelanggang komutatif bergradasiSunting

 
sepasang celana adalah kobordisme antara lingkaran dan dua lingkaran yang saling lepas. Kelas kobordisme dengan hasil kartesius sebagai perkalian dan satuan disjoin sebagai penjumlahannya, membentuk gelanggang kobordisme.

Gelanggang bertingkat R = ⨁iZ Ri disebut komutatif bertingkat jika

ab = (−1)derajat a ⋅ derajat b.

Jika Ri dihubungkan oleh perbedaan ∂ sedemikian rupa sehingga bentuk abstrak dari kaidah perkalian berlaku, yaitu

∂(ab) = ∂(a)b + (−1)derajat a∂(b),

R disebut diferensial komutatif aljabar (adb). Contohnya adalah bentuk diferensial kompleks pada lipatan, dengan perkalian yang diberikan oleh perkalian eksterior, adalah adb. Kohomologi cdga adalah gelanggang komutatif bertingkat, kadang-kadang disebut sebagai gelanggang kohomologi. Berbagai contoh gelanggang bertingkat muncul dengan cara ini. Misalnya, gelanggang Lazard adalah gelanggang kelas kobordismeobordisme dari lipatan kompleks.

Gelanggang komutatif bertingkat sehubungan dengan penilaian oleh Z/2 (sebagai lawan Z) disebut superaljabar.

Gagasan terkait adalah gelanggang hampir komutatif, yang berarti bahwa R difilter sedemikian rupa sehingga gelanggang bergradasi terkait

gr R := ⨁ FiR / ⨁ Fi−1R

bersifat komutatif. Contohnya adalah aljabar Weyl dan gelanggang yang lebih umum dari operasi diferensial.

Gelanggang komutatif sederhanaSunting

Gelanggang komutatif sederhana adalah objek sederhana dalam kategori gelanggang komutatif. Mereka adalah blok penyusun untuk (ikat) geometri aljabar turunan. Gagasan yang terkait erat tetapi lebih umum adalah tentang gelanggang-E.

Lihat pulaSunting

CatatanSunting

  1. ^ Gagasan ini dapat dikaitkan dengan spektrum dari operasi linear, lihat Spektrum aljabar C* dan representasi Gelfand.

KutipanSunting

  1. ^ (Matsumura, §7, Komentar, hal. 143)
  2. ^ (Matsumura, §19, Teorema 48)
  3. ^ (Lyubeznik 1989)
  4. ^ (Eisenbud 1995, Korollari 18.10, Proposisi 18.13)
  5. ^ Jacobson 1945
  6. ^ Pinter-Lucke 2007

ReferensiSunting