\(S\)-pasted sum of lattices (Q1814501)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(S\)-pasted sum of lattices
scientific article

    Statements

    \(S\)-pasted sum of lattices (English)
    0 references
    0 references
    25 June 1992
    0 references
    Dropping the finite length property, the author generalizes the notion of \(S\)-pasted system (sum) of lattices, introduced by \textit{C. Herrmann} [Math. Z. 130, 255-274 (1973; Zbl 0275.06007)]. Using this new construction, the author characterizes the congruence lattices of connected monounary algebras with a loop. In more detail, a lattice \(L\) is said to be a (generalized) \(S\)-pasted sum of lattices \(L_ s\), \(s\in S\), if (i) \(S\) is a lattice, (ii) \(L=\bigcup(L_ s:s\in S)\), (iii) \(L_ s\) is a convex sublattice of \(L\) for every \(s\in S\), (iv) if \(x,y\in L\) and \(x\in L_ s\), \(y\in L_ t\), then \(x\lor y\in L_{s\lor t}\) and \(x\land y\in L_{s\land t}\), (v) \(s\neq t\) implies \(L_ s\cap L_ t\not\in \{L_ s,L_ t\}\). A monounary algebra \((A;f)\) is called connected if for any \(x,y\in A\) there exist nonnegative integers \(m, n\) such that \(f^ m(x)=f^ n(y)\;(f^ 0(x)=x,\;f^{n+1}(x)=f(f^ n(x)))\). An element \(a\in A\) is said to be a loop of \((A;f)\), if \(f(a)=a\). Main results: (1) Let \(S\) be a lattice and \(M=\{L_ s:s\in S\}\) a system of lattices. Then there exists a lattice which is a generalized \(S\)-sum of lattices \(L_ s\), \(s\in S\) if and only if five conditions of adhesion are satisfied. (2) Let \((A;f)\) be a connected monounary algebra with a loop. Then \(\hbox{Con}(A)\) is a generalized \(S\)-sum of direct products of equivalence lattices. Moreover, \(S=\{\alpha\in \hbox{Con}(A):(\alpha^*)_ +=\alpha\}\) is a sublattice of \(\hbox{Con}(A)\) and \(\alpha^*=\sup(b:b \hbox{ covers } \alpha)\) or \(\alpha^*=\alpha\) whenever no cover of \(\alpha\) exists. (\(\alpha_ +\) is defined in a dual manner).
    0 references
    \(S\)-pasted system of lattices
    0 references
    congruence lattices
    0 references
    connected monounary algebras with a loop
    0 references
    \(S\)-pasted sum of lattices
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references