{"entities":{"Q1377834":{"pageid":1388574,"ns":120,"title":"Item:Q1377834","lastrevid":67287153,"modified":"2026-04-12T16:36:44Z","type":"item","id":"Q1377834","labels":{"en":{"language":"en","value":"Finite distributive lattices and doubly irreducible elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1110083"}},"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":"Q1377834$A17E2A27-B501-4404-AE31-A8C75B45DD5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"540c8b6617d7d380225b131f427ac85b034ace8e","datavalue":{"value":{"text":"Finite distributive lattices and doubly irreducible elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377834$D07A9EA5-3D76-4F6F-9BAB-6E59CDE8B38B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7e0bf6929db25e1cd74c9c8b154ecb0ca2c40ba","datavalue":{"value":"0898.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377834$24FA6CB7-B571-44FA-8EF2-179364C80B0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"409f70cae4be5f3b575476345d171b2968a9ae0d","datavalue":{"value":"10.1016/S0012-365X(97)81832-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377834$C58D2006-D3C9-47F7-9E31-91524FAE0A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"505ebbc8b12a96b4bae87e56bbb9433259f8d828","datavalue":{"value":{"entity-type":"item","numeric-id":1362583,"id":"Q1362583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$6F4D5193-3EC9-47E8-A385-7E5575A3E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f102d6a7b9548f21d846b52398636e03987e09f6","datavalue":{"value":{"entity-type":"item","numeric-id":1210547,"id":"Q1210547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$A9080AFC-ACC1-4CCB-973F-048E7C39B6EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$08BBBD1C-65E5-447E-B036-E5728DC9D70C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377834$C6F68771-3CF8-46EC-B321-5FDD230593EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3e7dcc5c66a2747800844896aa1318fceeb0ee8","datavalue":{"value":"For a finite distributive lattice \\(L\\), let \\(J(L)\\) be the poset of its join-irreducible elements. The MacNeille completion of \\(J(L)\\) is not always distributive: a theorem of Monjardet and Wille says that this is the case if and only if \\(L\\) is generated by the set \\(\\text{Irr} (L)\\) of its both join and meet irreducible elements. This leads the authors to study the following structure. If \\(G\\) is a finite poset, let \\({\\mathcal D}(G)\\) be the class of all finite distributive lattices \\(L\\) such that \\(L\\) is generated by \\(\\text{Irr} (L)=G\\), quasi-ordered by \\(L\\leq L'\\) if there is an onto homomorphism \\(L'\\to L\\) which is the identity on \\(G\\). The main result of the paper is that the partially ordered quotient of \\({\\mathcal D}(G)\\) is a Boolean lattice \\({\\mathcal D}'\\) whose greatest element is the free bounded distributive lattice generated by \\(G\\). A description of the least element of \\({\\mathcal D}'\\) is also obtained as well as a characterization of membership in \\({\\mathcal D}(G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377834$80E36669-A185-4D71-B455-4247F681A373","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d59249a24e272898b6c7c30dd7915b904e0fe366","datavalue":{"value":{"entity-type":"item","numeric-id":1288171,"id":"Q1288171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$614E0FED-6A7D-435A-9A20-DDAD3A1C2A0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377834$33E86572-EDA8-4543-B3DD-33C5A95DD39A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54769fb804e70fd1b60161ad8463728fe99cdf06","datavalue":{"value":"1110083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377834$BFCF09C4-E88A-41E0-A68D-D049A6CA4B06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108524a12a16c6f4f3a02316526e6f16438309dc","datavalue":{"value":"doubly irreducible element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377834$C64D4267-58B0-45B1-8C21-D8C1A30E6467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a31f9ea6d90b4c9a7a83c309a14979411495282","datavalue":{"value":"free distributive lattice over a poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377834$6A4CF5E3-A9CE-4B2C-83C9-89F2A5394E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377834$9368F89E-D4B7-4C33-8335-98151313CCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377834$9E50029F-6E69-435B-8851-62779141BEDA","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":"Q1377834$73A9FCDC-8FCF-4211-8CD2-769264B84FF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$06490764-7C88-45D7-8B20-2FBBCBB39B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd8287432391fed0319d107429f5e617a779964","datavalue":{"value":{"entity-type":"item","numeric-id":1182066,"id":"Q1182066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$AAEEC826-30E3-4C28-870C-47CB292E18B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$1CBAC60F-03BF-45D9-ADC9-20BB33E609A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f541d235053d37c9ea20666c1c29081a075de9","datavalue":{"value":{"entity-type":"item","numeric-id":1114724,"id":"Q1114724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$EF87D54F-5CED-44D2-B810-1AD0B2E7DBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2056fec3a1edb3a7ba2a33150ac345ff8214d110","datavalue":{"value":{"entity-type":"item","numeric-id":5545972,"id":"Q5545972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377834$926FE3B1-8F82-4B18-8584-CC7D00D251D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99244e9d847de5ef7193cccf51b80612a2a5f37e","datavalue":{"value":{"entity-type":"item","numeric-id":1114724,"id":"Q1114724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5e52eccd0a366e8100a46bdefd41adaba6df15","datavalue":{"value":{"amount":"+0.8750356435775757","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":"Q1377834$F26453F0-D96A-4C26-94F3-C6D044736EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2408f818d46911f76086881e4a626aa9ab57c87f","datavalue":{"value":{"entity-type":"item","numeric-id":1590177,"id":"Q1590177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4c4e5d7419b27b2d82ab52ebe0d821e6751389","datavalue":{"value":{"amount":"+0.7951756119728088","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":"Q1377834$DA762A2B-79D0-49D1-B8BB-3D359A734BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd1365dc31c1177cb17e84e817dae667a7e6c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1771910,"id":"Q1771910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b8bab20e2cea25e4ad5c71b075bea7d74ca47c","datavalue":{"value":{"amount":"+0.7729894518852234","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":"Q1377834$D93C41FF-4D1F-4215-B20C-A0A74FA3A0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e643ce86291ff3e19cb8254d19dfc8ec47f003a4","datavalue":{"value":{"entity-type":"item","numeric-id":1584263,"id":"Q1584263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f4d29054b77880a2404d953735d4078029971d","datavalue":{"value":{"amount":"+0.7668322324752808","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":"Q1377834$E0540E24-1ACE-4AE2-A3A6-75BE7115656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05b6f3b2cf181d2ebdd7e8a192bcc3896121e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1586754,"id":"Q1586754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d144d17c5bf764f08fb6c474bffa228f9ddbe4","datavalue":{"value":{"amount":"+0.7667956352233887","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":"Q1377834$ABE83BE7-92C9-48D8-B29D-7A06DE67F7A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite distributive lattices and doubly irreducible elements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_distributive_lattices_and_doubly_irreducible_elements"}}}}}