Corollary 3.5. Let I be an ideal of X . If a ∈ I and a ≤ x, then x ∈ I . Proof. Let a ∈ I , x ∈ X with a ≤ x. Hence a∗x = 1. Therefore x = 1 ∗x = (a∗x)∗x ∈ I . Thus x ∈ I .
Corollary 3.5 ให้ฉันเป็นอุดมคติของ X ถ้าเป็น∈ผมและ≤ x, x ∈ แล้วฉันหลักฐาน ให้เป็น∈ I, x ∈ X กับ≤ x. Hence a∗x = 1 ดังนั้น x = 1 ∗x = (a∗x) ∗x ∈ฉัน X ∈ ดังนั้นฉัน
ควันหลง 3.5 ให้ฉันเป็นอุดมคติของ X ถ้าฉัน∈และ≤ x แล้ว x ∈ i. หลักฐาน ให้∈ I, x ∈ X กับ≤ X ดังนั้น * x = 1 ดังนั้น x = 1 * x = (A * x) * x ∈ฉัน ดังนั้น x ∈ฉัน
ควันหลง 3.5 . ให้ฉันเป็นอุดมคติของ x . ถ้า∈ผมและ≤ x แล้ว x ∈ฉัน .พิสูจน์ ให้∈ i , x ∈ x กับ≤ X จึง∗ x = 1 ดังนั้น x = 1 ∗ x = ( ∗ X ) ∗ x ∈ฉัน . ดังนั้น x ∈ฉัน .