计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (16): 44-48.DOI: 10.3778/j.issn.1002-8331.1706-0240
孟彪龙,付巧峰,梁少辉
MENG Biaolong, FU Qiaofeng, LIANG Shaohui
摘要: 在格蕴涵代数中,证明了极小素理想与极小格素理想的等价性,继而给出了极小素理想与零化子的相互表示定理。提出了格蕴涵代数中的[α]-理想概念并给出其若干等价刻画,证明了极小素理想是[α]-理想。证明了全体素[α]-理想之集[Sα(L)]是一个紧的Stone空间,进一步给出[Sα(L)]分别是[T1、][T2]拓扑空间的充要条件。