设 是一个非平凡有界格(或一个非平凡补格,等等)。如果定义在
上的每个非常数格同态都是
-分离的,那么
是一个
-简单格。
可以证明对于一个非平凡有界格 ,以下条件是等价的:
1. 格 是
-简单的;
2. 存在一个最大的非平凡同余关系 of
,且
满足
和
。
这个结果在研究有限代数的同余格时很有用。
设 是一个非平凡有界格(或一个非平凡补格,等等)。如果定义在
上的每个非常数格同态都是
-分离的,那么
是一个
-简单格。
可以证明对于一个非平凡有界格 ,以下条件是等价的:
1. 格 是
-简单的;
2. 存在一个最大的非平凡同余关系 of
,且
满足
和
。
这个结果在研究有限代数的同余格时很有用。
此条目由 Matt Insall (作者链接) 贡献
Insall, Matt. "0,1-简单格。" 来自 Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/01-SimpleLattice.html