Proof. (1) Let I be a normal ideal of L. Then by Lemma 3.2(2), f(I) is an ideal of L′. Since f is annihilator preserving, {f(I)}∗∗ = f(I∗∗) = f(I). Therefore f(I) is a normal ideal in L′.
Proof. (1) Let I be a normal ideal of L. Then by Lemma 3.2(2), f(I) is an idealof L′. Since f is annihilator preserving, {f(I)}∗∗ = f(I∗∗) = f(I). Therefore f(I)is a normal ideal in L′.
พิสูจน์ (1) ให้ฉันจะเหมาะปกติของแอลแล้วตามด้วยบทแทรก 3.2 (2), f (I) ที่เหมาะ ของ L ' ตั้งแต่ฉถูกสังหารรักษา {f (I)} ** = f (ฉัน **) = f (I) ดังนั้น f (I) เป็นที่เหมาะปกติใน L '
พิสูจน์ ( 1 ) ให้ฉันเป็นปกติที่สุดของ L แล้วแทรก 3.2 ( 2 ) , f ( I ) ที่เป็นอุดมคติ L ’ . เมื่อ F คือทำลายรักษา { f ( I ) } ∗∗ = F ( ผม∗∗ ) = f ( I ) ดังนั้น f ( i ) เหมาะเป็นปกติในชั้นนั้น .