格蕴涵代数中的极小素理想及α-理想

• 作 者: 孟彪龙 付巧峰 梁少辉
• 机 构: 西安科技大学数学系
• 出 处: 计算机工程与应用
• 发表日期: 2018年16期
• 关键词: 极小素理想 零化子 α-理想 拓扑空间 minimal prime ideal annihilator α -ideal topology space
• 基金项目: 西安科技大学博士启动基金（No.2016QDJ050）, 陕西省教育厅专项基金（No.17JK0510）

在格蕴涵代数中,证明了极小素理想与极小格素理想的等价性,继而给出了极小素理想与零化子的相互表示定理。提出了格蕴涵代数中的α-理想概念并给出其若干等价刻画,证明了极小素理想是α-理想。证明了全体素α-理想之集Sα（L）是一个紧的Stone空间,进一步给出Sα（L）分别是T1、T2拓扑空间的充要条件。