Ranah integral

Dalam matematika, khususnya aljabar abstrak, sebuah ranah integral atau domain integral adalah gelanggang komutatif bukan nol dimana produk dari dua elemen bukan nol yang merupakan bukan nol.^[1]^[2] Ranah integral adalah generalisasi dari gelanggang bilangan bulat dan pengaturan untuk mempelajari keterbagian. Dalam ranah integral, setiap elemen bukan nol a memiliki sifat pembatalan, yaitu jika a ≠ 0, persamaan ab = ac mengartikan b = c.

"Ranah integral" didefinisikan hampir secara universal sebagai contoh di atas, tetapi terdapat beberapa variasi. Artikel ini menggunakan konvensi bahwa gelanggang memiliki identitas perkalian, umumnya dilambangkan dengan 1, tetapi beberapa penulis tidak menggunakan ini, dengan tidak mewajibkan ranah integral untuk memiliki identitas perkalian.^[3]^[4] Ranah integral nonkomutatif terkadang diterima.^[5] Artikel ini, menggunakan konvensi yang jauh lebih umum tentang penggunaan istilah "ranah integral" untuk kasus komutatif dan menggunakan "ranah" untuk kasus umum termasuk gelanggang nonkomutatif.

Beberapa sumber, terutama Lang, menggunakan istilah seluruh gelanggang untuk ranah integral.^[6]

Beberapa jenis domain integral tertentu diberikan dengan rantai berikut inklusi kelas:

gelang ⊃ gelanggang ⊃ gelanggang komutatif ⊃ ranah integral ⊃ ranah tertutup integral ⊃ Ranah FPB ⊃ ranah faktorisasi unik ⊃ ranah ideal utama ⊃ ranah Euklidean ⊃ medan ⊃ medan aljabar tertutup

Definisi

Ranah integral adalah gelanggang komutatif bukan nol dimana produk dari dua elemen bukan nol adalah bukan nol. Ekuivalen:

Ranah integral adalah gelanggang komutatif bukan nol tanpa nol pembagi nol.
Ranah integral adalah gelanggang komutatif dimana nol ranah {0} adalah ranah prima.
Ranah integral adalah gelanggang komutatif bukan nol untuk setiap elemen bukan nol pembatalannya dalam perkalian.
Ranah integral adalah sebuah gelanggang untuk himpunan elemen bukan nol yang merupakan komutatif monoid dalam perkalian (karena sebuah monoid tertutup di bawah perkalian).
Ranah integral adalah gelanggang komutatif bukan nol dimana setiap elemen bukan nol r, fungsi yang memetakan setiap elemen x dari gelanggang ke produk xr adalah injeksi. Elemen r dengan sifat ini disebut regular, jadi ekuivalen dengan mensyaratkan setiap elemen bukan nol dari gelanggang menjadi reguler.
Ranah integral adalah sebuah gelanggang yang isomorfik ke subgelanggang dari medan. Diberikan domain integral, untuk menyematkan dalam medan pecahan.

Contoh

Contoh pola dasar adalah gelanggang $\mathbb {Z}$ dari semua bilangan bulat.
Setiap medan adalah ranah integral. Misalnya, medan $\mathbb {R}$ dari semua bilangan riil adalah ranah integral. Sebaliknya, setiap ranah integral Artinian adalah medan. Secara khusus, semua ranah integral hingga adalah medan hingga (lebih umum, oleh teorema kecil Wedderburn, ranah hingga adalah Medan hingga). Gelanggang bilangan bulat $\mathbb {Z}$ diberikan contoh ranah integral tak hingga non-Artinian yang bukan medan, memiliki urutan ranah yang menurun tak hingga, sebagai:

\mathbb {Z} \supset 2\mathbb {Z} \supset \cdots \supset 2^{n}\mathbb {Z} \supset 2^{n+1}\mathbb {Z} \supset \cdots

Gelanggang polinomial adalah ranah integral, jika koefisien berasal dari ranah integral. Misalnya, gelanggang $\mathbb {Z} [x]$ dari semua polinomial dalam satu variabel dengan koefisien bilangan bulat adalah ranah integral; begitu pula dengan gelanggang $\mathbb {C} [x_{1},\ldots ,x_{n}]$ dari semua polinomial dalam variabel-n dengan koefisien kompleks.
Contoh sebelumnya dapat dieksploitasi lebih lanjut dengan mengambil hasil bagi dari ideal utama. Misalnya, gelanggang $\mathbb {C} [x,y]/(y^{2}-x(x-1)(x-2))$ dengan medan kurva elips adalah domain integral. Integralitas dapat ditunjukkan dengan $y^{2}-x(x-1)(x-2)$ yang merupakan polinomial tak tersederhanakan.
Gelanggang $\mathbb {Z} [x]/(x^{2}-n)\cong \mathbb {Z} [{\sqrt {n}}]$ adalah ranah integral untuk bilangan bulat yang bukan kuadrat $n$ . Jika $n>0$ maka gelanggang ini merupakan subgelanggang dari $\mathbb {R}$ , jika tidak, ini adalah subgelanggang dari $\mathbb {C} .$
Gelanggang bilangan bulat p-adik $\mathbb {Z} _{p}$ adalah ranah integral.
Jika $U$ adalah himpunan bagian terbuka yang terhubung dari bidang kompleks $\mathbb {C}$ , maka gelanggang ${\mathcal {H}}(U)$ terdiri dari semua fungsi holomorfik adalah ranah integral. Hal yang sama berlaku untuk gelanggang fungsi analitik pada himpunan bagian terbuka yang terhubung dari lipatan analitik yang terhubung.
Gelanggang lokal reguler adalah ranah integral. Faktanya, gelanggang lokal biasa adalah RFU.^[7]^[8]

Bukan contoh

Gelanggang berikut adalah ranah integral bukan contoh.

Gelanggang nol yang merupakan $0=1$ .
Gelanggang hasil bagi $\mathbb {Z} /m\mathbb {Z}$ ketika m adalah bilangan komposit. Memilih faktorisasi $m=xy$ : artinya $x$ dan $y$ tidak sama dengan $1$ or $m$ . Maka $x\not \equiv 0{\bmod {m}}$ dan $y\not \equiv 0{\bmod {m}}$ , melainkan $xy\equiv 0{\bmod {m}}$ .
Produk adalah dua gelanggang komutatif bukan nol. Dalam produk $R\times S$ , memiliki $(1,0)\cdot (0,1)=(0,0)$ .
Gelanggang hasil bagi $\mathbb {Z} [x]/(x^{2}-n^{2})$ untuk $n\in \mathbb {Z}$ . Citra dari $x+n$ dan $x-n$ adalah bukan nol, sedangkan produknya adalah 0 di gelanggang ini.
Gelanggang dari matriks n × n untuk setiap gelanggang bukan nol n ≥ 2. Jika $M$ dan $N$ adalah matriks sedemikian rupa sehingga citra $N$ dimuat dalam kernel $M$ , maka $MN=0$ . Misalnya, untuk $M=N=({\begin{smallmatrix}0&1\\0&0\end{smallmatrix}})$ .
Gelanggang hasil bagi $k[x_{1},\ldots ,x_{n}]/(fg)$ untuk setiap medan $k$ dan semua polinomial tidak konstan $f,g\in k[x_{1},\ldots ,x_{n}]$ . Citra dari $f$ dan $g$ dalam gelanggang hasil bagi ini adalah elemen bukan nol yang hasil kalinya 0. Argumen ini menunjukkan, secara ekuivalen, bahwa $(fg)$ bukanlah prima ideal. Interpretasi geometris dari hasil ini adalah bahwa nol dari $fg$ bentuk himpunan aljabar affin yang tidak direduksi (yaitu, bukan variasi aljabar) secara umum. Satu-satunya kasus dimana himpunan aljabar ini mungkin tidak direduksi adalah ketika $fg$ adalah pangkat dari polinomial tak tereduksi, yang mendefinisikan himpunan aljabar yang sama.
Gelanggang fungsi kontinu pada interval unit. Pertimbangkan fungsi

f(x)={\begin{cases}1-2x&x\in \left[0,{\tfrac {1}{2}}\right]\\0&x\in \left[{\tfrac {1}{2}},1\right]\end{cases}}\qquad g(x)={\begin{cases}0&x\in \left[0,{\tfrac {1}{2}}\right]\\2x-1&x\in \left[{\tfrac {1}{2}},1\right]\end{cases}}

Baik

f

maupun

g

terdapat dimana-mana adalah nol, tetapi

fg

ada.

Produk tensor $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ . Gelanggang ini memiliki dua non-trivial idempoten, $e_{1}={\tfrac {1}{2}}(1\otimes 1)-{\tfrac {1}{2}}(i\otimes i)$ and $e_{2}={\tfrac {1}{2}}(1\otimes 1)+{\tfrac {1}{2}}(i\otimes i)$ . Salah satu dari semua adalah ortogonal, artinya $e_{1}e_{2}=0$ , dan karenanya $\mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ bukan ranah. Faktanya, terdapat isomorfisme $\mathbb {C} \times \mathbb {C} \to \mathbb {C} \otimes _{\mathbb {R} }\mathbb {C}$ didefinisikan oleh $(z,w)\mapsto z\cdot e_{1}+w\cdot e_{2}$ . Kebalikannya yang ditentukan oleh $z\otimes w\mapsto (zw,z{\overline {w}})$ . Contoh ini menunjukkan bahwa produk serat dari skema affin yang tidak direduksi tidak perlu tereduksi.

Keterbagian, elemen utama, dan elemen yang tidak direduksi

Di bagian ini, R adalah ranah integral.

Diberikan elemen a dan b dari R, bahwa a dibagi b, atau bahwa a adalah pembagi dari b, atau b adalah kelipatan dari a, jika elemen x dalam R sedemikian rupa sehingga ax = b.

Unit dari R adalah elemen yang membagi 1; tepatnya elemen invers di R. Unit membagi semua elemen lainnya.

Jika a membagi b dan b membagi a, maka a dan b adalah elemen asosiasi atau asosiasi.^[9] Secara ekuivalen, a dan b adalah asosiatif jika a = ub untuk beberapa unit u.

Elemen tak tereduksi adalah bukan nol yang tidak dapat dituliskan sebagai produk dari dua bukan satuan.

Bukan nol bukan unit p adalah elemen prima, jika setiap p membagi produk ab, maka p membagi a atau p membagi b. Secara ekuivalen, elemen p adalah bilangan prima jika dan hanya jika ideal utama (p) adalah ideal prima bukan nol.

Kedua gagasan tentang elemen tak tersederhanakan dan elemen prima menggeneralisasi definisi biasa dari bilangan prima di gelanggang $\mathbb {Z} ,$ jika kita menganggap bilangan prima negatif sebagai prima.

Setiap elemen utama tidak direduksi. Kebalikannya tidak benar secara umum: misalnya, dalam gelanggang bilangan bulat kuadrat $\mathbb {Z} \left[{\sqrt {-5}}\right]$ elemen 3 tidak direduksi (jika difaktorkan secara nontrivial, faktor tersebut harus memiliki norma 3, tetapi tidak ada elemen norma 3 karena $a^{2}+5b^{2}=3$ tidak memiliki solusi bilangan bulat), tetapi tidak prima (karena 3 membagi $\left(2+{\sqrt {-5}}\right)\left(2-{\sqrt {-5}}\right)$ tanpa membagi salah satu faktor). Dalam domain faktorisasi unik (atau lebih umum, ranah GCD), elemen yang tidak direduksi adalah elemen prima.

Sementara faktorisasi unik tidak berlaku $\mathbb {Z} \left[{\sqrt {-5}}\right]$ , terdapat faktorisasi unik dari ideal. Lihat teorema Lasker–Noether.

Sifat

Gelanggang komutatif R adalah domain integral jika dan hanya jika ideal (0) dari R adalah ideal prima.
Jika R adalah gelanggang komutatif dan P adalah ideal dalam R, maka gelanggang hasil bagi R/P adalah ranah integral jika dan hanya jika P adalah prima ideal.
Misalkan R sebagai ranah integral. Maka gelanggang polinomial di atas R (dalam jumlah tak tentu) adalah ranah integral. Ini khususnya terjadi jika R adalah medan.
Sifat pembatalan berlaku dalam setiap ranah integral: untuk setiap a, b, dan c dalam ranah integral, jika a ≠ 0 dan ab = ac maka b = c. Cara lain untuk menyatakan ini adalah fungsi x Templat:Mapsto ax adalah injektif untuk sembarang a bukan nol dalam ranah.
Sifat pembatalan berlaku untuk ideal dalam ranah integral: jika xI = xJ, maka salah satu x adalah nol atau I = J.
Ranah integral sama dengan perpotongan lokalisasi pada ideal maksimalnya.
Limit induktif dari ranah integral merupakan ranah integral.
Jika $A,B$ adalah ranah integral di atas medan tertutup aljabar k, maka $A\otimes _{k}B$ adalah ranah integral. Ini adalah konsekuensi dari nullstellensatz Hilbert,^{[catatan 1]} dan, dalam geometri aljabar, ini menyiratkan pernyataan bahwa gelanggang koordinat dari hasil kali dua varietas aljabar affin di atas medan tertutup secara aljabar merupakan ranah integral.

Medan pecahan

Medan pecahan K dari ranah integral R adalah himpunan pecahan a/b dengan a dan b dalam R dan b ≠ 0 modulo relasi ekuivalen yang sesuai, dilengkapi dengan operasi penjumlahan dan perkalian biasa. Ini adalah "bidang terkecil yang mengandung R" dalam arti bahwa terdapat homomorfisme gelanggang injeksi R → K sedemikian rupa, maka setiap homomorfisme gelanggang injeksi dari R ke faktor medan melalui K. Medan pecahan gelanggang bilangan bulat $\mathbb {Z}$ adalah medan bilangan rasional $\mathbb {Q} .$ Medan pecahan suatu bidang adalah isomorfik ke medan itu sendiri.

Karakteristik dan homomorfisme

Karakteristik dari ranah integral adalah 0 atau bilangan prima.

Jika R adalah ranah integral dari karakteristik prima p, maka endomorfisme Frobenius f(x) = x^p adalah injektif.

Lihat pula

Norma Dedekind–Hasse - struktur tambahan yang diperlukan untuk ranah integral menjadi prinsipal
Sifat produk nol

Catatan

^ Bukti: Pertama, asumsikan A yang dihasilkan secara halus sebagai aljabar-k dan pilih basis- $k$ dengan $g_{i}$ dari $B$ . Seharusnya ${\textstyle \sum f_{i}\otimes g_{i}\sum h_{j}\otimes g_{j}=0}$ (hanya $f_{i},h_{j}$ yang bukan nol). Untuk setiap ideal maksimal ${\mathfrak {m}}$ dari $A$ , pertimbangkan homomorfisme gelanggang $A\otimes _{k}B\to A/{\mathfrak {m}}\otimes _{k}B=k\otimes _{k}B\simeq B$ . Maka citranya adalah ${\textstyle \sum {\overline {f_{i}}}g_{i}\sum {\overline {h_{i}}}g_{i}=0}$ dan dengan demikian ${\textstyle \sum {\overline {f_{i}}}g_{i}=0}$ atau ${\textstyle \sum {\overline {h_{i}}}g_{i}=0}$ dan, dengan kebebasan linear, ${\overline {f_{i}}}=0$ untuk semua $i$ atau ${\overline {h_{i}}}=0$ untuk semua $i$ . Karena ${\mathfrak {m}}$ adalah arbitrari, maka ${\textstyle (\sum f_{i}A)(\sum h_{i}A)\subset \operatorname {Jac} (A)=}$ persimpangan dari semua ideal maksimal $=(0)$ dimana persamaan terakhir adalah oleh Nullstellensatz. Karena $(0)$ adalah ideal utama, ini berarti ${\textstyle \sum f_{i}A}$ atau ${\textstyle \sum h_{i}A}$ adalah ideal nol; yaitu, baik $f_{i}$ semuanya nol atau $h_{i}$ semuanya nol. Terakhir, $A$ adalah batas induktif dari k yang dihasilkan secara hingga aljabar yang merupakan ranah integral dan karenanya, menggunakan sifat sebelumnya, $A\otimes _{k}B=\varinjlim A_{i}\otimes _{k}B$ adalah ranah integral. $\square$

^ Bourbaki, p. 116.
^ Dummit dan Foote, hal. 228.
^ B.L. van der Waerden, Algebra Erster Teil, p. 36, Springer-Verlag, Berlin, Heidelberg 1966.
^ I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.
^ J.C. McConnell and J.C. Robson "Noncommutative Noetherian Rings" (Graduate Studies in Mathematics Vol. 30, AMS)
^ Pages 91–92 of Templat:Lang Algebra
^ Auslander, Maurice; Buchsbaum, D. A. (1959). "Unique factorization in regular local rings". Proc. Natl. Acad. Sci. USA. 45 (5): 733–734. doi:10.1073/pnas.45.5.733. PMC 222624 . PMID 16590434.
^ Masayoshi Nagata (1958). "A general theory of algebraic geometry over Dedekind domains. II". Amer. J. Math. The Johns Hopkins University Press. 80 (2): 382–420. doi:10.2307/2372791. JSTOR 2372791.
^ Durbin, John R. (1993). Modern Algebra: An Introduction (edisi ke-3rd). John Wiley and Sons. hlm. 224. ISBN 0-471-51001-7. Elemen a dan b dari [domain integral] disebut asosiasi jika a Teks "b dan b" akan diabaikan (bantuan); Teks "a." akan diabaikan (bantuan)

Referensi

Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3.
Bourbaki, Nicolas (1998). Algebra, Chapters 1–3. Berlin, New York: Springer-Verlag. ISBN 978-3-540-64243-5.
Mac Lane, Saunders; Birkhoff, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 1-56881-068-7. MR 0214415.
Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (edisi ke-3rd). New York: Wiley. ISBN 978-0-471-43334-7.
Hungerford, Thomas W. (2013). Abstract Algebra: An Introduction (edisi ke-3rd). Cengage Learning. ISBN 978-1-111-56962-4.
Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. Berlin, New York: Springer-Verlag. ISBN 978-0-387-95385-4. MR 1878556.
Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.
Rowen, Louis Halle (1994). Algebra: groups, rings, and fields. A K Peters. ISBN 1-56881-028-8.
Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 0-534-42323-X.
Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 1-4020-0238-6.
B.L. van der Waerden, Algebra, Springer-Verlag, Berlin Heidelberg, 1966.

Pranala luar

"Darimana istilah "ranah integral" berasal?".

[10] Bukti: Pertama, asumsikan A yang dihasilkan secara halus sebagai aljabar-k dan pilih basis- $k$ dengan $g_{i}$ dari $B$ . Seharusnya ${\textstyle \sum f_{i}\otimes g_{i}\sum h_{j}\otimes g_{j}=0}$ (hanya $f_{i},h_{j}$ yang bukan nol). Untuk setiap ideal maksimal ${\mathfrak {m}}$ dari $A$ , pertimbangkan homomorfisme gelanggang $A\otimes _{k}B\to A/{\mathfrak {m}}\otimes _{k}B=k\otimes _{k}B\simeq B$ . Maka citranya adalah ${\textstyle \sum {\overline {f_{i}}}g_{i}\sum {\overline {h_{i}}}g_{i}=0}$ dan dengan demikian ${\textstyle \sum {\overline {f_{i}}}g_{i}=0}$ atau ${\textstyle \sum {\overline {h_{i}}}g_{i}=0}$ dan, dengan kebebasan linear, ${\overline {f_{i}}}=0$ untuk semua $i$ atau ${\overline {h_{i}}}=0$ untuk semua $i$ . Karena ${\mathfrak {m}}$ adalah arbitrari, maka ${\textstyle (\sum f_{i}A)(\sum h_{i}A)\subset \operatorname {Jac} (A)=}$ persimpangan dari semua ideal maksimal $=(0)$ dimana persamaan terakhir adalah oleh Nullstellensatz. Karena $(0)$ adalah ideal utama, ini berarti ${\textstyle \sum f_{i}A}$ atau ${\textstyle \sum h_{i}A}$ adalah ideal nol; yaitu, baik $f_{i}$ semuanya nol atau $h_{i}$ semuanya nol. Terakhir, $A$ adalah batas induktif dari k yang dihasilkan secara hingga aljabar yang merupakan ranah integral dan karenanya, menggunakan sifat sebelumnya, $A\otimes _{k}B=\varinjlim A_{i}\otimes _{k}B$ adalah ranah integral. $\square$

[1] Bourbaki, p. 116.

[2] Dummit dan Foote, hal. 228.

[3] B.L. van der Waerden, Algebra Erster Teil, p. 36, Springer-Verlag, Berlin, Heidelberg 1966.

[4] I.N. Herstein, Topics in Algebra, p. 88-90, Blaisdell Publishing Company, London 1964.

[5] J.C. McConnell and J.C. Robson "Noncommutative Noetherian Rings" (Graduate Studies in Mathematics Vol. 30, AMS)

[6] Pages 91–92 of Templat:Lang Algebra

[7] Auslander, Maurice; Buchsbaum, D. A. (1959). "Unique factorization in regular local rings". Proc. Natl. Acad. Sci. USA. 45 (5): 733–734. doi:10.1073/pnas.45.5.733. PMC 222624 . PMID 16590434.

[8] Masayoshi Nagata (1958). "A general theory of algebraic geometry over Dedekind domains. II". Amer. J. Math. The Johns Hopkins University Press. 80 (2): 382–420. doi:10.2307/2372791. JSTOR 2372791.

[9] Durbin, John R. (1993). Modern Algebra: An Introduction (edisi ke-3rd). John Wiley and Sons. hlm. 224. ISBN 0-471-51001-7. Elemen a dan b dari [domain integral] disebut asosiasi jika a Teks "b dan b" akan diabaikan (bantuan); Teks "a." akan diabaikan (bantuan)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[catatan 1]