Teori ring: Ideal

def:
Misalkan R suatu ring, I subring R.
I ideal dari R jhj:
setiap r Є R, a Є I maka ar Є I dan ra Є I

ar (ideal kanan)
ra (ideal kiri)

jika komutatif dibacanya ideal saja. (ideal kanan=ideal kiri)

contoh:
a. (Z, +, x) ,(2Z, +, x)
    2Z subring Z, maka 2Z ideal dari Z.
    bukti:
    misal untuk setiap 2a Є 2Z dan bЄI maka 2ab=b2a <=> 2ab=2ab (ideal)

catataan:
Kalo K subset R, cek dulu subringnya.