OPC lattices and congruence heredity

被引:2
|
作者
Snow, John W. [1 ]
机构
[1] Sam Houston State Univ, Dept Math & Stat, Huntsville, TX 77341 USA
关键词
congruence lattice; primitive positive formula; hereditary congruence lattice; order polynomially complete lattice;
D O I
10.1007/s00012-008-2039-3
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We prove that if A is a finite algebra which satisfies a nontrivial idempotent Mal'cev condition, and if ConA contains a copy of an order polynomially complete lattice other than 2, M-3, or Con(Z(2)(3)), then ConA is not hereditary.
引用
收藏
页码:59 / 71
页数:13
相关论文
共 50 条