Ideál (okruhu)

z Wikipédie, slobodnej encyklopédie

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í

  1. a-b ∈ I
  2. 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.