Gelanggang (matematika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Add 1 book for Wikipedia:Pemastian (20221209)) #IABot (v2.0.9.2) (GreenC bot |
Dedhert.Jr (bicara | kontrib) →Definisi: sudah ada bagian contoh di bawah, tidak perlu ditulis ulang di definisi |
||
Baris 13:
== Definisi ==
[[Berkas:Number-line.svg|alt=|jmpl|410x410px|[[Bilangan bulat]], dengan operasi [[penjumlahan]] dan [[perkalian]], membentuk contoh prototipikal dari gelanggang.]]Sebuah '''gelanggang''' adalah sebuah [[Himpunan (matematika)|himpunan]] ''R'' dengan dua [[operasi biner]] + dan '''·''' yang memenuhi ketiga aksioma berikut, juga disebut '''aksioma gelanggang'''<ref>{{cite book|author=Nicolas Bourbaki|title=Algebra|publisher=Springer-Verlag|section=§I.8|year=1970}}</ref><ref>{{cite book|title=Algebra|author1=Saunders MacLane|author2=Garrett Birkhoff|publisher=AMS Chelsea|page=85|year=1967|author1-link=Saunders MacLane}}</ref><ref>{{cite book|author=Serge Lang|title=Algebra|url=https://archive.org/details/algebra00slan_986|publisher=Springer-Verlag|page=[https://archive.org/details/algebra00slan_986/page/n97 83]|year=2002|edition=Third|author-link=Serge Lang}}</ref>▼
▲Sebuah '''gelanggang''' adalah sebuah [[Himpunan (matematika)|himpunan]] ''R'' dengan dua [[operasi biner]] + dan '''·''' yang memenuhi ketiga aksioma berikut, juga disebut '''aksioma gelanggang'''<ref>{{cite book|author=Nicolas Bourbaki|title=Algebra|publisher=Springer-Verlag|section=§I.8|year=1970}}</ref><ref>{{cite book|title=Algebra|author1=Saunders MacLane|author2=Garrett Birkhoff|publisher=AMS Chelsea|page=85|year=1967|author1-link=Saunders MacLane}}</ref><ref>{{cite book|author=Serge Lang|title=Algebra|url=https://archive.org/details/algebra00slan_986|publisher=Springer-Verlag|page=[https://archive.org/details/algebra00slan_986/page/n97 83]|year=2002|edition=Third|author-link=Serge Lang}}</ref>
# ''R'' merupakan [[grup abelian]] terhadap penjumlahan, artinya:
Baris 31 ⟶ 22:
# ''R'' merupakan [[monoid]] terhadap perkalian, artinya:
#* (''a'' · ''b'') · ''c'' = ''a'' · (''b'' · ''c'') untuk setiap ''a'', ''b'', ''c'' dalam ''R'' (dengan kata lain, · bersifat asosiatif).
#* Terdapa sebuah unsur 1 dalam ''R'' yang menyebabkan ''a'' · 1 = ''a'' dan 1 · ''a'' = ''a'' untuk setiap ''a'' dalam ''R'' (dengan kata lain, terdapat 1 sebagai [[identitas perkalian]]).<ref>Keberadaan 1 tidak diharuskan oleh setiap pengarang; di sini, istilah ''[[
# Perkalian bersifat [[distributif]] terhadap penjumlahan, artinya:
#* ''a'' ⋅ (''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c'') untuk setiap ''a'', ''b'', ''c'' dalam ''R'' (distributif kiri).
#* (''b'' + ''c'') · ''a'' = (''b'' · ''a'') + (''c'' · ''a'') untuk setiap ''a'', ''b'', ''c'' dalam ''R'' (distributif kanan).
Seperti dijelaskan dalam bagian {{section link||Sejarah}}, sebagian penulis memakai ketentuan berbeda di mana sebuah gelanggang tidak perlu memiliki identitas perkalian. Artikel ini menggunakan ketentuan, kecuali ketika disebutkan sebaliknya, bahwa sebuah gelanggang harus memiliki identitas tersebut.<!--- This is also the convention in [[Wikipedia:Manual of Style/Mathematics]]. ---> Sebagian penulis yang menggunakan ketentuan ini menyebut struktur yang memenuhi semua aksioma ''kecuali'' syarat identitas perkalian sebagai [[rng (aljabar)|rng]] (biasa dibaca ''rung'') dan sebagian menyebutnya [[gelanggang semu]]. Contohnya, himpunan semua bilangan genap dengan operasi + dan ⋅ yang biasa merupakan sebuah rng, tapi bukan sebuah gelanggang.
| |||