Lihat sumber Ideal (teori gelanggang)

{{redirect|Produk ideal|produk bernama "Ideal"|Ideal (disambiguasi)}}

{{Ring theory sidebar}}

Dalam [[teori gelanggang]], sebuah cabang dari [[aljabar abstrak]], '''ideal''' dari [[gelanggang (matematika)|gelanggang]] adalah [[himpunan bagian]] khusus dari elemen. Ideal menggeneralisasi himpunan bagian tertentu dari [[bilangan bulat]], seperti [[bilangan genap]] atau kelipatan 3. Penambahan dan pengurangan bilangan genap mempertahankan kemerataan, dan mengalikan bilangan genap dengan bilangan bulat lainnya menghasilkan bilangan genap lainnya; [[Penutupan (matematika)|penutupan]] dan sifat absorpsi adalah sifat yang menentukan dari suatu ideal. Ideal dapat digunakan untuk [[gelanggang hasil bagi]] dengan cara yang sama di [[teori grup]], [[subgrup normal]] dapat digunakan untuk [[grup hasil bagi]].

Di antara bilangan bulat, yang ideal sesuai satu-untuk-satu dengan [[bilangan bulat non-negatif]]: dalam gelanggang, ideal adalah [[ideal pokok]] yang terdiri dari kelipatan satu bilangan non-negatif. Namun, dalam gelanggang lain, ideal mungkin tidak sesuai langsung dengan elemen gelanggang, dan sifat bilangan bulat tertentu, ketika digeneralisasikan ke gelanggang, lebih alami melekat pada ideal dari elemen. Misalnya, [[ideal prima]] gelanggang dianalogikan dengan [[bilangan prima]], dan [[Teorema sisa bahasa Cina]] dapat digeneralisasikan menjadi ideal. Ada versi [[teorema fundamental aritmetika|faktorisasi prima unik]] untuk ideal [[domain Dedekind]] (jenis gelanggang yang penting dalam [[teori bilangan]]).

Terkait, tetapi berbeda, konsep dari [[ideal (teori urutan)|ideal]] dalam [[teori orde]] diturunkan dari gagasan ideal dalam teori gelanggang. Sebuah [[ideal pecahan]] adalah generalisasi dari suatu ideal, dan ideal biasa kadang-kadang disebut '''ideal integral''' untuk kejelasan.

== Sejarah ==
[[Ernst Kummer]] menemukan konsep [[bilangan ideal]] yang berfungsi sebagai faktor "hilang" dalam bilangan ideal di mana [[faktorisasi]]; di sini kata "ideal" dalam arti berada dalam imajinasi saja, dalam analogi dengan benda "ideal" dalam geometri seperti titik pada tak terhingga.<ref name="Stillwell">{{cite book
| author = John Stillwell
| title = Mathematics and its history
| url = https://archive.org/details/mathematicsitshi00stil
| year = 2010
| page = [https://archive.org/details/mathematicsitshi00stil/page/n461 439]
}}</ref>
Pada tahun 1876, [[Richard Dedekind]] menggantikan konsep Kummer yang tidak terdefinisi dengan rangkaian bilangan konkret, rangkaian yang disebut ideal, dalam edisi ketiga buku [[Dirichlet]] ''[[Vorlesungen über Zahlentheorie]]'', yang mana Dedekind telah menambahkan banyak suplemen.<ref name="Stillwell" /><ref name="flt">{{cite book
| author = Harold M. Edwards
| title = Fermat's last theorem. A genetic introduction to algebraic number theory
| year = 1977
| page = 76
}}</ref><ref name="everest_ward">{{cite book
| author = Everest G., Ward T.
| title = An introduction to number theory
| year = 2005
| page = 83
}}</ref>
Kemudian gagasan itu diperluas melampaui bilangan gelanggang ke pengaturan gelanggang polinomial dan [[gelanggang komutatif]] lainnya oleh [[David Hilbert]] dan terutama [[Emmy Noether]].

== Definisi dan motivasi ==
Untuk gelanggang alternatif <math>(R,+,\cdot)</math>, maka <math>(R,+)</math> jadilah [[grup aditif]]. Himpunan bagian <math> I </math> disebut '''kiri ideal''' dari <math> R </math> bila subgrup aditif dari <math> R </math> yang "menyerap perkalian dari kiri oleh elemen <math>R</math>"; artinya, <math> I </math> adalah '''kiri ideal''' bila memenuhi dua kondisi berikut:
# <math>(I,+)</math> adalah [[subgrup]] dari <math>(R,+),</math>
# Untuk <math>r \in R</math> dan <math>x \in I</math>, produk <math> r x </math> adalah <math> I </math>.

'''Ideal kanan''' didefinisikan dengan {{nowrap|"''r x'' ∈ ''I''{{-"}}}} digantikan oleh {{nowrap|"''x r'' ∈ ''I''{{-"}}}}. '''Ideal dua sisi''' adalah ideal kiri yang juga ideal kanan, dan kadang-kadang disebut ideal. Dalam bahasa [[modul (matematika)|modul]], definisi berarti bahwa ideal kiri (resp. Kanan, dua sisi) dari '' R '' adalah kiri (resp. Kanan, bi-) [[modul (matematika)#Submodul dan homomorfisme|submodul]]-''R'' dari '' R '' ketika '' R '' dilihat sebagai modul '' R ''. Ketika '' R '' adalah gelanggang komutatif, definisi ideal kiri, kanan, dan dua sisi bertepatan, dan istilah '''ideal'''.

Untuk memahami konsep ideal, perhatikan bagaimana ideal muncul dalam konstruksi gelanggang "elemen modulo".  Untuk konkretnya, lihat gelanggang ℤ<sub>''n''</sub> dari bilangan bulat modulo bilangan bulat tertentu ''n'' ∈ ℤ (perhatikan bahwa ℤ adalah gelanggang komutatif). Pengamatan utama di sini adalah yang kita dapatkan ℤ<sub>''n''</sub> dengan mengambil garis bilangan bulat ℤ dan berbagai bilangan bulat dapat diidentifikasi. Dalam melakukannya, kita harus memenuhi dua persyaratan: 1) '' n '' harus diidentifikasikan dengan 0 karena '' n '' kongruen dengan 0 modulo '' n '', dan 2) struktur yang dihasilkan harus berupa gelanggang. Persyaratan kedua kita membuat identifikasi tambahan (yaitu, menentukan cara yang tepat di mana kita harus membungkus ℤ ). Gagasan tentang ideal muncul ketika kita mengajukan pertanyaan: {{quote|Apa himpunan pada bilangan bulat yang harus kita identifikasi dengan 0?}} Jawabannya, himpunan {{nowrap|1=''n''ℤ = {{mset| ''nm'' | ''m'' ∈ ℤ&nbsp;}}}} dari semua bilangan bulat kongruen dengan 0 modulo '' n ''. Artinya, kita harus membungkus ℤ di sekitar, sehingga bilangan bulat..., {{nowrap|''n'' ⋅ −2}}, {{nowrap|''n'' ⋅ −1}}, {{nowrap|''n'' ⋅ +1}}, {{nowrap|''n'' ⋅ +2}}, ... akan sejajar dengan 0. Bila kita melihat sifat apa yang harus dipenuhi oleh himpunan ini untuk memastikannya ℤ<sub>''n''</sub> adalah sebuah gelanggang, maka kita sampai pada definisi ideal. Memang, seseorang dapat secara langsung memverifikasi bahwa ''n''ℤ adalah ideal dari ℤ.

'''Remark.''' Identifikasi dengan elemen selain 0 juga perlu dilakukan. Misalnya, elemen dalam {{nowrap|1 + ''n''ℤ}} harus diidentifikasi dengan 1, elemen dalam {{nowrap|2 + ''n''ℤ}} harus diidentikkan dengan 2, dan seterusnya. Maka, secara ditentukan oleh ''n''ℤ karena ℤ adalah grup aditif.

== Contoh dan sifat ==
''Beberapa hasil dinyatakan hanya untuk ideal kiri tetapi biasanya juga berlaku untuk ideal kanan dengan perubahan notasi yang sesuai.''
* Dalam gelanggang '' R '', himpunan '' R '' itu sendiri membentuk ideal dua sisi dari '' R '' yang disebut '''unit ideal'''. Dilambangkan dengan <math> (1) </math> karena ini merupakan ideal dua sisi yang dihasilkan (lihat di bawah) oleh kesatuan <math> 1_R </math>. Juga, himpunan <math>\{ 0_R \}</math> hanya terdiri dari identitas aditif 0<sub>''R''</sub> membentuk ideal dua sisi yang disebut '''nol ideal''' dan dilambangkan dengan <math> (0) </math>.<ref group=note>Beberapa penulis menyebut nol dan ideal unit gelanggang '' R '' itu '''ideal trivial''' dari '' R ''.</ref> Setiap ideal (kiri, kanan atau dua sisi) berisi ideal nol dan terdapat dalam unit ideal.
* Sebuah ideal (kiri, kanan atau dua sisi) yang bukan unit ideal disebut '''ideal proper''' (karena ini adalah [[himpunan bagian proper]]).<ref>{{harvnb|Lang|2005|loc=Section III.2}}</ref> Catatan: ideal kiri <math>\mathfrak{a}</math> tepat [[jika dan hanya jika]] tidak mengandung elemen unit, karena jika <math>u \in \mathfrak{a}</math> adalah elemen unit, maka <math>r = (r u^{-1}) u \in \mathfrak{a}</math> adalah <math>r \in R</math>. Biasanya ada banyak cita-cita yang tepat. Faktanya, jika '' R '' adalah [[bidang miring]], maka <math> (0), (1) </math> adalah satu-satunya ideal dan sebaliknya: artinya, gelanggang bukan nol '' R '' adalah bidang miring jika <math> (0), (1) </math> adalah satu-satunya ideal kiri (atau kanan). (Bukti: jika <math> x </math> adalah elemen bukan nol, maka ideal kiri utama <math> Rx </math> (lihat di bawah) adalah bukan nol dan dengan <math>Rx = (1)</math>; yaitu, <math> yx = 1 </math> untuk beberapa <math> y </math> bukan nol. Demikian pula, <math> zy = 1 </math> untuk beberapa <math> z </math> bukan nol. Kemudian <math>z = z(yx) = (zy)x = x</math>.)
* [[Bilangan bulat]] genap membentuk ideal dengan gelanggang <math>\mathbb{Z}</math> dari semua bilangan bulat; dilambangkan dengan <math>2\mathbb{Z}</math>. Karena jumlah dari semua bilangan bulat genap, dan hasil kali dari bilangan bulat apa pun dengan bilangan bulat genap juga genap. Demikian pula, himpunan semua bilangan bulat habis dibagi dengan bilangan bulat tetap '' n '' adalah ideal dilambangkan <math>n\mathbb{Z}</math>.
* Himpunan dari semua [[polinomial]] dengan koefisien riil yang habis dibagi oleh polinomial ''x''<sup>2</sup> + 1 adalah ideal di atas semua polinomial.
* Himpunan semua n-oleh-n [[matriks (matematika)|matriks]] yang baris terakhirnya nol membentuk ideal kanan di ring semua matriks n-oleh-n. Ini bukanlah ideal kiri. Himpunan dari semua matriks n-oleh-n yang '' kolom '' terakhirnya nol membentuk ideal kiri tetapi bukan ideal kanan.
* Gelanggang <math>C(\mathbb{R})</math> dari semua [[fungsi kontinu]] s '' f '' dari <math>\mathbb{R}</math> ke <math>\mathbb{R}</math> di bawah [[perkalian pointwise]] berisi ideal dari semua fungsi kontinu '' f '' sehingga ''f''(1) = 0. Ideal lain dalam <math>C(\mathbb{R})</math> diberikan oleh fungsi-fungsi yang menghilang untuk argumen yang cukup besar, yaitu fungsi berkelanjutan '' f '' yang memiliki bilangan ''L'' > 0 seperti ''f''(''x'') = 0 adalah {{abs|''x''}} > ''L''.
* Sebuah gelanggang disebut [[gelanggang sederhana]] jika bukan nol dan tidak memiliki dua sisi ideal selain <math> (0), (1) </math>. Jadi, bidang miring sederhana dan gelanggang komutatif sederhana adalah bidang. [[Gelanggang matriks]] di atas bidang miring adalah gelanggang sederhana.

== Jenis ideal ==
''Untuk menyederhanakan deskripsi, semua gelanggang diasumsikan komutatif. Kasus non-komutatif dibahas secara rinci di artikel masing-masing.''

Ideal penting karena mereka muncul sebagai inti dari homomorfisme gelanggang dan memungkinkan seseorang untuk menentukan [[gelanggang faktor]]. Berbagai jenis ideal dipelajari karena dapat digunakan untuk membangun berbagai jenis gelanggang faktor.

* '''[[Ideal maksimal]]''': Ideal '' I '' disebut '''ideal maksimal''' jika tidak ada ideal lain '' J '' dengan '' I '' himpunan bagian yang tepat dari '' J ''. Gelanggang faktor dari ideal maksimal adalah [[gelanggang sederhana]] secara umum dan [[bidang (matematika)|bidang]] untuk gelanggang komutatif.<ref>Karena gelanggang komutatif sederhana adalah bidang. Lihat {{cite book|author=Lam|year=2001|title=A First Course in Noncommutative Rings|url={{Google books|plainurl=y|id=f15FyZuZ3-4C|page=39|text=simple commutative rings}}|page=39}}</ref>
* '''[[Ideal minimal]]''': Ideal bukan-nol disebut minimal jika tidak mengandung ideal bukan-nol lainnya.
* '''[[Ideal prima]]''': Ideal '' I '' disebut '''ideal utama''' jika '' a '' dan '' b '' di '' R '', jika '' ab '' dengan '' I '', maka setidaknya satu dari '' a '' dan '' b '' ada di '' I ''.
* '''[[Radikal dari ideal|Ideal radikal]]''' atau [[ideal semiprima]]: Sebuah ideal '' I '' disebut '''radikal''' atau '''semiprima''' jika untuk '' a '' dalam '' R '', jika ''a''<sup>''n''</sup> dengan '' I '' untuk beberapa '' n '', maka '' a '' dengan '' I ''.
* '''[[Ideal primer]]'''
* '''[[Ideal prinsip]]'''
* '''Ideal generasi finiter'''
* '''[[Ideal primitif]]'''
* '''[[Ideal ireduksi]]'''
* '''Comaximal ideals''': Dua ideal <math>\mathfrak{i}, \mathfrak{j}</math> dikatakan sebagai '''komaksimal''' if <math>x + y = 1</math> untuk beberapa <math>x \in \mathfrak{i}</math> dan <math>y \in \mathfrak{j}</math>.
* '''[[Ideal biasa]]'''
* '''[[Ideal Nil]]'''
* '''[[Ideal nilpoten]]'''
* '''[[Ideal parameter]]''': ideal yang dihasilkan oleh [[sistem parameter]].

== Operasi ideal ==
Jumlah dan produk ideal didefinisikan sebagai berikut. Untuk <math>\mathfrak{a}</math> dan <math>\mathfrak{b}</math>, kiri (resp. kanan) ideal dari sebuah gelanggang '' R '', jumlahnya adalah

:<math>\mathfrak{a}+\mathfrak{b}:=\{a+b \mid a \in \mathfrak{a} \mbox{ dan } b \in \mathfrak{b}\}</math>,
yang merupakan ideal kiri (resp. kanan),
dan, jika <math>\mathfrak{a}, \mathfrak{b}</math> are two-sided,
:<math>\mathfrak{a} \mathfrak{b}:=\{a_1b_1+ \dots + a_nb_n \mid a_i \in \mathfrak{a} \mbox{ dan } b_i \in \mathfrak{b}, i=1, 2, \dots, n; \mbox{ for } n=1, 2, \dots\},</math>
yaitu produk adalah ideal yang dihasilkan oleh semua produk dalam bentuk '' ab '' dengan '' a '' adalah <math>\mathfrak{a}</math> dan '' b '' adalah <math>\mathfrak{b}</math>.

Catatan <math>\mathfrak{a} + \mathfrak{b}</math> adalah ideal kiri (resp. kanan) terkecil keduanya <math>\mathfrak{a}</math> and <math>\mathfrak{b}</math> (atau satuan <math>\mathfrak{a} \cup \mathfrak{b}</math>), sedangkan produk <math>\mathfrak{a}\mathfrak{b}</math> terkandung <math>\mathfrak{a}</math> dan <math>\mathfrak{b}</math>.

Hukum distributif berlaku untuk ideal dua sisi <math>\mathfrak{a}, \mathfrak{b}, \mathfrak{c}</math>,
*<math>\mathfrak{a}(\mathfrak{b} + \mathfrak{c}) = \mathfrak{a} \mathfrak{b} + \mathfrak{a} \mathfrak{c}</math>,
*<math>(\mathfrak{a} + \mathfrak{b}) \mathfrak{c} = \mathfrak{a}\mathfrak{c} + \mathfrak{b}\mathfrak{c}</math>.
Jika suatu perkalian diganti dengan sebuah persimpangan, hukum distributif parsial berlaku:
:<math>\mathfrak{a} \cap (\mathfrak{b} + \mathfrak{c}) \supset \mathfrak{a} \cap \mathfrak{b} + \mathfrak{a} \cap \mathfrak{c}</math>
dimana kesetaraan jika <math>\mathfrak{a}</math> dengan <math>\mathfrak{b}</math> atau <math>\mathfrak{c}</math>.

'''Catatan''': Jumlah dan ideal; dengan dua operasi sebagai gabung dan temu, himpunan semua ideal dari sebuah gelanggang membentuk sebuah [[kisi lengkap|lengkap]] [[kisi modular]]. Kisi pada umumnya bukan merupakan [[kisi distributif]]. Tiga operasi perpotongan, penjumlahan (atau penggabungan), dan hasil kali membuat himpunan ideal dari sebuah gelanggang komutatif menjadi sebuah [[kuantale]].

== Contoh operasi ideal ==
Dalam <math>\mathbb{Z}</math>
:<math>(n)\cap(m) = \operatorname{lcm}(n,m)\mathbb{Z}</math>
maka <math>(n)\cap(m)</math> adalah himpunan bilangan bulat yang dapat dibagi oleh <math> n </math> dan <math> m </math>.

Maka <math>R = \mathbb{C}[x,y,z,w]</math> dan <math>I = (z, w),\text{ }J = (x+z,y+w),\text{ }K = (x+z, w)</math>. Sehingga,
* <math>I + J = (z,w, x+z, y+w) = (x, y, z, w)</math> dan <math>I + K = (z, w, x + z)</math>
* <math>IJ = (z(x + z), z(y + w), w(x + z), w(y + w))= (z^2 + xz, zy + wz, wx + wz, wy + w^2)</math>
* <math>IK = (xz + z^2, zw, xw + zw, w^2)</math>
* <math>I \cap J = IJ</math> sedangkan <math>I \cap K = (w, xz + z^2) \neq IK</math>
Dalam perhitungan pertama, kita melihat pola umum untuk mengambil jumlah dari dua ideal yang dihasilkan hingga, itu adalah ideal yang dihasilkan oleh penyatuan generator mereka. Dalam tiga yang terakhir kami mengamati bahwa produk dan persimpangan setuju setiap kali dua ideal berpotongan dalam ideal nol. Perhitungan ini dapat diperiksa menggunakan [[Macaulay 2|Macaulay2]].<ref>{{Cite web|url=http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_ideals.html|title=ideals|website=www.math.uiuc.edu|access-date=2017-01-14|archive-url=https://web.archive.org/web/20170116190119/http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_ideals.html|archive-date=2017-01-16|url-status=dead}}</ref><ref>{{Cite web|url=http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_sums_cm_spproducts_cm_spand_sppowers_spof_spideals.html|title=sums, products, and powers of ideals|website=www.math.uiuc.edu|access-date=2017-01-14|archive-url=https://web.archive.org/web/20170116185903/http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_sums_cm_spproducts_cm_spand_sppowers_spof_spideals.html|archive-date=2017-01-16|url-status=dead}}</ref><ref>{{Cite web|url=http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_intersection_spof_spideals.html|title=intersection of ideals|website=www.math.uiuc.edu|access-date=2017-01-14|archive-url=https://web.archive.org/web/20170116185829/http://www.math.uiuc.edu/Macaulay2/doc/Macaulay2-1.9.2/share/doc/Macaulay2/Macaulay2Doc/html/_intersection_spof_spideals.html|archive-date=2017-01-16|url-status=dead}}</ref>

== Radikal dari gelanggang ==
{{main|Radikal dari gelanggang}}
Ideal muncul secara alamiah dalam pembelajaran modul, terutama yang berbentuk radikal.

{{Quote box|Untuk kesederhanaan, kami bekerja dengan gelanggang komutatif tetapi, dengan beberapa perubahan, hasilnya juga berlaku untuk gelanggang non-komutatif.}}

Karena '' R '' menjadi gelanggang komutatif. Menurut definisi, [[ideal primitif]] dari '' R '' adalah annihilator dari a (bukan nol) [[modul sederhana|sederhana modul-'' R '']]. [[Radikal Jacobson]] <math>J = \operatorname{Jac}(R)</math> of ''R'' adalah persimpangan dari semua cita-cita primitif. Sama halnya,
:<math>J = \bigcap_{\mathfrak{m} \text{ ideal maksimal}} \mathfrak{m}.</math>
Memang, jika <math> M </math> adalah modul sederhana dan '' x '' adalah elemen bukan nol di '' M '', maka <math> Rx = M </math> dan <math>R/\operatorname{Ann}(M) = R/\operatorname{Ann}(x) \simeq M</math>, berarti <math>\operatorname{Ann}(M)</math> adalah ideal maksimal. Sebaliknya jika <math>\mathfrak{m}</math> adalah ideal maksimal, maka <math>\mathfrak{m}</math> adalah annihilator dari modul sederhana <math>R/\mathfrak{m}</math>. Ada juga penokohan lain (buktinya tidak sulit):
:<math>J = \{ x \in R \mid 1 - yx \, \text{ adalah elemen unit untuk } y \in R\}.</math>
Untuk gelanggang yang tidak perlu komutatif, ini adalah fakta umum bahwa <math> 1 - yx </math> adalah [[elemen unit]] jika dan hanya jika <math> 1 - xy </math> adalah (lihat link) dan karakterisasi terakhir ini menunjukkan bahwa radikal dapat didefinisikan baik dari segi ideal primitif kiri dan kanan.

Fakta sederhana namun penting berikut ([[lemma Nakayama]]) adalah bawaan dari definisi radikal Jacobson: jika '' M '' adalah modul sehingga <math> JM = M </math>, maka '' M '' tidak menerima [[submodul maksimal]], karena jika ada submodul maksimal <math>L \subsetneq M</math>, <math>J \cdot (M/L) = 0</math> dan <math>M = JM \subset L \subsetneq M</math>, sebuah kontradiksi. Karena bukan nol [[modul finiter hingga]] menerima submodul maksimal, khususnya, yang satu memiliki:
:Jika <math>JM = M</math> dan '' M '' dibuat tak terbatas <math> M = 0. </math>

Ideal maksimal adalah ideal utama dan begitulah yang dimilikinya
:<math>\operatorname{nil}(R) =
\bigcap_{\mathfrak{p} \text { ideal prima}} \mathfrak{p} \subset \operatorname{Jac}(R)</math>
dimana perpotongan di sebelah kiri disebut [[gelanggang nilradikal|nilradikal]] dari '' R ''. Ternyata, <math>\operatorname{nil}(R)</math> juga himpunan [[elemen nilpoten]] dari '' R ''.

Jika '' R '' adalah [[gelanggang Artinian]], maka <math>\operatorname{Jac}(R)</math> adalah nilpoten dan <math>\operatorname{nil}(R) = \operatorname{Jac}(R)</math>. (Bukti: catatan pertama DCC menyiratkan <math>J^n = J^{n+1}</math> untuk beberapa '' n ''. Jika (DCC) <math>\mathfrak{a} \supsetneq \operatorname{Ann}(J^n)</math> adalah ideal minimal yang terakhir, lalu <math>J \cdot (\mathfrak{a}/\operatorname{Ann}(J^n)) = 0</math>. Itu adalah, <math>J^n \mathfrak{a} = J^{n+1} \mathfrak{a} = 0</math>, kontradiksi.)

== Lihat pula ==
* [[Aritmetika modular]]
* [[Teorema isomorfisme noether]]
* [[Teorema ideal prima Boolean]]
* [[Teori ideal]]
* [[Ideal (teori urutan)]]
* [[Norma ideal]]
* [[Pemisah ideal utama dalam ekstensi Galois]]
* [[Berkas ideal]]

== Catatan ==
{{reflist|group=note}}

== Referensi ==
{{Reflist}}
{{Refbegin}}
*[[M. F. Atiyah|Atiyah, M. F.]] and [[Ian G. Macdonald|Macdonald, I. G.]], ''[[Introduction to Commutative Algebra]]'', Perseus Books, 1969, {{ISBN|0-201-00361-9}}
* {{Cite book | last=Lang | first =Serge | author-link=Serge Lang | title=Undergraduate Algebra | edition=Third | publisher=[[Springer-Verlag]] | isbn=978-0-387-22025-3 | year=2005 }}
* [[Michiel Hazewinkel]], Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko. ''Algebras, rings and modules''. Volume 1. 2004. Springer, 2004. {{ISBN|1-4020-2690-0}}
*{{Citation | last1=Milnor | first1=John Willard | author1-link= John Milnor | title=Introduction to algebraic K-theory | publisher=[[Princeton University Press]] | location=Princeton, NJ | mr=0349811 | year=1971 | zbl=0237.18005 | series=Annals of Mathematics Studies | volume=72}}{{Refend}}

== Pranala luar ==
*{{cite web |first=Jake |last=Levinson |title=The Geometric Interpretation for Extension of Ideals? |date=July 14, 2014 |url=https://math.stackexchange.com/q/866598 |work=[[Stack Exchange]] }}

{{Authority control}}

[[Kategori:Ideal| ]]
[[Kategori:Struktur aljabar]]
[[Kategori:Aljabar komutatif]]
[[Kategori:Teori bilangan aljabar]]