Ideál (okruhu)

Majme okruh (R,+,·). I je neprázdna podmnožina R. I sa nazýva ideál, ak pre všetky a, b ∈ I a všetky r ∈ R platí
 a-b ∈ I
 a·r ∈ I a zároveň r·a ∈ I

Poznámka: Každý ideál je aj podokruh, ale nie každý podokruh musí byť ideál.

Algebra