Struktur Ring
Ring adalah struktur aljabar dengan DUA operasi yang bekerja sama: penjumlahan membentuk grup abelian, perkalian asosiatif, dan keduanya dijembatani sifat distributif.
Yang menarik bukan apa yang dituntut dari ring — melainkan apa yang tidak dituntut: komutatif? elemen satu? invers? Semuanya boleh absen.
- 1.1
Definisi Ring & Aksioma-aksionyagrup abelian (+) × asosiatif (×) × distributif
- 1.2
Sifat-sifat Dasara·0=0, aturan tanda, dan kaidah hapus yang bisa GAGAL
- 1.3
Contoh-contoh Ringℤ, ℚ, ℝ, ℂ, ℤₙ, Mₙ(ℝ), dan R[x] — lengkap dengan labnya
- 1.4
Komutatif & Ring Bersatuanpeta klasifikasi 2×2: empat jenis ring yang mungkin
Oleh : Rohmad Wahid Rhomdani
Dari Satu Operasi ke Dua Operasi
Di materi grup, kita mempelajari himpunan dengan satu operasi — misalnya $(\mathbb{Z},+)$ yang membentuk grup.
Tetapi bilangan yang kita kenal sehari-hari hidup dengan dua operasi sekaligus: penjumlahan dan perkalian — dan keduanya saling terkait lewat aturan distributif:
Ring adalah struktur yang mempelajari pasangan operasi ini secara aksiomatik.
Harus sempurna: tertutup, asosiatif, punya 0, punya lawan, komutatif — membentuk grup abelian.
Syaratnya longgar: cukup asosiatif. Tidak wajib punya 1, tidak wajib komutatif, invers boleh tidak ada.
Aturan kerja sama keduanya — inilah yang membuat "ring" terasa seperti aritmetika.
Analogi: penjumlahan itu lift — naik turun bebas dengan tombol mundur (lawan). Perkalian itu tangga darurat — hanya boleh turun satu arah, tanpa jaminan jalan kembali. Distributif adalah peta gedungnya yang menghubungkan keduanya.
Definisi Ring dan Aksioma-aksionya
A1 · Tertutup +
Jumlah dua anggota tetap di dalam $R$.
A2 · Asosiatif +
Pengelompokan bebas.
A3 · Identitas +
Ada elemen nol.
A4 · Invers +
Setiap anggota punya lawan.
A5 · Komutatif +
$(R,+)$ = grup abelian ✓
A6 · Asosiatif ×
Perkalian terasosiasi — hanya itu syaratnya.
A7 · Distributif
$(b+c)a=ba+ca$
Versi kiri dan kanan — versi kanan jadi krusial saat ring tak komutatif.
Perhatikan apa yang TIDAK dituntut oleh definisi — tiga kebebasan besar ini yang membuat teori ring kaya:
Kebebasan 1
Perkalian tidak harus komutatif.
Kebebasan 2
Tidak harus ada elemen satu (unity) $1$ dengan $1\cdot a=a$.
Kebebasan 3
Tidak harus ada invers perkalian — bahkan elemen nol bisa "menelan": $ab=0$ padahal $a,b\neq0$.
Definisi juga mensyaratkan kedua operasi biner dan tertutup. Beberapa buku menambahkan syarat $R\neq\{0\}$ atau $1\neq0$ — ikuti konvensi buku teks Anda.
Lab: Penguji Aksioma
Teori paling cepat masuk lewat kasus. Klik enam struktur berikut — mana yang lolos jadi ring, mana yang gugur, dan di aksioma mana ia tumbang:
Sifat-sifat Dasar Ring
Dari tujuh aksioma tadi, kita bisa menurunkan sifat-sifat yang terasa "jelas" — padahal semuanya perlu bukti! Yang pertama dan paling fundamental:
Ikuti pembuktiannya langkah demi langkah — perhatikan triknya: menambah lalu mengurangkan hal yang sama (invers jumlah bekerja keras di sini):
Ketika Kaidah Hapus Gagal
Karena $3\neq0$ punya invers perkalian $\tfrac13$. Kita "hapus" 3 dengan mengalikan $3^{-1}$ dari kiri: aman.
tetapi $3\not\equiv0$
Kedua ruas sama-sama $0$, tetapi kita tidak boleh menghapus 2. Inilah wajah baru teori ring.
Di $\mathbb{Z}_6$: $2\cdot3=6\equiv0$. Dua bilangan tak nol hasil kalinya nol!
Sementara di $\mathbb{Z},\mathbb{Q},\mathbb{R},\mathbb{C}$ hal ini tidak mungkin terjadi — sifat mereka istimewa.
Ring komutatif tanpa zero divisor (dan bersatuan) disebut integral domain. Dan perhatikan polanya: $\mathbb{Z}_n$ bebas zero divisor tepat ketika $n$ prima. Kita buktikan interaktif di Slide 8!
Empat Ring Klasik
Mulai dari yang paling akrab — keempatnya ring komutatif bersatuan. Verifikasi aksioma + dan × tinggal aritmetika biasa:
Bilangan Bulat
Ring prototipe — model mental untuk semua ring. Kekurangannya: tak semua elemen punya invers × ($2$ pun tak punya pasangan bulat).
Bilangan Rasional
Semua kecuali $0$ punya invers × — istimewa! (Struktur yang lebih tinggi: field — dibahas nanti.)
Bilangan Real
Sama seperti ℚ tetapi "lebih penuh" — memuat $\sqrt2$, $\pi$. Ring komutatif bersatuan; juga field.
Bilangan Kompleks
Puncak rantai: $x^2+1=0$ akhirnya punya solusi di sini ($x=\pm i$). Tetap komutatif bersatuan.
Keempatnya terasa "sama" karena aksioma ring sengaja dirancang meniru perilaku ℤ. Menariknya justru pada ring yang MENYIMPANG — tiga slide berikutnya.
Ring Sisa: ℤₙ
Himpunan $\{0,1,2,\dots,n-1\}$ dengan operasi modulo n — hasil operasi "dilipat" kembali ke rentang itu. Geser n, ganti operasi, dan perhatikan sel merah:
Kuning = hasil $0$ (identitas). Setiap baris memuat semua elemen persis sekali — tanda $(\mathbb{Z}_n,+)$ grup. Invers $a$ adalah $n-a$.
Sel merah = zero divisor: $a\otimes b\equiv0$ padahal keduanya tak nol. Coba $n$ prima (5, 7, 11) — merahnya lenyap!
Ring Matriks: M₂(ℝ)
Matriks $2\times2$ real dengan penjumlahan & perkalian matriks membentuk ring — yang membuatnya terkenal justru karena perkaliannya TIDAK komutatif. Buktikan sendiri:
Konsekuensi penting: karena $ab\neq ba$, definisi menuntut distributif dua arah — $a(b+c)$ dan $(b+c)a$ adalah dua sifat berbeda yang keduanya wajib dicek!
Ring Polinomial: R[x]
Polinomial berkoefisien di ring $R$ (misalnya $\mathbb{Z}$) juga membentuk ring $\mathbb{Z}[x]$ — penjumlahan & perkalian polinomial biasa. Geser keempat koefisien dan lihat ring ini bekerja:
Tertutup: hasil kali dua polinomial tetap polinomial (derajat menjumlah). Asosiatif + distributif mewarisi sifat koefisiennya. Nol = polinomial nol; lawan = negasi tiap koefisien.
Panel hijau menguji di $x=2$: ruas kiri (kali dulu) dan ruas kanan (bentuk jadi) selalu sama — bukti kecil bahwa distributif bekerja. Koefisien boleh negatif; coba ekstrem: $a=-3, d=3$.
Ring Komutatif
Ring $R$ disebut komutatif jika perkaliannya komutatif untuk semua pasangan anggota:
Kata kuncinya semua. Kebalikan dari demo matriks tadi: $AB=BA$ bisa saja benar untuk pasangan tertentu (diagonal, matriks sama), tetapi ring hanya komutatif jika berlaku universal.
ℤ · ℚ · ℝ · ℂ ✓
ℤₙ ✓ (hasil kali mod n komutatif karena perkalian biasa komutatif)
R[x] ✓ (mewarisi komutatif koefisiennya)
Mₙ(ℝ) ✗ — satu-satunya pengkhianat di daftar kita
Di ring non-komutatif, hati-hati saat memindahkan faktor — arah perkalian harus dijaga.
Ring Elemen Satuan (with Unity)
Ring $R$ disebut bersatuan (ring with unity / identity) jika ada $1\in R$ yang bersifat netral terhadap perkalian:
Jika ada, elemen satu itu tunggal — dan di ring komutatif bersatuan, $1\neq0$ lazim disyaratkan agar ring tidak "kolaps".
$2\mathbb{Z}=\{\dots,-4,-2,0,2,4,\dots\}$ adalah ring komutatif sah — tetapi tidak bersatuan: kandidat $1$ tidak genap, dan tak ada $e$ genap dengan $e\cdot a=a$ untuk semua $a$. Ring tanpa 1 tetap ring!
ℤ, ℚ, ℝ, ℂ → 1
ℤₙ → $\bar1$ (kelas 1)
M₂(ℝ) → $I_2=\begin{pmatrix}1&0\\0&1\end{pmatrix}$
R[x] → 1 (polinomial konstan 1)
2ℤ → tidak ada ✗
Ada pula ring trivial $\{0\}$ — di mana $0=1$. Sebagian buku mengeluarkannya dari definisi; cek konvensi buku Anda.
Peta Klasifikasi Ring
Dua pertanyaan — komutatif? dan bersatuan? — menghasilkan empat wilayah ring. Klik tiap ring dan lihat di wilayah mana ia berlabuh:
Komutatif + Bersatuan
Komutatif − Tanpa satuan
Non-komutatif + Bersatuan
Non-komutatif − Tanpa satuan
Tabel Rangkuman Contoh
Seluruh tokoh bab ini dalam satu meja:
| Ring | Komutatif? | Elemen Satuan | Catatan khas |
|---|---|---|---|
| ℤ | 1 | Prototipe; integral domain, bukan field | |
| ℚ · ℝ · ℂ | 1 | Semuanya field (invers × untuk semua ≠ 0) | |
| ℤₙ | $\bar1$ | n prima → tanpa zero divisor | |
| 2ℤ | Ring komutatif tanpa satu | ||
| M₂(ℝ) | $I_2$ | Non-komutatif; punya zero divisor | |
| ℝ[x] | 1 | Polinomial; derajat menjumlah saat dikali |
Satu tabel, seluruh peta: komutatif × bersatuan adalah dua "dimensi" yang menentukan watak sebuah ring.
Ringkasan Bab
- Ring $(R,+,\cdot)$: $(R,+)$ grup abelian, $\times$ asosiatif, distributif dua arah1.1
- Tiga kebebasan: tidak wajib komutatif · tidak wajib 1 · tidak wajib invers ×1.1
- ℕ bukan ring (tanpa 0 & lawan); bilangan ganjil bukan ring (tak tertutup +)1.1
- Sifat dasar: $a\cdot0=0$, $a(-b)=-(ab)$, $(-a)(-b)=ab$ — semua terbukti dari aksioma1.2
- Zero divisor: $ab=0$ dengan $a,b\neq0$ — kaidah hapus bisa gagal (contoh $\mathbb{Z}_6$: $2\cdot3\equiv0$)1.2
- Contoh: ℤ, ℚ, ℝ, ℂ, ℤₙ, Mₙ(ℝ), R[x] — masing-masing punya "kepribadian"1.3
- M₂(ℝ): $AB\neq BA$ → distributif wajib dua versi (kiri & kanan)1.3
- Klasifikasi: komutatif? × bersatuan? → empat wilayah (2ℤ & M₂(ℝ) sang penantang)1.4