{"entities":{"Q998776":{"pageid":1000624,"ns":120,"title":"Item:Q998776","lastrevid":65923395,"modified":"2026-04-12T06:18:23Z","type":"item","id":"Q998776","labels":{"en":{"language":"en","value":"Sublattices of the direct product"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5500518"}},"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":"Q998776$621ED238-D2D1-4CF5-8DC2-558412A564DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e344ec43dfb8968b68d751eed1a7166256820f3","datavalue":{"value":{"text":"Sublattices of the direct product","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998776$27E13D74-813D-4F28-B5D1-4A0B7F630E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"254c883c8b38f4f168a1468dc92c92cef9e92a34","datavalue":{"value":"1170.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$19D03F8B-2217-4A97-88C9-218BD7F5AD85","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":"Q998776$36C2E61E-A679-4A2B-9BBF-1C34BA7866AC","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":"Q998776$4647B594-3443-4225-9453-01B13605A476","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5691ef56281cf3724c02dbdb10088360ab97aa91","datavalue":{"value":"The authors establish an anti-isomorphism between the lattice \\(\\text{Subd}^{01}(K, M)\\) of all \\((0, 1)\\)-subdirect products of complete lattices \\(K\\) and \\(M\\), and the lattice \\(\\text{Res}(K, M)\\) of adjunctions (residuated mappings) from \\(K\\) to \\(M\\).  They then prove that for every subdirect product \\(L\\) of two complete lattices \\(K\\) and \\(M\\) there exist join-preserving mappings \\(\\varphi : K \\rightarrow M\\) and \\(\\alpha : M \\rightarrow K\\) and meet-preserving mappings \\(\\psi : M \\rightarrow K\\), \\(\\beta : K \\rightarrow M\\) such that:   \\[  \\{ (x, y) \\mid \\varphi(x) \\leq y \\leq \\beta(x) \\} = L = \\{ (x, y) \\mid \\alpha(y) \\leq x \\leq \\psi(y) \\}.  \\]   This result is used for:  {\\parindent=7mm \\begin{itemize}\\item[(1)] obtaining a necessary and sufficient condition for an intersection of two subdirect products of complete lattices to be itself a subdirect product of the lattices;  \\item[(2)] obtaining a characterization of subdirect products of a complete lattice \\(K\\) with itself which are symmetric (as binary relations);  \\item[(3)] characterizing complete tolerances of a complete lattice \\(K\\);  \\item[(4)] characterizing complete congruences of a complete lattice \\(K\\).   \\end{itemize}}  They then prove that the problem of describing all \\((0,1)\\)-subdirect products of two complete lattices \\(K\\) and \\(M\\) reduces to a special case, called ``edge minimal''.  Finally, the authors show that the existence of an anti-isomorphism between \\(\\text{Subd}^{01}(K, M)\\) and \\(\\text{Res}(K, M)\\) can also be derived from general results in formal concept analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998776$BB7B3430-542C-4E07-87BD-44B15477DE0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"895d5fc798d777f77a43df1e1b11857e28584cdd","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998776$D06B77AE-94BD-4F14-9AD2-5EDEADED632D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$74CDB3EF-60AC-4986-ACDF-AC067670E2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$F913F4C3-0008-4A52-8FFC-34F6E32D2033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10fbfe3e3457b463ca65f4fcef2126c82cce6ac9","datavalue":{"value":"5500518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$2050957F-548B-4345-8750-1ACC8AE21630","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c114b1c803d3c46eb61ec6ca1306c6260abc4e","datavalue":{"value":{"entity-type":"item","numeric-id":219082,"id":"Q219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998776$EF4E106F-2B5C-4BC7-8605-8E6B14AC68DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3229edb34c570208e2de8adf6d94e1c53426ba07","datavalue":{"value":{"entity-type":"item","numeric-id":2583605,"id":"Q2583605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998776$91E4C755-AEE5-41CF-8435-F627E9529EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f5b51691a03caeb34c4d9d25d2a0295fd0f3a","datavalue":{"value":{"entity-type":"item","numeric-id":548272,"id":"Q548272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998776$1E61B0D6-05C9-469B-98E4-8F383BFC966F","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":"Q998776$D9164FCF-A563-4983-A67C-B3D0F462FEC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2194445b4f80cfbddeeaabfc0cf399fa0f3cba4","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2067-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q998776$DAFFEE50-B21C-4978-A916-B322B4E6D5AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebdac70f02df9a420f58cce02550bdaf033c2246","datavalue":{"value":"W2073476439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$56C3F783-D54C-4EE8-B453-6D3453ACEC38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ac263c64c7b7b3faa9dd0139d7c8a81b239e0b2","datavalue":{"value":"10.1007/S00012-008-2067-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998776$55093465-ADB3-4A28-A546-8BCAC14A1BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddf2da5f08e7da112e0847f9283aa8bdc6263c6","datavalue":{"value":{"entity-type":"item","numeric-id":1088691,"id":"Q1088691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf86d5a3565c6b927e75fb26a161dde82c3d20c","datavalue":{"value":{"amount":"+0.7436051368713379","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":"Q998776$622A5C29-EB98-4DF0-A783-8D6ADC03170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb59b7f35c4161c3480149d38dc832cf9022fea","datavalue":{"value":{"entity-type":"item","numeric-id":4981142,"id":"Q4981142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09dbe85a139ed15e33b057621a1e7ad4f5da9ac","datavalue":{"value":{"amount":"+0.7393232583999634","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":"Q998776$4A19FDBA-5054-4425-9598-D8F978CEDADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158834446b55ce887ac334188730f64ee084a43f","datavalue":{"value":{"entity-type":"item","numeric-id":3808133,"id":"Q3808133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c3d450e6351f83ec1b905ede63909ab634c26b","datavalue":{"value":{"amount":"+0.7382419109344482","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":"Q998776$7BEBBC07-B98A-43F1-9111-DBF4A357F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27546dc7b3eec0a20af480df3730f510cad0dae","datavalue":{"value":{"entity-type":"item","numeric-id":3781147,"id":"Q3781147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904b70ed0cf32495d1580c5b4859f4e435493c2b","datavalue":{"value":{"amount":"+0.7358458042144775","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":"Q998776$C602AF13-AF0B-452E-B275-A7841A7064C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0e6d9e487aad7445f1c95f3a6095ea31c48f44","datavalue":{"value":{"entity-type":"item","numeric-id":1090345,"id":"Q1090345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973231deb84cb3eb2f105b306fb7405eaf476035","datavalue":{"value":{"amount":"+0.7335336804389954","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":"Q998776$6C62AD34-8017-47FE-80DF-57D61CE9B787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sublattices of the direct product","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sublattices_of_the_direct_product"}}}}}