Teori Ring — Definisi, Ideal & Contoh

Teori ring mempelajari himpunan tempat penjumlahan dan perkalian bekerja bersama secara teratur. Model utamanya adalah bilangan bulat: kita bisa menjumlahkan, mengurangkan, dan mengalikan, dan operasi-operasi itu mengikuti aturan yang konsisten.

Ring bukan sekadar "himpunan dengan perkalian". Agar menjadi ring, penjumlahan harus berperilaku seperti pada bilangan bulat, perkalian harus asosiatif, dan perkalian harus distributif terhadap penjumlahan.

Apa itu ring dalam matematika?

Sebuah ring $R$ adalah himpunan dengan dua operasi, $+$ dan $\cdot$, sehingga:

1. $(R,+)$ adalah grup abelian.
2. Perkalian bersifat asosiatif: $(ab)c=a(bc)$ untuk semua $a,b,c \in R$.
3. Perkalian distributif terhadap penjumlahan:

$$a(b+c)=ab+ac$$

dan

$$(a+b)c=ac+bc$$

Syarat pertama berarti penjumlahan memiliki elemen nol, setiap elemen memiliki invers aditif, penjumlahan bersifat asosiatif, dan penjumlahan bersifat komutatif. Dalam bahasa sederhana: terhadap penjumlahan, himpunan ini berperilaku seperti bilangan bulat.

Beberapa buku juga mensyaratkan adanya identitas perkalian $1$. Sebagian berfokus pada ring komutatif, yaitu saat $ab=ba$. Itu adalah syarat tambahan yang penting, tetapi tidak selalu menjadi bagian dari setiap definisi ring.

Fungsi ideal dalam teori ring

Ideal adalah subhimpunan yang tetap stabil ketika dikalikan dengan elemen dari seluruh ring. Kestabilan inilah yang memungkinkan terbentuknya ring hasil bagi, mirip seperti subgrup normal memungkinkan terbentuknya grup hasil bagi.

Jika $R$ adalah ring komutatif, sebuah subhimpunan $I \subseteq R$ adalah ideal jika:

1. $I$ tertutup terhadap penjumlahan dan invers aditif.
2. Untuk setiap $r \in R$ dan setiap $x \in I$, hasil kali $rx$ tetap berada di $I$.

Dalam ring nonkomutatif, kita harus membedakan ideal kiri, ideal kanan, dan ideal dua sisi. Dalam ring komutatif, perbedaan itu hilang.

Contoh terperinci: mengapa $2\mathbb{Z}$ adalah ideal dari $\mathbb{Z}$

Ring $\mathbb{Z}$ dengan penjumlahan dan perkalian biasa adalah contoh standar pertama dari sebuah ring. Ring ini juga komutatif dan memiliki identitas perkalian $1$.

Sekarang perhatikan subhimpunan bilangan bulat genap:

$$2\mathbb{Z}=\{2k : k \in \mathbb{Z}\}$$

Himpunan ini adalah ideal dari $\mathbb{Z}$ karena memenuhi dua uji di atas.

Pertama, himpunan ini tertutup terhadap penjumlahan:

$$2a+2b=2(a+b)$$

jadi jumlah dua bilangan bulat genap tetap genap. Himpunan ini juga tertutup terhadap invers aditif karena

$$-(2a)=2(-a)$$

yang juga tetap genap.

Kedua, himpunan ini menyerap perkalian oleh sembarang bilangan bulat. Jika $r \in \mathbb{Z}$ dan $2a \in 2\mathbb{Z}$, maka

$$r(2a)=2(ra)$$

yang sekali lagi genap.

Jadi $2\mathbb{Z}$ bukan hanya subhimpunan dengan pola tertentu. Himpunan ini tetap berada di dalam dirinya sendiri terhadap penjumlahan, invers aditif, dan perkalian oleh sembarang bilangan bulat, dan itulah tepatnya yang harus dipenuhi oleh sebuah ideal.

Contoh ini layak diingat karena pola yang sama muncul berulang kali: ideal adalah subhimpunan yang tidak bisa didorong keluar posisinya oleh seluruh ring melalui perkalian.

Bukan contoh: bilangan bulat ganjil bukan ideal

Bilangan bulat ganjil bukan ideal dari $\mathbb{Z}$.

Himpunan ini sudah gagal tertutup terhadap penjumlahan, karena ganjil $+$ ganjil $=$ genap. Himpunan ini juga gagal memenuhi syarat penyerapan: misalnya,

$$2 \cdot 3 = 6$$

dan $6$ bukan bilangan ganjil.

Itulah perbedaan utamanya. Ideal bukan sekadar subhimpunan yang mudah dikenali. Ideal harus memenuhi syarat ketertutupan dan penyerapan secara tepat.

Kesalahan umum dalam teori ring

Mengacaukan ketertutupan aditif dengan uji ideal yang lengkap

Tertutup terhadap penjumlahan saja tidak cukup. Anda juga memerlukan ketertutupan terhadap invers aditif dan sifat penyerapan terhadap perkalian oleh elemen ring sembarang.

Menganggap komutatif itu otomatis

Banyak contoh pertama adalah ring komutatif, tetapi tidak semua ring bersifat komutatif. Ring matriks adalah contoh tandingan yang standar.

Menganggap setiap ring harus memuat $1$

Banyak penulis memang mensyaratkan adanya identitas perkalian, dan banyak juga yang tidak. Saat membaca atau menulis tentang teori ring, nyatakan konvensinya jika itu penting.

Mencampuradukkan subring dan ideal

Subring adalah ring yang lebih kecil di dalam sebuah ring. Ideal dirancang agar berinteraksi dengan baik terhadap perkalian dari seluruh ring. Keduanya adalah gagasan yang berkaitan, tetapi bukan syarat yang sama.

Di mana teori ring digunakan

Teori ring muncul dalam aritmetika modular, aljabar polinomial, teori bilangan, dan geometri aljabar. Teori ini juga menjadi bagian dari bahasa yang mendasari beberapa konstruksi kriptografi.

Anda tidak perlu memahami aplikasi tingkat lanjut itu untuk mempelajari gagasan dasarnya. Untuk pemahaman awal, anggap teori ring sebagai kajian tentang sistem mirip bilangan tempat penjumlahan dan perkalian berinteraksi secara teratur.

Coba soal serupa

Cobalah versi Anda sendiri dengan $3\mathbb{Z}$ atau $5\mathbb{Z}$ di dalam $\mathbb{Z}$. Periksa dua syarat yang sama: ketertutupan terhadap penjumlahan dan invers aditif, lalu penyerapan terhadap perkalian oleh sembarang bilangan bulat.