Natural congruences and isomorphism theorems for directed complete partially ordered sets (Q509532)

From MaRDI portal
Revision as of 10:27, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Natural congruences and isomorphism theorems for directed complete partially ordered sets
scientific article

    Statements

    Natural congruences and isomorphism theorems for directed complete partially ordered sets (English)
    0 references
    0 references
    0 references
    0 references
    17 February 2017
    0 references
    It was shown by \textit{T. S. Blyth} and \textit{M. F. Janowitz} in [Residuation theory. Oxford etc.: Pergamon Press. (1972; Zbl 0301.06001)] that an equivalence \(R\) on an ordered set is a congruence, i.e. the quotient structure is an ordered set again, if and only if \(R\) is convex. Directed complete partially ordered sets play an important role in domain theory but a description of congruences for them was not yet developed. The aim of the paper is to characterize natural congruences on completely partially ordered sets and to show that kernels of their join-preserving maps are not necessarily natural congruences. Join-preserving maps whose kernels are natural congruences are characterized. Decomposition and isomorphism theorems for these maps are proved.
    0 references
    0 references
    congruence
    0 references
    natural congruence
    0 references
    directed complete partially ordered set
    0 references
    continuous map
    0 references

    Identifiers

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