{"entities":{"Q793061":{"pageid":794909,"ns":120,"title":"Item:Q793061","lastrevid":64416918,"modified":"2026-04-11T19:43:38Z","type":"item","id":"Q793061","labels":{"en":{"language":"en","value":"Quotients of complete ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855173"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$D4EFAA86-3536-43A0-900F-B676FCC0D9EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ee929d270aa0d6ad15720093021e0ae75372157","datavalue":{"value":{"text":"Quotients of complete ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793061$AE3CC553-D8AF-4CCF-975D-91EFBCA67943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c51540a005e1a7b4990c129671e1e0b507940225","datavalue":{"value":"0538.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$D7F2A748-D0E6-42EA-979B-E9FCC291C2BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"682b6824109691b36a160f1dc70b201a89bcc241","datavalue":{"value":"10.1007/BF01194546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$A70CB912-2674-41D1-9189-4EA37A89077B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$C4F248A4-76ED-490C-9F2B-4FE1CE182DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5dba8a868cf8efb55f25660c00e370221df2f2","datavalue":{"value":{"entity-type":"item","numeric-id":686306,"id":"Q686306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$9451C1A7-9E0A-474F-88FA-407C2650A67C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$90BFE0AC-D925-4896-AF52-49FA28A4DB9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q793061$39171043-D23F-44BF-AC2E-97BA8C852B21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6f4b82f7aaea5858e3c5babdfd5fe73acae7295","datavalue":{"value":"When does a complete lattice K have a noncomplete homomorphic image? The authors show that K must contain a subset isomorphic to \\(2^ N\\), where N denotes the natural numbers. If K is distributive, the condition is shown to be both necessary and sufficient. It is of some interest to note that as a consequence of the above result, if K is countable, or has finite dimension, or has no infinite antichain, then every homomorphic image of K must be complete. It is also shown that every homomorphic image of a complete lattice with finite dimension is in fact a retract. An ordered set P is called locally chain-complete if each maximal chain connecting a pair of elements x,y \\((x<y)\\) is complete. The final main result of the paper is that if Q is a quotient of an ordered set P with no infinite antichain, then P locally chain-complete implies that Q also has this property. Note here that to say that Q is a quotient of P is to say that there is an isotone mapping f of P onto Q such that for \\(u<v\\) in P there is a finite sequence \\(x_ 1,x_ 2,...,x_ n\\) of elements of P such that \\(f(x_ 1)=u,\\quad x_ 1\\leq x_ 2,\\quad f(x_ 2)=f(x_ 3),...,x_{n-1}\\leq x_ n,\\) and \\(f(x_ n)=v.\\) The paper closes by posing a number of interesting open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793061$6AB9D3CC-ADB7-45F7-87AA-747FCF6FAE15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$A1503F99-61C3-42A0-ADC6-37AF98F90B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$5B6115D5-BF89-48BE-8715-9E2AAF583643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$8A6AF930-FA0E-406F-A54B-0AF299B44164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$7676E89A-C32B-426B-ACC4-A2E068095EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$4781052C-E6EE-4713-96D1-072E109269DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5f5bec9e5bb98c0b90262d35b5c28db84678525","datavalue":{"value":"3855173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793061$C47BE3E7-F643-40CF-BD66-48963B034E13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q793061$6ABFFE3D-3ABF-478F-AAB7-36731E3832A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d01956d264f2c31fff7583824a5defd9dbd4a2","datavalue":{"value":"noncomplete homomorphic image","type":"string"},"datatype":"string"},"type":"statement","id":"Q793061$4F3E1C57-9184-42E4-ADCF-29B09FA5A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50328b331aa4cde61eb0cba86d225c9cec8ba382","datavalue":{"value":"retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q793061$D3E55DB7-B587-482F-9DBE-89AEA2DEAAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7fb42b86dd81527bcc018426ce0d8501566ef0","datavalue":{"value":"quotient of an ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q793061$A77D8A4C-AD94-40EB-A8B3-2FE9B00758C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88a87edeea11e54abfe6c168c94e598e8120dc75","datavalue":{"value":{"entity-type":"item","numeric-id":1042320,"id":"Q1042320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$A3665853-ACE3-4744-9B21-8AA3D8412A00","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$FACBE23E-5243-457F-8AAA-D27E5077787E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2814a1fcdc7203d341baa5129d69e076839780","datavalue":{"value":{"entity-type":"item","numeric-id":5581652,"id":"Q5581652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$D61C10C0-8139-4210-BF98-CFA395E5CA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ba82e55995708e57534e5d76d57ef5d31ede0f","datavalue":{"value":{"entity-type":"item","numeric-id":5596850,"id":"Q5596850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$70219EB3-DEF5-4061-912E-E5A102ED7584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56075be839cabc5f3187acb6fd404d952e3ac667","datavalue":{"value":{"entity-type":"item","numeric-id":1148926,"id":"Q1148926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$E3D4EF8E-E5F4-4879-9B17-0C32A394FEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04655507cfa3b8351f7f0657e6f8472d4b8b19a3","datavalue":{"value":{"entity-type":"item","numeric-id":5780132,"id":"Q5780132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$3BA8DB2F-EB72-445D-8366-D64E4214C55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d067152918fe0097a10259623f22d28ad0709a89","datavalue":{"value":{"entity-type":"item","numeric-id":3936785,"id":"Q3936785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$10E037E8-6A73-4124-8588-B8D4B508923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93c686ec189b3fb845e1a030621bea964d1b37c","datavalue":{"value":{"entity-type":"item","numeric-id":797605,"id":"Q797605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$7334BB92-AF26-4B65-9F59-B43A4B3C146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec153a99c2ed6b330b2348bfa9d11d221ff70b1a","datavalue":{"value":{"entity-type":"item","numeric-id":1155636,"id":"Q1155636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793061$3DFBA464-8BE2-40AF-B147-4F8BE7FA762C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1485ddab33a1bc57f185d9e32b2c8a97437741","datavalue":{"value":{"entity-type":"item","numeric-id":2577754,"id":"Q2577754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4246749563e00fb266def2b06a24a79eb8d45c","datavalue":{"value":{"amount":"+0.7609442472457886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793061$0911FC53-848E-43E5-80CB-F6EC812F2A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129695d48bf12e6f7b9e614afb18eaf2d9cc438b","datavalue":{"value":{"entity-type":"item","numeric-id":1311420,"id":"Q1311420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed5585adf2aebb9640f1bbd5537583aaeb491c5","datavalue":{"value":{"amount":"+0.7447465658187866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793061$59BF27BE-5563-4A72-BA27-821735C85211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cc4d9bf7832731f11817fcae140c1bf5941e9","datavalue":{"value":{"entity-type":"item","numeric-id":1070253,"id":"Q1070253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54823b4b2bc78d45a1b01d734c8a9cee9774502","datavalue":{"value":{"amount":"+0.7356928586959839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793061$CD259D1A-4077-4959-9671-E02462ECE2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801f8de9a92ac1125aa21ef79233aa42ac6f0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3484891,"id":"Q3484891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b0e710dbb4962752ddaf6db4ec10fc4dbfb57a","datavalue":{"value":{"amount":"+0.7290252447128296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793061$9C3E8866-F7FF-425D-A843-C1F99B2615FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03b2274d9fa80a6946ba2357d15cc273ebeb41","datavalue":{"value":{"entity-type":"item","numeric-id":3405142,"id":"Q3405142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fafa9ee9e1d50293df0e243554ce10e3d28bb4b","datavalue":{"value":{"amount":"+0.7281466126441956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793061$6AD2D1E8-39AC-43EE-BECB-8F362EAF7F09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotients of complete ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotients_of_complete_ordered_sets"}}}}}