Gelanggang hasil bagi

Dalam teori gelanggang, cabang dari aljabar abstrak, **gelanggang hasil bagi**, juga dikenal sebagai **gelanggang faktor**, **gelanggang perbedaan** atau **gelanggang kelas residu**, adalah konstruksi yang sangat mirip dengan kelompok hasil bagi dari teori kelompok dan ruang hasil bagi dari aljabar linear. Ini adalah contoh spesifik dari hasil bagi, dilihat dari pengaturan umum aljabar universal. Yang pertama dimulai dengan cincin * R * dan ideal dua sisi * I * di * R *, dan membuat gelanggang baru, gelanggang hasil bagi , yang elemennya adalah kohimpunan dari * I * pada * R * yang tunduk pada operasi * + * dan * ⋅ * khusus.

Gelanggang hasil bagi berbeda dari yang disebut 'bidang hasil bagi', atau bidang pecahan, dari domain integral serta dari 'gelanggang quotients' yang lebih umum diperoleh dengan lokalisasi.

## Konstruksi cincin hasil bagi formal
Diberikan sebuah cincin  R  dan ideal dua sisi  I  di  R , kita dapat mendefinisikan sebuah relasi ekivalen \sim di  R  sebagai berikut:
:a\sim b jika dan hanya jika a-b ada di  I .
Menggunakan properti yang ideal, tidak sulit untuk memeriksanya \sim adalah hubungan kesesuaian.
Dalam hal a\sim b, kami mengatakan bahwa  a  dan  b  adalah * kongruen [[Ideal (teori gelanggang)|modulo]] *  I .
Kelas ekivalen dari elemen  a  di  R  diberikan oleh

: [a]=a+I := \{a+r: r\in I\}.

Kelas kesetaraan ini terkadang juga ditulis sebagai a \bmod I dan disebut "kelas residu dari  a  modulo  I ".

Himpunan dari semua kelas ekivalen dilambangkan dengan ; maka akan menjadi sebuah gelanggang, **gelanggang faktor** atau **gelanggang hasil bagi** dari  R  modulo  I , jika didefinisikan
* (a+I)+(b+I)=(a+b)+I;
* (a+I)(b+I)=(ab)+I.
(Di sini kita harus memeriksa bahwa definisi ini adalah terdefinisi dengan baik. Bandingkan koset dan kelompok hasil bagi.) Elemen nol dari  adalah , dan identitas multiplikatifnya .

Peta  p  dari  R  ke  didefinisikan oleh  adalah surjektif gelanggang homomorfisme, kadang-kadang disebut ***peta kecerdasan alami*** atau ***[[homomorfisme kanonik]]***.

## Definisi

Jika (R,+,\cdot) sebuah gelanggang dan  I  a (dua sisi) ideal dari  R , kemudian membentuk himpunan R/I = \left\{a+I\mid a\in R\right\} dari kelas ekivalen pada modulo  I  sebuah gelanggang dengan tautan berikut:
*(a+I) + (b+I) := (a+b)+I
*(a+I) \cdot (b+I) := a \cdot b + I,

di mana  (a + I)  didefinisikan sebagai \{a + r \,|\, r \in I\}.

Cincin ini disebut ring faktor  R  modulo  I  atau ring kelas sisa atau ring hasil bagi. (Namun, ini tidak ada hubungannya dengan istilah bidang hasil bagi atau gelanggang hasil bagi; ini adalah pelokalan.)

## Teori ideal
Misalkan  R  menjadi cincin komutatif dengan satu elemen dan  I\subseteq R  sebuah cita-cita. Dari pada
* ideal cincin  R / I  persis seperti ideal  J  dari  R , yang berisi  I  (also  I\subseteq J  )
* bagian utama cincin  R / I  persis seperti cita-cita utama  R  yang berisi  I 
* ideal maksimal ring  R / I  persis dengan ideal maksimal dari  R  yang berisi  I 

## Lihat pula
* Cincin bertingkat terkait
* Bidang residu
* Teorema Goldie
* Modul hasil bagi

## Catatan

## Referensi lebih lanjut
* F. Kasch (1978) *Moduln und Ringe*, translated by DAR Wallace (1982) *Modules and Rings*, Academic Press, page 33.
* Neal H. McCoy (1948) *Rings and Ideals*, §13 Residue class rings, page 61, Carus Mathematical Monographs #8, Mathematical Association of America.
* 
* B.L. van der Waerden (1970) *Algebra*, translated by Fred Blum and John R Schulenberger, Frederick Ungar Publishing, New York. See Chapter 3.5, "Ideals. Residue Class Rings", pages 47 to 51.

## Pranala luar
* 
*  Ideals and factor rings  from John Beachy's *Abstract Algebra Online*
*