Teori gelanggang

Dalam aljabar, **teori gelanggang** adalah studi tentang gelanggang struktur aljabar di mana penjumlahan dan perkalian ditentukan dan memiliki sifat yang mirip dengan operasi ditentukan untuk bilangan bulat. Teori gelanggang mempelajari struktur gelanggang, representasi, atau, dalam bahasa yang berbeda, modul, kelas khusus gelanggang (grup gelanggang, gelanggang pembagian, aljabar pembungkus universal), serta sifat yang terbukti dalam teori dari sifat homologis dan identitas polinomial.

Gelanggang komutatif jauh lebih dipahami dari gelanggang nonkomutatif. Geometri aljabar dan teori bilangan aljabar, yang memberikan banyak contoh alami gelanggang komutatif, telah mendorong banyak perkembangan teori gelanggang komutatif, yang sekarang, dengan nama * [[aljabar komutatif]] *, bidang utama matematika modern. Karena tiga bidang (geometri aljabar, teori bilangan aljabar, dan aljabar komutatif) saling terkait, biasanya sulit dan tidak berarti untuk memutuskan bidang. Misalnya, Hilbert Nullstellensatz adalah teorema fundamental untuk geometri aljabar, dan dibuktikan dalam aljabar komutatif. Maka, teorema terakhir Fermat dalam istilah dasar aritmetika, yang merupakan bagian dari aljabar komutatif, tetapi pembuktiannya melibatkan hasil yang mendalam dari teori bilangan aljabar dan aljabar.

Gelanggang nonkomutatif memiliki sifat tidak biasa. Sedangkan teori telah berkembang dengan sendiri, telah berusaha untuk paralel dengan perkembangan komutatif dengan membangun teori kelas dari gelanggang nonkomutatif dalam gaya geometri adalah gelanggang dari fungsi pada 'ruang nonkomutatif'. Hal ini dimulai pada 1980-an dengan perkembangan geometri nonkomutatif dan dengan penemuan grup kuantum. Hal ini mengarah pada pemahaman yang lebih baik tentang gelanggang nonkomutatif, terutama gelanggang Noetherian nonkomutatif.

Untuk definisi gelanggang dan konsep dasar serta propertinya, lihat * [[gelanggang (matematika)]] *. Definisi dari istilah yang digunakan di seluruh teori gelanggang dapat ditemukan di * [[Glosarium teori gelanggang]] *.

## Gelanggang komutatif

Gelanggang disebut *komutatif* jika perkaliannya komutatif. Gelanggang komutatif dari sistem bilangan yang sudah dikenal, dan berbagai definisi untuk gelanggang komutatif dirancang untuk memformalkan sifat bilangan bulat. Gelanggang komutatif juga penting dalam geometri aljabar. Dalam teori gelanggang komutatif, bilangan diganti dengan ideal, dan definisi dari ideal prima pada esensi dari bilangan prima. Domain integral, gelanggang komutatif non-trivial di mana tidak memiliki dua elemen bukan nol yang dikalikan menjadi nol, generasi dari sifat lain dari bilangan bulat dan berfungsi sebagai bidang untuk mempelajari keterpisahan. Domain ideal utama adalah domain integral di mana setiap ideal dapat dihasilkan oleh satu elemen, sifat lain dengan bilangan bulat. Domain Euklides adalah domain integral di mana algoritma Euklides. Contoh penting dari gelanggang komutatif dapat dibuat sebagai gelanggang polinomial: Domain Euklides ⊂ domain ideal utama ⊂ domain faktorisasi ⊂ domain integral ⊂ gelanggang komutatif.

### Geometri aljabar

Geometri aljabar dalam banyak hal merupakan bayangan cermin dari aljabar komutatif. Korespondensi dimulai dengan Hilbert Nullstellensatz di mana korespondensi satu-ke-satu antara titik dari sebuah varietas aljabar, dan ideal maksimal dari gelanggang koordinat. Korespondensi ini telah diamati dan disistematisasi untuk transisi (dan membuktikan) sebagian besar sifat geometri dari varietas aljabar menjadi sifat aljabar dari gelanggang komutatif terkait. Alexander Grothendieck menyelesaikan dengan skema, generalisasi varietas aljabar dari gelanggang komutatif. Lebih tepatnya,
spektrum dari gelanggang komutatif adalah ruang dari ideal utama di mana topologi Zariski ditambahkan dengan berkas gelanggang. Objek ini adalah "skema affine" (generalisasi varietas affine), dan skema umum kemudian diperoleh dengan "merekatkan" (dengan metode aljabar murni) beberapa skema affine, dalam analogi cara membuat manifold dengan merekatkan bagan dari atlas.

## Gelanggang nonkomutatif

Gelanggang nonkomutatif dengan gelanggang matriks dalam banyak hal. Mengikuti model geometri aljabar, telah dilakukan upaya untuk mendefinisikan geometri nonkomutatif berdasarkan gelanggang nonkomutatif.
Gelanggang nonkomutatif dan aljabar asosiatif (gelanggang yang juga ruang vektor) dipelajari melalui modul kategori. Modul di atas gelanggang adalah grup abelian di mana gelanggang sebagai gelanggang endomorfisme, dengan bidang (domain integral di mana setiap elemen bukan nol invers) ruang vektor. Contoh gelanggang nonkomutatif dari gelanggang persegi matriks atau dengan gelanggang endomorfisma grup atau modul abelian, dan gelanggang monoid.

### Teori repsentasi

Teori representasi adalah cabang matematika untuk gelanggang non-komutatif. Mempelajari abstrak struktur aljabar abstrak dengan *merepresentasikan* elemen sebagai transformasi linear dari ruang vektor, dan
modul di atas struktur aljabar abstrak. Intinya, representasi objek aljabar abstrak lebih konkret dengan mendeskripsikan elemennya dengan matriks dan operasi aljabar dalam hal penambahan matriks dan perkalian matriks tidak komutatif. Objek aljabar setuju dengan deskripsi grup, aljabar asosiatif dan aljabar Lie. Teori representasi grup di mana elemen suatu grup dari matriks invers sehingga operasi grup tersebut adalah perkalian matriks.

## Beberapa teorema relevan
Umum
* Teorema isomorfisme untuk gelanggang
* Lemma Nakayama

Teorema struktur
* Teorema Artin–Wedderburn menentukan struktur gelanggang setengah sederhana
* Teorema kerapatan Jacobson menentukan struktur gelanggang primitif
* Teorema Goldie menentukan struktur semiprime gelanggang Goldie
* Teorema Zariski–Samuel menentukan struktur komutatif gelanggang ideal utama.
* Teorema Hopkins–Levitzki memberikan kondisi yang diperlukan dan cukup untuk gelanggang Noetherian menjadi gelanggang Artinian
* Teori Morita terdiri dari teorema yang menentukan kapan dua gelanggang memiliki kategori modul "ekuivalen"
* Teorema Cartan–Brauer–Hua memberikan wawasan tentang struktur gelanggang pembagian
* Teorema kecil Wedderburn menyatakan bahwa domain adalah bidang

Lain
* Teorema Skolem–Noether mencirikan automorfisme dari gelanggang sederhana

## Struktur dan invarian gelanggang
### Dimensi gelanggang komutatif

* R * menunjukkan gelanggang komutatif. Dimensi Krull dari * R * adalah supremum dari panjang * n * dengan kaidah ideal utama \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_n. Gelanggang polinomial k[t_1, \cdots, t_n] di atas bidang * k * dengan dimensi * n *. Teorema fundamental teori dimensi dari bilangan gelanggang lokal noetherian (R, \mathfrak{m}):
* Dimensi Krull dari * R *.
* Jumlah minimum generator ideal-\mathfrak{m}.
* Dimensi gelanggang \textstyle \operatorname{gr}_{\mathfrak{m}}(R) = \bigoplus_{k \ge 0} \mathfrak{m}^k/{\mathfrak{m}^{k+1}} (ekuivalen 1 ditambah derajat dari polinomial Hilbert).

Gelanggang komutatif * R * digunakan gelanggang Catenary jika ideal utama \mathfrak{p} \subset \mathfrak{p}', kaidah ideal utama hingga \mathfrak{p} = \mathfrak{p}_0 \subsetneq \cdots \subsetneq \mathfrak{p}_n = \mathfrak{p}' dalam ideal prima tambahan antara dua ideal dalam rantai, dan kaidah antara \mathfrak{p} dan  \mathfrak{p}'. Gelanggang noetherian dalam aplikasi bersifat katener. Ratliff membuktikan bahwa domain integral lokal noetherian * R * adalah Catenary jika dan hanya jika untuk prima \mathfrak{p},
:\operatorname{dim}R = \operatorname{ht}\mathfrak{p} + \operatorname{dim}R/\mathfrak{p}
di mana \operatorname{ht}\mathfrak{p} adalah ketinggian dari \mathfrak{p}.

Jika * R * adalah domain integral merupakan aljabar * k * tak hingga maka dimensi derajat transendensi dari bidang pecahan di atas * k *. Jika * S * adalah ekstensi integral dari gelanggang komutatif * R *, maka * S * dan * R * memiliki dimensi.

Konsep terkait adalah konsep kedalaman dan dimensi global. Secara umum, jika * R * adalah gelanggang lokal noetherian, maka kedalaman * R * kurang dari atau sama dengan. Jika kesetaraan * R * disebut gelanggang Cohen–Macaulay. Gelanggang lokal reguler adalah contoh gelanggang Cohen–Macaulay. Teorema Serre bahwa * R * adalah gelanggang lokal jika dan hanya jika dimensi global hingga dan dimensi global adalah dimensi Krull dari * R *. Dari hal ini adalah bahwa dimensi global adalah homologis.

### Kesetaraan Morita

Dua gelanggang * R *, * S * yaitu kesetaraan Morita jika kategori modul kiri di atas * R * setara dengan kategori modul kiri di atas * S *. Maka, dua gelanggang komutatif ekuivalen Morita isomorfik, jadi tidak menambahkan sesuatu ke kategori dari gelanggang komutatif. Namun, gelanggang komutatif menjadi ekuivalen Morita dengan gelanggang nonkomutatif, jadi ekuivalen Morita dari isomorfisme. Ekuivalen Morita digunakan dalam topologi aljabar.

## Aplikasi

### Gelanggang bilangan bulat dari bidang angka

### Gelanggang koordinat dari suatu ragam aljabar
Jika * X * adalah ragam aljabar affine, maka himpunan semua fungsi reguler pada * X * membentuk sebuah gelanggang yang disebut gelanggang koordinat dari * X *. Untuk variasi proyektif, ada cincin analog yang disebut gelanggang koordinat homogen. Gelanggang itu pada dasarnya sama dengan varietas: mereka pada dasarnya berhubungan dengan cara yang unik. Ini dapat dilihat baik melalui Hilbert Nullstellensatz atau konstruksi skema-teori (yaitu, Spec dan Proj).

### Gelanggang invarian
Pertanyaan mendasar (dan mungkin yang paling mendasar) dalam teori invarian klasik adalah menemukan dan mempelajari polinomial pada gelanggang polinomial k[V] yang invarian di bawah aksi grup terbatas (atau lebih umum reduktif) * G * pada * V *. Contoh utamanya adalah gelanggang polinomial simetris: simetris polinomial adalah polinomial yang tidak berubah di bawah permutasi variabel. Teorema fundamental polinomial simetris menyatakan bahwa gelanggang R[\sigma_1, \ldots, \sigma_n] di mana \sigma_i adalah polinomial simetris dasar.

## Sejarah
Teori gelanggang komutatif berasal dari teori bilangan aljabar, geometri aljabar, dan teori invarian. Pusat pengembangan mata pelajaran ini adalah gelanggang bilangan bulat di medan bilangan aljabar dan medan fungsi aljabar, bahkan gelanggang polinomial dalam dua variabel atau lebih. Teori gelanggang nonkomutatif dimulai dengan upaya untuk memperluas bilangan kompleks ke berbagai sistem bilangan hiperkompleks. Asal-usul teori gelanggang komutatif dan nonkomutatif berasal dari awal abad ke-19, sedangkan kematangannya hanya dicapai pada dekade ketiga abad ke-20.

Lebih tepatnya, William Rowan Hamilton mengemukakan kuaternion dan bikuaternion, James Cockle mempresentasikan tessarine dan kokuaternion, bahkan William Kingdon Clifford adalah seorang penggemar bikuaternion terbagi yang disebut sebagai *motor aljabar*. Aljabar nonkomutatif ini, dan aljabar Lie non-asosiatif, dipelajari dalam perpecahan universal sebelum subjek dibagi menjadi tipe struktur matematika tertentu. Salah satu tanda reorganisasi adalah penggunaan jumlah langsung untuk menggambarkan struktur aljabar.

Berbagai bilangan hiperkompleks diidentifikasi dengan gelanggang matriks oleh Joseph Wedderburn (1908) dan Emil Artin (1928). Teorema struktur Wedderburn dirumuskan untuk aljabar di atas medan dimensi-hingga sementara Artin menggeneralisasikannya menjadi gelanggang Artinian.

## Catatan

## Referensi
*
*
*
*
*
*
*
*
*
*
*
*
*
*. Vol. II, Pure and Applied Mathematics 128, .
*