Gelanggang Boolean - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T18:08:19Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 18.08
Baris 1:		Baris 1:
	Dalam [[matematika]], sebuah '''gelanggang Boolean''' ''R'' adalah [[gelanggang (matematika)\|gelanggang]] ''x''<sup>2</sup> = ''x'' untuk semua ''x'' di ''R'', yaitu, gelanggang yang terdiri dari [[elemen idempoten (teori gelanggang)\|elemen idempoten]]. Contohnya adalah gelanggang dari [[aritmetika modular#Bilangan modulo n\|bilangan bulat modulo 2]].		Dalam [[matematika]], sebuah '''gelanggang Boolean''' ''R'' adalah [[gelanggang (matematika)\|gelanggang]] ''x''<sup>2</sup> = ''x'' untuk semua ''x'' di ''R'',<ref>[https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 sumber pada Wikipedia bahasa Indonesia]</ref> yaitu, gelanggang yang terdiri dari [[elemen idempoten (teori gelanggang)\|elemen idempoten]].<ref>[https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 sumber pada Wikipedia bahasa Indonesia]</ref><ref>[https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 sumber pada Wikipedia bahasa Indonesia]</ref> Contohnya adalah gelanggang dari [[aritmetika modular#Bilangan modulo n\|bilangan bulat modulo 2]].

	Setiap gelanggang Boolean menghasilkan [[Aljabar Boolean (struktur)\|aljabar Boolean]], dengan perkalian gelanggang yang sesuai dengan [[konjungsi logis\|konjungsi]] atau [[bertemu (matematika)\|bertemu]] ∧, dan penambahan ring ke [[eksklusif atau\|disjungsi eksklusif]] atau [[perbedaan simetris]] (bukan [[logika disjungsi\|disjungsi]] ∨, dalam bentuk [[semigelanggang]]). Gelanggang Boolean dinamai menurut penemu aljabar Boolean, [[George Boole]].		Setiap gelanggang Boolean menghasilkan [[Aljabar Boolean (struktur)\|aljabar Boolean]], dengan perkalian gelanggang yang sesuai dengan [[konjungsi logis\|konjungsi]] atau [[bertemu (matematika)\|bertemu]] ∧, dan penambahan ring ke [[eksklusif atau\|disjungsi eksklusif]] atau [[perbedaan simetris]] (bukan [[logika disjungsi\|disjungsi]] ∨,<ref>[https://math.stackexchange.com/q/1621618 Salinan arsip].</ref> dalam bentuk [[semigelanggang]]). Gelanggang Boolean dinamai menurut penemu aljabar Boolean, [[George Boole]].

	== Notasi ==		== Notasi ==
Baris 16:		Baris 16:

	== Relasi dengan aljabar Boolean ==		== Relasi dengan aljabar Boolean ==


	Karena operasi sambungan ∨ dalam aljabar Boolean ditulis secara aditif, maka dalam konteks ini untuk menyatakan penambahan gelanggang dengan ⊕, sebuah simbol yang sering digunakan untuk menyatakan [[eksklusif atau]].		Karena operasi sambungan ∨ dalam aljabar Boolean ditulis secara aditif, maka dalam konteks ini untuk menyatakan penambahan gelanggang dengan ⊕, sebuah simbol yang sering digunakan untuk menyatakan [[eksklusif atau]].

Baris 39:		Baris 37:

	== Sifat gelanggang Boolean ==		== Sifat gelanggang Boolean ==

	Setiap gelanggang Boolean ''R'' memenuhi ''x'' ⊕ ''x'' = 0 untuk semua ''x'' dalam ''R'', maka		Setiap gelanggang Boolean ''R'' memenuhi ''x'' ⊕ ''x'' = 0 untuk semua ''x'' dalam ''R'', maka

Baris 56:		Baris 53:
	Setiap [[lokalisasi gelanggang\|lokalisasi]] <math>RS^{-1}</math> dari gelanggang Boolean ''R'' dengan himpunan <math>S\subseteq R</math> adalah gelanggang Boolean, karena setiap elemen dalam lokalisasi adalah idempoten.		Setiap [[lokalisasi gelanggang\|lokalisasi]] <math>RS^{-1}</math> dari gelanggang Boolean ''R'' dengan himpunan <math>S\subseteq R</math> adalah gelanggang Boolean, karena setiap elemen dalam lokalisasi adalah idempoten.

	Gelanggang maksimal hasil bagi <math>Q(R)</math> (dalam pengertian Utumi dan [[Joachim Lambek\|Lambek]]) dari gelanggang Boolean ''R'' adalah gelanggang Boolean, karena setiap endomorfisme parsial dengan sifat idempoten.		Gelanggang maksimal hasil bagi <math>Q(R)</math> (dalam pengertian Utumi dan [[Joachim Lambek\|Lambek]]) dari gelanggang Boolean ''R'' adalah gelanggang Boolean, karena setiap endomorfisme parsial dengan sifat idempoten.<ref>B. Brainerd, J. Lambek. ''On the ring of quotients of a Boolean ring''. ''Canadian Mathematical Bulletin''. 1959. Vol. 2. hlm. 25–29. doi:10.4153/CMB-1959-006-x. Corollary 2.</ref>

	Setiap [[ideal prima]] ''P'' dalam gelanggang Boolean ''R'' adalah [[ideal maksimal\|maksimal]]: [[gelanggang hasil bagi]] ''R''/''P'' adalah [[domain integral]] dan juga gelanggang Boolean, jadi isomorfik ke [[medan (matematika)\|medan]] '''F'''<sub>2</sub>, yang menunjukkan maksimum ''P''. Karena ideal maksimal adalah prima, ideal prima dan ideal maksimal bertepatan dalam gelanggang Boolean.		Setiap [[ideal prima]] ''P'' dalam gelanggang Boolean ''R'' adalah [[ideal maksimal\|maksimal]]: [[gelanggang hasil bagi]] ''R''/''P'' adalah [[domain integral]] dan juga gelanggang Boolean, jadi isomorfik ke [[medan (matematika)\|medan]] '''F'''<sub>2</sub>, yang menunjukkan maksimum ''P''. Karena ideal maksimal adalah prima, ideal prima dan ideal maksimal bertepatan dalam gelanggang Boolean.
Baris 67:		Baris 64:

	== Unifikasi/Penyatuan ==		== Unifikasi/Penyatuan ==
	[[unifikasi (logika)\|Unifikasi]] pada gelanggang Boolean adalah [[desidabilitas (logika)\|desidabilitas]], yaitu, algoritma untuk menyelesaikan persamaan arbitrer pada gelanggang Boolean. Baik penyatuan dan pencocokan dalam [[aljabar hingga\|hingga]] gelanggang Boolean bebas adalah [[kelengkapan-NP]], dan keduanya [[NP-hard]] dalam [[aljabar kesajian-hingga\|kesajian-hingga]] ring Boolean. (faktanya, karena setiap masalah penyatuan ''f''(''X'') = ''g''(''X'') dalam gelanggang Boolean apabila ditulis sebagai masalah pencocokan ''f''(' 'X'') + ''g''(''X'') = 0, soalnya ekuivalen).		[[unifikasi (logika)\|Unifikasi]] pada gelanggang Boolean adalah [[desidabilitas (logika)\|desidabilitas]],<ref>Martin, U. ''Proc. 8th CADE''. Springer. 1986. Vol. 230. hlm. 506–513. doi:10.1007/3-540-16780-3_115. ISBN 978-3-540-16780-8.</ref> yaitu, algoritma untuk menyelesaikan persamaan arbitrer pada gelanggang Boolean. Baik penyatuan dan pencocokan dalam [[aljabar hingga\|hingga]] gelanggang Boolean bebas adalah [[kelengkapan-NP]], dan keduanya [[NP-hard]] dalam [[aljabar kesajian-hingga\|kesajian-hingga]] ring Boolean.<ref>Abdelilah Kandri-Rody. ''Rewriting Techniques and Applications''. 1985. Vol. 202. hlm. 345–364. doi:10.1007/3-540-15976-2_17. ISBN 978-3-540-15976-6.</ref> (faktanya, karena setiap masalah penyatuan ''f''(''X'') = ''g''(''X'') dalam gelanggang Boolean apabila ditulis sebagai masalah pencocokan ''f''(' 'X'') + ''g''(''X'') = 0, soalnya ekuivalen).

	Unifikasi dalam gelanggang Boolean adalah satuan jika semua simbol fungsi yang tidak diinterpretasikan adalah nullari dan finiter jika tidak (yaitu jika simbol fungsi yang tidak muncul dalam tanda tangan gelanggang Boolean semuanya adalah konstanta, maka apabila [[unifikasi generalisasi umum]], dan jika tidak, [[unifikasi (ilmu komputer)#masalah unifikasi, himpunan solusi\|himpunan kelengkapan minimal unifikasi]] hingga).		Unifikasi dalam gelanggang Boolean adalah satuan jika semua simbol fungsi yang tidak diinterpretasikan adalah nullari dan finiter jika tidak (yaitu jika simbol fungsi yang tidak muncul dalam tanda tangan gelanggang Boolean semuanya adalah konstanta, maka apabila [[unifikasi generalisasi umum]], dan jika tidak, [[unifikasi (ilmu komputer)#masalah unifikasi, himpunan solusi\|himpunan kelengkapan minimal unifikasi]] hingga).<ref>A. Boudet. ''Unification of Boolean Rings and Abelian Groups''. ''Journal of Symbolic Computation''. 1989. Vol. 8 (5). hlm. 449–477. doi:10.1016/s0747-7171(89)80054-9.</ref>

	== Lihat pula ==		== Lihat pula ==
Baris 75:		Baris 72:

	== Catatan ==		== Catatan ==


	~~==Referensi==~~


	==Bacaan lebih lanjut==		==Bacaan lebih lanjut==
	*		*
Baris 90:		Baris 82:
	*John Armstrong, [http://unapologetic.wordpress.com/2010/08/04/boolean-rings Gelanggang Boolean]		*John Armstrong, [http://unapologetic.wordpress.com/2010/08/04/boolean-rings Gelanggang Boolean]

			== Referensi ==
			<references />

	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 Wikipedia bahasa Indonesia], revisi 25365904 (2024-02-25T12:55:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 Wikipedia bahasa Indonesia], revisi 25365904 (2024-02-25T12:55:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 25365904; atribusi sumber disertakan.

2026-08-25T17:45:17Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 25365904; atribusi sumber disertakan.

Halaman baru

Dalam [[matematika]], sebuah '''gelanggang Boolean''' ''R'' adalah [[gelanggang (matematika)|gelanggang]] ''x''2 = ''x'' untuk semua ''x'' di ''R'', yaitu, gelanggang yang terdiri dari [[elemen idempoten (teori gelanggang)|elemen idempoten]]. Contohnya adalah gelanggang dari [[aritmetika modular#Bilangan modulo n|bilangan bulat modulo 2]].

Setiap gelanggang Boolean menghasilkan [[Aljabar Boolean (struktur)|aljabar Boolean]], dengan perkalian gelanggang yang sesuai dengan [[konjungsi logis|konjungsi]] atau [[bertemu (matematika)|bertemu]] ∧, dan penambahan ring ke [[eksklusif atau|disjungsi eksklusif]] atau [[perbedaan simetris]] (bukan [[logika disjungsi|disjungsi]] ∨, dalam bentuk [[semigelanggang]]). Gelanggang Boolean dinamai menurut penemu aljabar Boolean, [[George Boole]].

== Notasi ==
Setidaknya ada empat sistem notasi yang berbeda dan tidak kompatibel untuk gelanggang dan aljabar Boolean:
* Dalam [[aljabar komutatif]] notasi standarnya adalah menggunakan ''x'' + ''y'' = (''x'' ∧ ¬ ''y'') ∨ (¬ ''x'' ∧ ''y'') untuk jumlah gelanggang ''x'' dan ''y'', dan menggunakangunakan ''xy'' = ''x'' ∧ ''y'' untuk produknya.
* Dalam [[Logika matematika|logika]], notasi yang umum adalah menggunakan ''x'' ∧ ''y'' untuk pertemuan (sama seperti produk gelanggang) dan menggunakan ''x'' ∨ ''y'' untuk sambungan, diberikan dalam notasi gelanggang (diberikan di atas) oleh ''x'' + ''y'' + ''xy''.
* Dalam [[teori himpunan]] dan logika, juga umum untuk menggunakan ''x'' · ''y'' untuk pertemuan, dan ''x'' + ''y'' untuk sambungan ''x'' ∨ ''y''. Penggunaan + ini berbeda dengan penggunaan dalam teori gelanggang.
* Sebuah konvensi langka adalah menggunakan ''xy'' untuk produk dan ''x'' ⊕ ''y'' untuk jumlah gelanggang, dalam upaya untuk menghindari ambiguitas +.

Secara historis, istilah "gelanggang Boolean" telah digunakan untuk mengartikan "menggunakan gelanggang Boolean tanpa identitas", dan "aljabar Boolean" telah digunakan untuk mengartikan gelanggang Boolean dengan identitas. Keberadaan identitas diperlukan untuk mempertimbangkan gelanggang sebagai aljabar pada [[GF(2)|bidang dua elemen]]: jika tidak, tidak mungkin ada homomorfisme gelanggang (unital) dari medan dua elemen dalam gelanggang Boolean (ini sama dengan penggunaan lama istilah "gelanggang" dan "aljabar" dalam [[teori pengukuran]]).

== Contoh ==
Salah satu contoh ring Boolean adalah [[himpunan kuasa]] dari sembarang himpunan ''X'', dimana penjumlahan pada ring adalah [[perbedaan simetris]], dan perkaliannya adalah [[irisan (teori himpunan)|irisan/persimpangan]]. Sebagai contoh lain, apabila mempertimbangkan himpunan semua [[himpunan hingga|hingga]] atau [[himpunan bagian]] kohingga dari ''X'', dengan perbedaan simetris dan irisan sebagai operasi. Lebih umum dengan operasi ini setiap [[medan himpunan]] adalah gelanggang Boolean. Dengan [[Teorema wakilan Stone untuk aljabar Boolean|teorema wakilan Stone]] setiap gelanggang Boolean isomorfik pada [[medan himpunan]] (sebagai gelanggang dengan operasi ini).

== Relasi dengan aljabar Boolean ==

Karena operasi sambungan ∨ dalam aljabar Boolean ditulis secara aditif, maka dalam konteks ini untuk menyatakan penambahan gelanggang dengan ⊕, sebuah simbol yang sering digunakan untuk menyatakan [[eksklusif atau]].

Diberikan gelanggang Boolean ''R'', untuk ''x'' dan ''y'' di ''R'' maka didefinisikan

:''x'' ∧ ''y'' = ''xy'',

:''x'' ∨ ''y'' = ''x'' ⊕ ''y'' ⊕ ''xy'',

:¬''x'' = 1 ⊕ ''x''.

Operasi ini kemudian memenuhi semua [[aksioma]] untuk pertemuan, sambungan, dan melengkapi dalam [[Aljabar Boolean (struktur)|aljabar Boolean]]. Jadi setiap gelanggang Boolean sebagai aljabar Boolean. Demikian pula, setiap aljabar Boolean sebagai gelanggang Boolean sebagai berikut:

:''xy'' = ''x'' ∧ ''y'',

:''x'' ⊕ ''y'' = (''x'' ∨ ''y'') ∧ ¬(''x'' ∧ ''y'').

Jika gelanggang Boolean ditranslasikan dalam aljabar Boolean dengan cara ini, dan kemudian aljabar Boolean ditranslasikan dalam gelanggang, hasilnya adalah gelanggang asli. Hasil analogi dimulai dengan aljabar Boolean.

Peta antara dua gelanggang Boolean adalah [gelanggang [homomorfisme]] [[jika dan hanya jika]] adalah homomorfisme dari aljabar Boolean yang sesuai. Selanjutnya, sebuah himpunan bagian dari gelanggang Boolean adalah [[gelanggang ideal]] (ideal gelanggang prima, gelanggang ideal maksimal) jika dan hanya jika adalah [[urutan ideal]] (urutan ideal prima, urutan ideal maksimal) dari aljabar Boolean. [[Gelanggang hasil bagi]] dari modulo gelanggang ideal Boolean sesuai dengan aljabar faktor dari modulo aljabar Boolean urutan ideal yang sesuai.

== Sifat gelanggang Boolean ==

Setiap gelanggang Boolean ''R'' memenuhi ''x'' ⊕ ''x'' = 0 untuk semua ''x'' dalam ''R'', maka

:''x'' ⊕ ''x'' = (''x'' ⊕ ''x'')2 = ''x''2 ⊕ ''x''2 ⊕ ''x''2 ⊕ ''x''2 = ''x'' ⊕ ''x'' ⊕ ''x'' ⊕ ''x''

dan karena (''R'',⊕) adalah [[Grup Abelian|grup abelian]], apabila mengurangkan ''x'' ⊕ ''x'' dari kedua ruas persamaan ini, yang menghasilkan ''x'' ⊕ ''x'' = 0. Bukti serupa menunjukkan bahwa setiap gelanggang Boolean adalah [[komutatif]]:

:''x'' ⊕ ''y'' = (''x'' ⊕ ''y'')2 = ''x''2 ⊕ ''xy'' ⊕ ''yx'' ⊕ ''y''2 = ''x'' ⊕ ''xy'' ⊕ ''yx'' ⊕ ''y''

dan ini menghasilkan ''xy'' ⊕ ''yx'' = 0, yang berarti ''xy'' = ''yx'' (menggunakan sifat pertama di atas).

Properti ''x'' ⊕ ''x'' = 0 menunjukkan bahwa sembarang gelanggang Boolean adalah [[aljabar asosiatif]] atas [[medan (matematika)|medan]] '''F''' 2 dengan dua elemen, dengan tepat satu cara. Secara khusus, setiap ring Boolean berhingga memiliki [[kardinalitas]] dari sebuah [[dua pangkat]]. Tidak setiap aljabar asosiatif satuan atas '''F'''2 adalah gelanggang Boolean: misalnya [[gelanggang polinomial]] '''F'''2[''X''].

Gelanggang hasil bagi ''R''/''I'' dari setiap gelanggang Boolean ''R'' modulo setiap ideal ''I'' salah satu dari gelanggang Boolean. Demikian pula, setiap [[subgelanggang]] dari gelanggang Boolean adalah ring Boolean.

Setiap [[lokalisasi gelanggang|lokalisasi]] <math>RS^{-1}</math> dari gelanggang Boolean ''R'' dengan himpunan <math>S\subseteq R</math> adalah gelanggang Boolean, karena setiap elemen dalam lokalisasi adalah idempoten.

Gelanggang maksimal hasil bagi <math>Q(R)</math> (dalam pengertian Utumi dan [[Joachim Lambek|Lambek]]) dari gelanggang Boolean ''R'' adalah gelanggang Boolean, karena setiap endomorfisme parsial dengan sifat idempoten.

Setiap [[ideal prima]] ''P'' dalam gelanggang Boolean ''R'' adalah [[ideal maksimal|maksimal]]: [[gelanggang hasil bagi]] ''R''/''P'' adalah [[domain integral]] dan juga gelanggang Boolean, jadi isomorfik ke [[medan (matematika)|medan]] '''F'''2, yang menunjukkan maksimum ''P''. Karena ideal maksimal adalah prima, ideal prima dan ideal maksimal bertepatan dalam gelanggang Boolean.

Gelanggang Boolean adalah [[cincin beraturan von Neumann]].

Gelanggang Boolean memiliki sifat datar: ini berarti bahwa setiap modul di atasnya adalah [[modul datar|datar]].

Setiap ideal gelanggang Boolean dibangun hingga adalah [[ideal utama|prinsipal]] (bahkan, (''x'',''y'') = (''x'' + ''y'' + ''xy '')).

== Unifikasi/Penyatuan ==
[[unifikasi (logika)|Unifikasi]] pada gelanggang Boolean adalah [[desidabilitas (logika)|desidabilitas]], yaitu, algoritma untuk menyelesaikan persamaan arbitrer pada gelanggang Boolean. Baik penyatuan dan pencocokan dalam [[aljabar hingga|hingga]] gelanggang Boolean bebas adalah [[kelengkapan-NP]], dan keduanya [[NP-hard]] dalam [[aljabar kesajian-hingga|kesajian-hingga]] ring Boolean. (faktanya, karena setiap masalah penyatuan ''f''(''X'') = ''g''(''X'') dalam gelanggang Boolean apabila ditulis sebagai masalah pencocokan ''f''(' 'X'') + ''g''(''X'') = 0, soalnya ekuivalen).

Unifikasi dalam gelanggang Boolean adalah satuan jika semua simbol fungsi yang tidak diinterpretasikan adalah nullari dan finiter jika tidak (yaitu jika simbol fungsi yang tidak muncul dalam tanda tangan gelanggang Boolean semuanya adalah konstanta, maka apabila [[unifikasi generalisasi umum]], dan jika tidak, [[unifikasi (ilmu komputer)#masalah unifikasi, himpunan solusi|himpunan kelengkapan minimal unifikasi]] hingga).

== Lihat pula ==
* [[Gelanggang bentuk normal jumlah]]

== Catatan ==

==Referensi==

==Bacaan lebih lanjut==
*
*
*
*
*

== Pranala luar ==
*John Armstrong, [http://unapologetic.wordpress.com/2010/08/04/boolean-rings Gelanggang Boolean]

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Gelanggang+Boolean&oldid=25365904 Wikipedia bahasa Indonesia], revisi 25365904 (2024-02-25T12:55:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.