An ideal I of L is called a normal ideal if I = I∗∗, or equivalentlty, I = S∗ = {y ∈ L | y ∧ s = 0, for all s ∈ S} for some non-empty subset S of L. We denote the set of all normal ideals of L by N(L).
เหมาะฉัน L เรียกว่าเหมาะปกติถ้าฉัน = I∗∗ หรือ equivalentlty ฉัน = S∗ = { y ∈ L | y ∧ s = 0, s ทั้งหมด∈ S } บางย่อยไม่ว่าง S L. เราแสดงชุดของอุดมคติปกติทั้งหมดของ L โดย N(L)
เหมาะสำหรับผมที่เรียกว่า L เหมาะปกติ ถ้าฉัน = ฉัน ** หรือ equivalentlty, I = S * = {y ∈ L | Y ∧ s = 0 สำหรับทุก s ∈ S} สำหรับบาง ชุดย่อยที่ไม่ว่างเปล่าของ S ลิตรเราแสดงว่าชุดอุดมคติปกติทั้งหมดของ L โดย N (L)
อุดมคติของชั้นเรียกว่าปกติเหมาะ ถ้าชั้น = ฉัน∗∗หรือ equivalentlty ผม = S ∗ = { y l y ∈ | ∧ S = 0 , สำหรับทุกคน∈ S } บาง ไม่ใช่เปล่าย่อยของ L . เราแทนเซตของอุดมคติปกติทั้งหมด ( L โดย ลิตร )