格蕴涵代数中的极小素理想及α-理想
来源：计算机工程与应用杂志2018年第16期北京时间：
作者：孟彪龙，付巧峰，梁少辉
单位：西安科技大学 数学系，西安 710054
摘要：在格蕴涵代数中，证明了极小素理想与极小格素理想的等价性，继而给出了极小素理想与零化子的相互表示定理。提出了格蕴涵代数中的[α]-理想概念并给出其若干等价刻画，证明了极小素理想是[α]-理想。证明了全体素[α]-理想之集[Sα(L)]是一个紧的Stone空间，进一步给出[Sα(L)]分别是[T1、][T2]拓扑空间的充要条件。
关键词：极小素理想,零化子,[&alpha,]-理想,拓扑空间
