Ideal (teori gelanggang)

Templat:Ring theory sidebar

Dalam teori gelanggang, sebuah cabang dari aljabar abstrak, ideal dari gelanggang adalah himpunan bagian khusus dari elemen. Ideal menggeneralisasi himpunan bagian tertentu dari bilangan bulat, seperti bilangan genap atau kelipatan 3. Penambahan dan pengurangan bilangan genap mempertahankan kemerataan, dan mengalikan bilangan genap dengan bilangan bulat lainnya menghasilkan bilangan genap lainnya; penutupan dan sifat absorpsi adalah sifat yang menentukan dari suatu ideal. Ideal dapat digunakan untuk gelanggang hasil bagi dengan cara yang sama di teori grup, subgrup normal dapat digunakan untuk grup hasil bagi.

Di antara bilangan bulat, yang ideal sesuai satu-untuk-satu dengan bilangan bulat non-negatif: dalam gelanggang, ideal adalah ideal pokok yang terdiri dari kelipatan satu bilangan non-negatif. Namun, dalam gelanggang lain, ideal mungkin tidak sesuai langsung dengan elemen gelanggang, dan sifat bilangan bulat tertentu, ketika digeneralisasikan ke gelanggang, lebih alami melekat pada ideal dari elemen. Misalnya, ideal prima gelanggang dianalogikan dengan bilangan prima, dan Teorema sisa bahasa Cina dapat digeneralisasikan menjadi ideal. Ada versi faktorisasi prima unik untuk ideal domain Dedekind (jenis gelanggang yang penting dalam teori bilangan).

Terkait, tetapi berbeda, konsep dari ideal dalam teori orde diturunkan dari gagasan ideal dalam teori gelanggang. Sebuah ideal pecahan adalah generalisasi dari suatu ideal, dan ideal biasa kadang-kadang disebut ideal integral untuk kejelasan.