Near unanimity: An obstacle to general duality theory (Q1891279): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Lutz Heindorf / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Ernest Płonka / rank
Normal rank
 
Property / author
 
Property / author: Lutz Heindorf / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Ernest Płonka / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotone clones and congruence modularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138860 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3033816 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partition-induced natural dualities for varieties of pseudo-complemented distributive lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal Natural Dualities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotone clones and the varieties they determine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Piggyback-Dualitäten / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3140287 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monotone clones, residual smallness and congruence distributivity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implication algebras are 3-permutable and 3-distributive / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:41, 23 May 2024

scientific article
Language Label Description Also known as
English
Near unanimity: An obstacle to general duality theory
scientific article

    Statements

    Near unanimity: An obstacle to general duality theory (English)
    0 references
    0 references
    0 references
    0 references
    9 November 1995
    0 references
    Let \(\underline P= (P; F)\) be an algebra. Let \(\underset\widetilde{} P= (P; G, H, R, T)\) be a structure such that all \(n\)-ary (partial) operations from \(G\) \((H)\) are homomorphisms of the \(n\)th power of \(\underline P\) (of domain) into \(\underline P\), all \(n\)-ary relations from \(R\) are subuniverses of \(\underline P\), and \(T\) is the discrete topology on \(P\). Let \({\mathcal A}= \text{ISP}(\underline P)\) and \({\mathcal X}= \text{IS}_{\text{c}} \text{P}(P)\) (\(\text{S}_{\text{c}}\) means closed substructures). There are well-defined hom-functors \(D: {\mathcal A}\to {\mathcal X}\) and \(E: {\mathcal X}\to {\mathcal A}\). If \(ED(\underline A)\) is an isomorphism for all \(\underline A\in {\mathcal A}\), we say that \(\underline P\) admits natural duality (\(\underset\widetilde{} P\) yields a natural duality) in the sense of B. A. Davey. It was proved by B. A. Davey and H. Werner that if \(\underline P\) has a term (near- unanimity term) of arity \(\geq 3\) such that \(T(x,\dots, x, y)= T(x,\dots, y, x)= T(x, y, \dots, x)= T(y, \dots, x)\) are identities in \(\underline P\), then \(\underline P\) admits a natural duality. The authors prove that in the finite case \(\underline P\) admits a natural duality and has a distributive lattice of congruences iff \(\underline P\) has a near-unanimity term iff \(\underline P\) has a distributive lattice of congruences and for every compact totally disconnected topological space \(X\) each subalgebra of the algebra \(C(X, \underline P)\) of all continuous functions is closed in the pointwise topology. Some other connections between these notions are given.
    0 references
    finite algebra
    0 references
    near-unanimity term
    0 references
    algebra of continuous functions
    0 references
    closed substructures
    0 references
    hom-functors
    0 references
    natural duality
    0 references
    congruences
    0 references
    topology
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references