Kongruentsühtlased vőred ja enamusalgebrad

Algebrat nimetatakse kongruentsühtlaseks, kui tema iga kongruentsi kőik klassid on vőrdse vőimsusega. Enamusalgebra on algebra, millel on ternaarne tehe m omadustega m(a,a,b)=m(a,b,a)=m(b,a,a)=a (enamustehe). Näiteks vőredel on olemas enamusterm. Ettekandes näitame, et lőplike kongruentsühtlaste vőrede kongruentsivőred on parajasti kőik lőplikud distributiivsed vőred (Grätzer, Schmidt, Thomsen 2003). Seejärel näitame, et lőplike kongruentsühtlaste vőrede kongruentsid permuteeruvad (Kaarli 2005). Lőpuks vaatame, kuidas saaks viimast tulemust üldistada suvalistele lőplikele enamusalgebratele.