{"entities":{"Q5919224":{"pageid":8050591,"ns":120,"title":"Item:Q5919224","lastrevid":48795889,"modified":"2026-01-05T21:23:34Z","type":"item","id":"Q5919224","labels":{"en":{"language":"en","value":"On congruence lattices of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895125"}},"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":"Q5919224$6513EC99-DB0D-4977-8991-C33532F6420A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d530eb7e50d54fe216acf0a21a54feced4674052","datavalue":{"value":{"text":"On congruence lattices of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919224$0D45493D-B766-4E90-A61D-11A41C80573B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18e2316cd2221947dbd54d6d7848e7ae1e00d3a8","datavalue":{"value":"0562.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919224$C2A29692-8957-4B93-ACC2-55AD82E5AB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2217be0efa49d0729602bc2133aa059300ab366f","datavalue":{"value":"10.1007/BF01236809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919224$B8AC470D-D84B-4C88-8AF0-D056485EBBFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919224$A734081E-E1F1-4A3A-8963-856902535B75","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":"Q5919224$AED93859-CDA5-42A4-A288-84E0F1697620","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q5919224$0A79C1A6-F548-4824-BE66-79B8D8A7E693","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1428e2002b02a29a2f29a709a505955bd1549af9","datavalue":{"value":"This paper concerns the old problem, whether every distributive algebraic lattice is isomorphic to the congruence lattice of a lattice. The author discovers a new approach to reduce the representation problem to investigations of congruence lattices of finite lattices. His approach is the following. Let D be the category of finite distributive lattices where the morphisms are the one-to-one 0-preserving \\(\\vee\\)-homomorphism. Is there any functor R of D to the category of finite lattices with lattice embeddings such that the following holds? (i) For any distributive lattice D there is an isomorphism \\(\\phi_ D: D\\cong Con(R(D)).\\), (ii) If \\(\\delta\\) : \\(D_ 1\\to D_ 2\\) is a one-to-one 0- preserving \\(\\vee\\)-homomorphism then \\(R(D_ 1)\\) has a lattice embedding R(\\(\\delta)\\) to \\(R(D_ 2)\\) such that \\(R(\\delta_{12}\\delta_{23})=R(\\delta_{12})R(\\delta_{23})\\) for \\(\\delta_{12}: D_ 1\\to D_ 2\\) and \\(\\delta_{23}: D_ 2\\to D_ 3.\\), (iii) If Con(R(\\(\\delta)\\)) is the mapping of \\(Con(R(D_ 1))\\) to \\(Con(R(D_ 2))\\) induced by R(\\(\\delta)\\) then \\(\\phi_{D_ 2}\\circ \\delta =Con(R(\\delta)\\circ \\phi_{D_ 1}\\). If such a functor R exists then the representation problem would have a positive solution, namely every distributive semilattice D is the direct limit of its finite distributive subsemilattices, \\(D_{\\gamma}\\)-s. Then the \\(R(D_{\\gamma})\\)-s form a directed set whose direct limit L has the congruence lattice I(D), the ideal lattice of D. The author solves a modified program. He proves an analogous result for distributive lattices and 0-preserving lattice embeddings in the place of semilattices and \\(\\vee\\)-embeddings. In this way the author gets a new proof for a theorem of the reviewer which states that every ideal lattice of a distributive lattice is isomorphic to the congruence lattice of a lattice [\\textit{E. T. Schmidt}, Acta Sci. Math. 43, 153-168 (1981; Zbl 0463.06007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$67FE524C-4918-46D5-A761-967A2FCDDDFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919224$7A318E4D-06AB-4466-80E2-B506532CFC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919224$CD126C03-0A5A-4948-8375-0A7FD16CC686","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7657e33ad2f8b858818730a8a9344d116f4ec296","datavalue":{"value":"3895125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919224$A76D16D4-BF5F-4079-B3E2-AF10B9C3E091","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34be8605b1f22b11b1896e4f5c41e4fcfb016083","datavalue":{"value":"distributive algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$1AFB3111-BEA8-4685-B37A-B9E29B4684A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$EC3E61FE-76DE-4078-AE99-19FF9A8F68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666837db57503fdcb4cc08c3a3e89fc1fd322654","datavalue":{"value":"representation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$B6CCE484-9601-448C-8045-CD4981841E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2229324ce607b71fd62d92adf40e07b3afa67224","datavalue":{"value":"congruence lattices of finite lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$5BCFE795-CD18-41D5-A706-0726CC5D1BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b52d1db4e11c6bd3c560f3b7790ee055ca85f900","datavalue":{"value":"category of finite distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919224$968CE0C1-E9DE-4067-B7BA-11B29A107DF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eba4b864a38ffad8038867202a5720a7e8617448","datavalue":{"value":{"entity-type":"item","numeric-id":1586350,"id":"Q1586350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919224$98353BF6-792C-4830-A5B4-C7856FAA2E54","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":"Q5919224$A22CA724-CEB6-4259-9B3F-D8FBB3E1F093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d5454bf3b1bce0e71da37452a9996b519140be","datavalue":{"value":{"entity-type":"item","numeric-id":3912631,"id":"Q3912631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919224$A83D6BC6-1B06-4569-8870-6467118DD1A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83ab1ed263efeb9c0d274ed55eff33745be181d","datavalue":{"value":{"entity-type":"item","numeric-id":4733895,"id":"Q4733895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fe18b9ffac659ddf5d7b41510ab8687c50b715","datavalue":{"value":{"amount":"+0.8524890542030334","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":"Q5919224$2B584ED3-0E79-4004-9922-4BD3F754719A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312946a7fbe42ccd3e1d983deb517a78bbe2244e","datavalue":{"value":{"entity-type":"item","numeric-id":3315561,"id":"Q3315561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da270b108fc3a81025f8fda55f40ef9a35c5134","datavalue":{"value":{"amount":"+0.8498290777206421","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":"Q5919224$CCC25D51-C5AD-4E50-9B35-CA0D42AA52FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334ab1d686b37e89de6f4993f86fd671ef9eb541","datavalue":{"value":{"entity-type":"item","numeric-id":759781,"id":"Q759781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a797ad696b7668e2b9aabe09718a90f7de3e9d8","datavalue":{"value":{"amount":"+0.8439069986343384","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":"Q5919224$1C8F7DE5-BE4A-4ECF-B0E2-E2D37981A9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31bfc7e746639b64927769657b041ca449da79f","datavalue":{"value":{"entity-type":"item","numeric-id":4299125,"id":"Q4299125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1b38820c8ac49da747a91c5fd6547174469069","datavalue":{"value":{"amount":"+0.8274941444396973","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":"Q5919224$61B4895F-A453-4A66-BC3A-539175AB4F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d4b0bdfe1526e7915c78a71e423141f943ec701","datavalue":{"value":{"entity-type":"item","numeric-id":2950776,"id":"Q2950776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15e8ba8c041e976332fbf2064d674d8e06348cb","datavalue":{"value":{"amount":"+0.8204529285430908","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":"Q5919224$D5C8C8B7-2D72-4A7C-9DBE-953CE1E1049C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919224"}}}}}