On intervals and chains in epimorphness skeletons of congruence- distributive varieties
For a variety \(V\) denote by \(IV\) the class of isomorphism types of \(V\)- algebras. Write \(a\ll b\) if \(a,b\) are isomorphism types of two algebras \(A,B\) such that \(A\) is a homomorphic image of \(B\). The quasiordered class \((IV;\ll)\) is called the epimorphy skeleton of \(V\). The author studies the order types of intervals and maximal chains in epimorphy skeletons of congruence distributive varieties. It is proved that for any nontrivial congruence distributive variety \(V\), any quasiordered set can be embedded into \((IV;\ll)\). Under the continuum hypothesis, in the epimorphy skeleton of a nontrivial congruence distributive variety there exists a maximal chain which is isomorphic to the ordered set of real numbers. There are other results.
order types of intervals and maximal chains
scientific article; zbMATH DE number 8003