Abstract
A standard extension for a poset P is a system Q of lower ends (‘descending subsets’) of P containing all principal ideals of P. An isomorphism ϕ between P and Q is called recycling if ∪ϕ[Y]∈Q for all Y∈Q. The existence of such an isomorphism has rather restrictive consequences for the system Q in question. For example, if Q contains all lower ends generated by chains then a recycling isomorphism between P and Q forces Q to be precisely the system of all principal ideals. For certain standard extensions Q, it turns out that every isomorphism between P and Q (if there is any) must be recycling. Our results include the well-known fact that a poset cannot be isomorphic to the system of all lower ends, as well as the fact that a poset is isomorphic to the system of all ideals (i.e., directed lower ends) only if every ideal is principal.
Similar content being viewed by others
References
J.Adámek (1982) Construction of free continuous algebras, Algebra Universalis 14, 140–166.
B.Banaschewski (1956) Hüllensysteme und Erweiterung von Quasi-Ordnungen, Z. Math. Logik Grundlagen der Mathematik 2, 117–130.
B.Banaschewski and E.Nelson (1979) Completions of partially ordered sets as reflections, Comp. Science Tech. Report No 79-CS-6, McMaster University, Hamilton, Ontario.
N.Bourbaki (1949) Sur le théorème de Zorn, Arch. Math. 2, 434–437.
R. P.Dilworth and A. M.Gleason (1962) A generalized Cantor theorem. Proc. Am. Math. Soc. 13, 704–705.
M.Erné (1981) Scott convergence and Scott topology in partially ordered sets II, in: Continuous Lattices, Proc. Bremen 1979, Lecture Notes in Math, Vol. 871, Springer-Verlag, Berlin, Heidelberg, New York, pp. 61–96.
M.Erné (1982) Einführung in die Ordnungstheorie, B.I. Wissenschaftsverlag, Mannheim.
M.Erné (1983) Adjunctions and standard constructions for partially ordered sets, in: Contributions to General Algebra Vol. 2, Proc. Klagenfurt Conf. 1982. Teubner, Stuttgart, pp. 77–106.
M.Erné and G.Wilke (1983) Standard completions for quasiordered sets. Semigroup Forum 27, 351–376.
I.Fleischer (1976) Even every join-extension solves a universal problem, J. Austral. Math. Soc. 21, 220–223.
O.Frink (1954) Ideals in partially ordered sets. Amer. Math. Monthly 61, 223–234.
G.Gierz, K. H.Hofmann, K.Keimel, J. D.Lawson, M.Mislove, and D. S.Scott (1980) A Compendium of Continuous Lattices, Springer-Verlag, Berlin, Heidelberg, New York.
D.Higgs (1971) Lattices isomorphic to their ideal lattices. Algebra Universalis 1, 71–72.
R.-E.Hoffmann (1979) Continuous posets and adjoint sequences, Semigroup Forum 18, 173–188.
T. J.Jech (1973) The Axiom of Choice, North-Holland, Amsterdam, London.
J. D.Lawson (1979) The duality of continuous posets, Houston J. Math. 5, 357–386.
J.Meseguer (1983) Order completion monads, Algebra Universalis 16, 63–82.
J.Schmidt (1956) Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Hülle, Arch. Math. 7, 241–249.
J.Schmidt (1974) Each join-completion of a partially ordered set is the solution of a universal problem, J. Austral. Math. Soc. 17, 406–413.
J. B.Wright, E. G.Wagner, and J. W.Thatcher (1978) A uniform approach to inductive posets and inductive closure. Theor. Comp. Sci. 7, 57–77.
Author information
Authors and Affiliations
Additional information
Communicated by K. Keimel
Rights and permissions
About this article
Cite this article
Erné, M. Posets isomorphic to their extensions. Order 2, 199–210 (1985). https://doi.org/10.1007/BF00334857
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00334857