Boolean prime ideal theorem
初涉布尔素理想定理(Boolean prime ideal theorem)即保证在给定的抽象代数中特定类型之子集的存在性之数学定理。
基于2456个网页-相关网页
布尔素理想定理(Boolean prime ideal theorem)即保证在给定的抽象代数中特定类型之子集的存在性之数学定理。布尔素理想定理声称在布尔代数中的理想可以被扩展成素理想。这个陈述对于在集合上的滤子的变体叫做叫做超滤子引理。通过考虑不同的带有适当的理想概念的数学结构可获得其他定理，例如环和(环论的)素理想，和分配格和(序理论的)的极大理想。本文关注序理论的素理想定理。
详细内容
应用推荐
模块上移
模块下移
不移动