{"entities":{"Q1297811":{"pageid":1308561,"ns":120,"title":"Item:Q1297811","lastrevid":67309305,"modified":"2026-04-12T16:46:10Z","type":"item","id":"Q1297811","labels":{"en":{"language":"en","value":"Isotone maps as maps of congruences. I: Abstract maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1336399"}},"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":"Q1297811$93C38959-5C27-4726-9686-C782F6330503","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81d0aba5596402dfd44b1e67fdcd85dd3d0e24f1","datavalue":{"value":{"text":"Isotone maps as maps of congruences. I: Abstract maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1297811$FAE7B858-7387-4AE6-A40F-EEAB18A510B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ab8f12a037ecb7ba3e2d684fd65a43f83749929","datavalue":{"value":"0921.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$EC5822C4-9A18-4F82-A193-A26EDF5BC0E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1315dcc9a76e0cd01f31548ba4eded86de24f413","datavalue":{"value":"10.1023/A:1006586819010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$E0C58EE5-4A42-411E-B732-47FC39BD95DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297811$45D943EB-3DDB-4EBF-95A8-1CF7D890A860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4297ec79a5682b9b76f73920b9542007332ff55","datavalue":{"value":{"time":"+1999-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1297811$7AF71533-EC2E-4525-809F-ADB1F908E585","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40ad5373a9323dea175edb1352901c7943a0e22a","datavalue":{"value":"Let \\(K\\) and \\(L\\) be lattices and let \\(\\varphi:K\\rightarrow L\\) be a lattice homomorphism. The associated restriction map \\(\\text{rs } \\varphi:\\text{Con } L \\rightarrow \\text{Con } K\\) is defined by setting \\(x \\equiv y\\) \\(((\\text{rs } \\varphi)\\Theta)\\) iff \\(\\varphi x \\equiv \\varphi y \\;(\\Theta)\\), for each \\( \\Theta \\in \\text{Con }L\\). The extension of \\(\\varphi\\), \\(\\text{xt }\\varphi:\\text{Con }K\\rightarrow \\text{Con }L\\) is defined by setting, for each \\(\\Theta\\in \\text{Con }K\\), \\((\\text{xt }\\varphi) \\Theta\\) to be the congruence relation of \\(L\\) generated by the subset \\(\\varphi^2(\\Theta)\\) of \\(L^2\\) (where \\(\\varphi^2:K^2\\rightarrow L^2\\) is the map induced by \\(\\varphi\\)): \\((\\text{xt }\\varphi) \\Theta=\\bigvee (\\Theta_L(\\varphi x,\\varphi y)| x\\equiv y\\;(\\Theta))\\). \\smallskip The authors prove several variants of the following main result: Let \\(D_1\\) and \\(D_2\\) be finite distributive lattices, and let \\(\\psi:D_1\\rightarrow D_2\\) be an isotone map. Then there are finite lattices \\(L_1\\), \\(L_2\\), \\(L\\), a lattice embedding \\(\\varphi_1:L_1\\rightarrow L\\), a lattice homomorphism \\(\\varphi_2:L_2\\rightarrow L\\), and isomorphisms \\(\\alpha_1:D_1\\rightarrow \\text{Con }L_1\\), \\(\\alpha_2:D_2\\rightarrow \\text{Con }L_2\\) such that \\(\\alpha_2\\circ \\psi= (\\text{rs }\\varphi_2)\\circ (\\text{xt }\\varphi_1)\\circ \\alpha_1\\) where \\(\\text{xt }\\varphi_1:\\text{Con }L_1\\rightarrow \\text{Con }L\\) and \\(\\text{rs }\\varphi_2:\\text{Con }L\\rightarrow \\text{Con }L_2\\). Furthermore \\(\\varphi_2\\) is also an embedding iff \\(\\psi\\) preserves \\(0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297811$7B94C4E4-AE2E-4A09-9D57-76A7B4BC5738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$D8EF6022-4862-4159-873C-0EB603FEDD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$83AA07C2-1873-4E2F-8592-300FBD4C652F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"789a1917d23a3e017e928f067a06b35f666d48c5","datavalue":{"value":"1336399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$BDD3B1B2-3C4F-4F47-83AA-D5548C3835ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a715f2094a086338f5179ebd7c13b38c87b0342","datavalue":{"value":"isotone maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297811$33B6F328-EF18-49D8-A649-BF3AC1972392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"752a69cc985235290d2140eb882570e8ec964fc0","datavalue":{"value":"congruence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297811$D7C6F551-A5F4-4ACB-A6FC-ED49140FB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297811$3E5CFB5C-B5A1-4845-987F-95A49060F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1389010126bd2f847b2e3b8145b845be83710343","datavalue":{"value":"formal inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1297811$61C361D6-2476-4A26-AC3E-83464974F50F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297811$9A1B63B8-40F0-4651-B31C-2B98D2CD67CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2131291c5cf28f71d0f5b46d94c82ae4603c93d","datavalue":{"value":{"entity-type":"item","numeric-id":1167750,"id":"Q1167750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297811$F285F11D-AAE9-44AE-BB33-E3B8045A0B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d76a34559601b9b0cc4f1bb88fc12d52b254d5","datavalue":{"value":{"entity-type":"item","numeric-id":647322,"id":"Q647322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297811$B31E2885-FB54-4F48-A73D-F24E9D76A64B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1297811$4444D450-8F43-41FB-8B7C-01046565386C","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":"Q1297811$74183507-4578-4E67-AA2D-C1120F393613","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a3d6b3be040c4e8e825d589089058f0b240ac7e","datavalue":{"value":"https://doi.org/10.1023/a:1006586819010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1297811$136DEA35-4AB2-4D5D-8E00-6897B5DC9BF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38cdc6a2327bca3f69fc2a2eaa7e7eed6f4488ad","datavalue":{"value":"W1778349934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1297811$D3B0505C-0AF7-48E7-882A-B2BF33CAA16F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b1381db12c426bc71054a780e6f37cd7d6958","datavalue":{"value":{"entity-type":"item","numeric-id":1872877,"id":"Q1872877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19dfe353b5a27d15fae4ffd2e3c5f2ec009e40d","datavalue":{"value":{"amount":"+0.9340991377830504","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":"Q1297811$E59E8418-9720-40AD-ADDA-0F74B4569376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97776843832497314b90c44d125cf04c17fd9f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2979433,"id":"Q2979433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce922b3b12196b8ddb5df1881999cccba8d4cecd","datavalue":{"value":{"amount":"+0.834001898765564","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":"Q1297811$28E03097-D87C-4456-B317-28FF3429F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386a8c300d29a9e092af00efa72ef033381794fb","datavalue":{"value":{"entity-type":"item","numeric-id":3728952,"id":"Q3728952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acf56512c8b11531581cff6d06a8d114c2a117d","datavalue":{"value":{"amount":"+0.829423189163208","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":"Q1297811$8E374AB1-1771-495A-8EC5-CAEBD3F5E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbe90809caddea75bb44093c93af252234fa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1762477,"id":"Q1762477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47789e97a006c0b63f846879918c1c0bc9fa28ee","datavalue":{"value":{"amount":"+0.8248099684715271","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":"Q1297811$26D4D76A-B7B7-41ED-8B79-1023B141ABAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isotone maps as maps of congruences. I: Abstract maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isotone_maps_as_maps_of_congruences._I:_Abstract_maps"}}}}}