{"entities":{"Q998783":{"pageid":1000631,"ns":120,"title":"Item:Q998783","lastrevid":65923458,"modified":"2026-04-12T06:18:24Z","type":"item","id":"Q998783","labels":{"en":{"language":"en","value":"Congruence-preserving functions on distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5500524"}},"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":"Q998783$92CA5298-C8AD-45D2-BFEE-2826E415ABF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c71784ed15ee118f9c36b6de703d16340030cc38","datavalue":{"value":{"text":"Congruence-preserving functions on distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998783$EE6A0C16-28F7-402D-AA18-149CC663ADE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1665eecf94c5a74460ee6a33a81733989ca4af10","datavalue":{"value":"1178.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$76A4DE62-6AD7-4BC8-B3A6-54674E96E667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06af347d62b2363e181b683d510a6516c1089689","datavalue":{"value":{"entity-type":"item","numeric-id":271700,"id":"Q271700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998783$2759C73B-8C3B-49D8-AAE2-1B602CF7B6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"113dfb69a39b21a62cbfab3fd07dcff57fcb310e","datavalue":{"value":{"entity-type":"item","numeric-id":494627,"id":"Q494627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998783$F0AE07C6-4CE5-4243-8608-C3634783F3FB","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":"Q998783$3ABD41EE-6A46-4D1F-B44C-EBD3A93EB9DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb6acab23889a0ed3b92367ee7861f8c14e06ffc","datavalue":{"value":{"time":"+2009-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998783$F9583678-5475-471F-97BD-F835F1464D00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7d22178ab483e9bd8a2eeda4f988078e1cdc826","datavalue":{"value":"A finitary function \\(f: A^n\\to A\\) on an algebra \\({\\mathbf A}\\) is called congruence-preserving if, for any congruence \\(\\theta\\) of \\({\\mathbf A}\\), \\((a_i,b_i)\\in\\theta\\), \\(i= 1,\\dots, n\\), implies that \\((f(a_1,\\dots, a_n), f(b_1,\\dots, b_n))\\in\\theta\\). The set \\(C({\\mathbf A})\\) of all congruence-preserving functions forms a clone on \\(A\\) (i.e., a set of finitary functions containing all projections and closed under composition).   In the present paper, for any distributive lattice \\({\\mathbf L}= (L;\\vee,\\wedge)\\), a ``nice'' generating set for the clone \\(C({\\mathbf L})\\) is given. This generating set contains 7 types of functions such that every compatible function on \\({\\mathbf L}\\) is a composition of functions of these types.  The technique of the proof consists of three main steps: {\\parindent=7,5mm  \\begin{itemize}\\item[(i)] A rather simple generating set (consisting of lattice polynomials and complementations in Boolean intervals) is given in the case where the distributive lattice \\({\\mathbf L}\\) is bounded. \\item[(ii)] An extension theorem is proved which provides, for any distributive lattice \\({\\mathbf L}\\), an extension \\({\\mathbf L}^*\\) of \\({\\mathbf L}\\) with the following property: \\({\\mathbf L}^*\\) is a bounded distributive lattice, and every congruence-preserving function on \\({\\mathbf L}\\) can be extended to a congruence-preserving function on \\({\\mathbf L}^*\\). \\item[(iii)] Finally, in the third step, the methods of (i) and (ii) are combined (in a rather sophisticated way) in order to yield the desired generating set of \\(C({\\mathbf L})\\).   \\end{itemize}} The paper is a continuation of the research motivated by G. Gr\u00e4tzer's study of affine completeness for Boolean algebras and distributive lattices from 1962 and 1964, respectively, and by the work of G. Gr\u00e4tzer and E. T. Schmidt on unary isotone congruence-preserving functions of distributive lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$065A6F91-8BEE-47BF-8D4E-18F4FF0B415E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998783$687F8D9F-F3E7-4B06-947C-43FCA4EC8F02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$717DD040-2890-4138-BBDA-D8FB4A628603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$C8DEDB28-85A3-4A09-B21D-005213235FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4fcff8b8849ce79ef6da76c3e6cf3c364e54165","datavalue":{"value":"5500524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$430FD603-AA3F-4687-A648-FD950E43FAD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$C47A505C-F87A-4208-B3B9-FCB6FA853C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$45A3AA22-CAD4-4263-8AA9-A4C86415790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5751c5b4e131a114ade0365e656ff164fd792153","datavalue":{"value":"compatible function","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$8B809002-90B7-471B-AC4D-43DAF8F130CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d2fa24c579b2baeef4d0446de7aa9ba4289043","datavalue":{"value":"polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$AC9D4BB2-BE96-4B16-A9E3-BA103903F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2919efda3d9828b76deb30a63d62ca5b413914","datavalue":{"value":"clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$084E831E-FC18-4C05-8FA5-8323FC80F537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f87058e1ad6fd6d4f5727dcb8fe915bacf1ed","datavalue":{"value":"generating set","type":"string"},"datatype":"string"},"type":"statement","id":"Q998783$1DD87199-54B4-4D15-AAAD-01919AB7EB1C","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":"Q998783$7A1620BB-033A-48D5-A4FB-28C73B0B5FAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4786b1d22ca546234df48d0785d800230707f53b","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2099-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q998783$D550859F-CC7B-49FC-8542-A71437CA4B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cf24c91f141cc7fca3fd0d539bdd8130cb95d6e","datavalue":{"value":"W1982780769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$B505934B-A733-4150-802B-FB940D46C5FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa2993c28dc7183e087f079c16507312d64c4b44","datavalue":{"value":"10.1007/S00012-008-2099-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998783$4615B2A1-811F-451A-A503-D8AAB25FF0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9bee2e6cf07ed999590c347890566ba24e75fa","datavalue":{"value":{"entity-type":"item","numeric-id":1344243,"id":"Q1344243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1d64d136d6ac68d5986b5c838102ef145ce95a","datavalue":{"value":{"amount":"+0.926672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$628E4CC0-598A-4A19-AED4-D32E463908A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36dc7ed5c26826311baf1d3ad114dd4696c00f1","datavalue":{"value":{"entity-type":"item","numeric-id":2093984,"id":"Q2093984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c9fd99875a67f952c6090b31a421992ce6d509","datavalue":{"value":{"amount":"+0.9237965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$1723B4CA-CB72-4FA7-9693-B6C410C01517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91cd1f1c0759aafe5342240b5decfc4dd90c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5843040,"id":"Q5843040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc5160ee9ddf63ef9a8dd7585a925e5757354ec","datavalue":{"value":{"amount":"+0.91482913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$05AE658E-6533-49A9-9528-465687C3D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613d378b71bca099073ef8fbcd36f77cb1f6c163","datavalue":{"value":{"entity-type":"item","numeric-id":5435060,"id":"Q5435060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af9657b04b1fd7e5f0f4dbd369a58415e8d8a09","datavalue":{"value":{"amount":"+0.91461784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$C059D124-AF42-49B9-8CE1-95D9EE34714D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132fd545f6bc9b3ad10c7254ee5cc28cee0eaf67","datavalue":{"value":{"entity-type":"item","numeric-id":3090216,"id":"Q3090216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f4576c12b82ecedf43d161f1b4f5be3aefec0c","datavalue":{"value":{"amount":"+0.9139865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$DE8F958A-40FB-4A41-B815-1442EB13CDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7182957ab38442935acb4e3144051d869c4e33","datavalue":{"value":{"entity-type":"item","numeric-id":1954291,"id":"Q1954291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a5b3a5c2859ddfb6ea863f01e356cd30436975","datavalue":{"value":{"amount":"+0.9090432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$25C152DC-3203-4F6C-B758-C88C7A138C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4aff74e47bac4d8631b15a3410a0860c82de3f","datavalue":{"value":{"entity-type":"item","numeric-id":1187243,"id":"Q1187243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff69d7e544885dce0832cc0eb6a6b42d6bdeef0","datavalue":{"value":{"amount":"+0.9029931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$91E6A503-2936-472F-917C-98ECF50C67F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e0a5494f283eee1fc270710426a31ca6d8072a","datavalue":{"value":{"entity-type":"item","numeric-id":1239177,"id":"Q1239177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e646b9de975f0c20eeb63646a405c58554832f","datavalue":{"value":{"amount":"+0.900968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$8BBFAEE6-40E9-4002-A59C-B03B7FF6D6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023401a59784097d66a865f44c5fc7712629dcad","datavalue":{"value":{"entity-type":"item","numeric-id":2583606,"id":"Q2583606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9782478b0c391eb5a661cdf2d5ad9595b8f88f78","datavalue":{"value":{"amount":"+0.89877427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998783$8A889DF3-1D06-4DF5-97E6-D01EAF6D6B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence-preserving functions on distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence-preserving_functions_on_distributive_lattices"}}}}}