Theorem 4.13. Let L be a GADL with

Theorem 4.13. Let L be a GADL with 0. Then (N0(L), ∩, ∨) is a sublattice of
the Boolean algebra hN(L), ∩, ∨,∗ , (0],Li of normal ideals of L and hence it is a
distributive lattice. N0(L) has the same greatest element L = [0]∗ as N(L). N0(L)
has the smallest element if and only if L possesses a dense element.

ผลลัพธ์ (ไทย) 1:

ทฤษฎีบท 4.13 ให้ L เป็น GADL กับ 0 (N0(L) ∩ ∨) แล้วเป็น sublattice ของพีชคณิตบูลีน hN(L) ∩ ∨ ∗, (0, Li ของอุดมคติปกติของ L และจึงเป็นแจกแจงโครงตาข่ายประกอบด้วย N0(L) มีองค์ประกอบมากที่สุดเหมือน L =∗ [0] เป็น N(L) N0(L)มีองค์ประกอบน้อยที่สุดถ้าและเฉพาะถ้า L มีองค์ประกอบความหนาแน่นสูง

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบท 4.13 ให้ L เป็น GADL กับ 0. แล้ว (N0 (L) ∩, ∨) เป็น sublattice ของ
พีชคณิตแบบบูล HN (L) ∩, ∨ * (0], หลี่อุดมคติปกติของ L และด้วยเหตุนี้มัน เป็น
ตาข่ายจำหน่าย. N0 (L) มีองค์ประกอบที่ยิ่งใหญ่ที่สุดเดียวกัน L = [0] * เป็น N (L). N0 (L)
มีองค์ประกอบที่เล็กที่สุดและถ้าหาก L มีองค์ประกอบที่มีความหนาแน่นสูง

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบท 4.13 . ให้ฉันเป็น gadl กับ 0 จากนั้น ไนเตรต ( L ) , ∩∨ , ) เป็น sublattice ของ
พีชคณิตบูลีน HN ( L ) , ∩∨∗ , , , ( 0 ] , หลี่ อุดมคติที่ปกติของฉันและด้วยเหตุนี้มันเป็นตาข่ายกระจาย
. 30 ( L ) มีองค์ประกอบที่ยิ่งใหญ่ที่สุดเดียวกันฉัน = [ 0 ] ∗เป็น n ( L ) 30 ( L )
มีองค์ประกอบที่เล็กที่สุด ถ้าและเพียงถ้าฉันมีองค์ประกอบที่หนาแน่น