{"entities":{"Q1586754":{"pageid":1597494,"ns":120,"title":"Item:Q1586754","lastrevid":71366586,"modified":"2026-04-13T21:47:10Z","type":"item","id":"Q1586754","labels":{"en":{"language":"en","value":"Free \\(Q\\)-distributive lattices from meet semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533336"}},"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":"Q1586754$456AE35E-4AE0-4BD7-BD12-4100EFD21607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a4772369a249adff37a8a5df467f81eac267ed3","datavalue":{"value":{"text":"Free \\(Q\\)-distributive lattices from meet semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1586754$DD9F090B-1125-403D-80E8-82576B7A0E8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"856851e545e36b5f3699abb99a7b42af7cd698b4","datavalue":{"value":"0963.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$13285C86-B6FB-4199-8FB6-D16F154C187B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fe54acc09a5de76f8ba66d8056b7b42dc0e8616","datavalue":{"value":"10.1016/S0012-365X(00)00106-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$5D51AA81-FA2B-402B-94DE-0CCF5A630460","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":"Q1586754$820FD94E-F557-4880-8B08-8A9853299C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cd8aece8f0bf62b09701fb665c60eddb0915aa4","datavalue":{"value":{"time":"+2001-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1586754$55D11A67-EF93-426F-80FF-31A840EC8439","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b7a57f5058972f1c602b18d3cfc527c237439d8","datavalue":{"value":"A \\(Q\\)-distributive lattice is an algebra \\((L,\\wedge ,\\vee ,0,1,\\nabla)\\) of type \\((2,2,0,0,1)\\) such that \\((L,\\wedge ,\\vee ,0,1)\\) is a distributive \\((0,1)\\)-lattice and \\(\\nabla\\) is a unary operation of \\(L\\) satisfying the identities \\(\\nabla 0=0\\), \\(x\\leq\\nabla x\\), \\(\\nabla (x\\wedge\\nabla y)=\\nabla (x\\wedge y)\\), and \\(\\nabla (x\\vee y)=\\nabla x\\vee\\nabla y\\). We say that \\((L,\\wedge ,\\vee ,0,1,\\nabla)\\) is a \\(Q\\)-distributive lattice freely generated by a poset \\(P\\), if there exists an injective order preserving mapping \\(\\phi :P\\to L\\) such that for every order preserving mapping \\(\\psi\\) from \\(P\\) into a \\(Q\\)-distributive lattice \\((L',\\wedge ,\\vee ,0,1,\\nabla)\\) there exists exactly one homomorphism of \\(Q\\)-distributive lattices \\(f:(L,\\wedge ,\\vee ,0,1,\\nabla)\\to (L',\\wedge ,\\vee ,0, 1,\\nabla)\\) with \\(f\\circ\\phi =\\psi\\). For a finite poset \\(P\\), an explicit construction of a \\(Q\\)-distributive lattice freely generated by \\(P\\) is presented. The construction has two steps. The first step constructs the poset of meet-irreducible elements of a freely generated \\(Q\\)-distributive lattice by two applications of the construction of a free semilattice. The second step uses the construction of the distributive \\((0,1)\\)-lattice with a given poset of meet-irreducible elements. The construction is illustrated by examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586754$0044224B-DDF8-4CA7-8C83-0ADA26983DF4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586754$5F00B512-0080-4BB1-8734-EACE17BD3484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$8B1AF5DA-66A1-41BC-AB5B-B6060E93BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$0BDB2FFE-9B4C-4B7A-B7B9-AEB14F089095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acc764c76f6bd9655f50b299f32edf2958366a0","datavalue":{"value":"1533336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$998DD46C-7F4C-4FBF-80E9-6FFE54FFB955","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31b930b0d892c9e354fb457e2af303c56afb1d02","datavalue":{"value":"\\(Q\\)-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586754$8F70E5E0-3AAB-4DEC-A4FF-96FC7C9F59AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd44d6c0d0fbe0d559ff87535320e3ab8fbcc040","datavalue":{"value":"freely generated \\(Q\\)-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586754$FF0A449F-2CD9-42F7-990C-D8837195D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c9d4cbdd901859d5a200a1cc128fdac1181c1a","datavalue":{"value":"freely generated semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586754$50EE1E84-D983-45FB-BA5F-0B14D4138D69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586754$065F4243-2C88-40A1-9D0D-55F45B3D3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586754$DBA2622B-26AC-4E63-BB4F-7A6E9E8EA8B2","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":"Q1586754$30C301EE-8255-4082-BC1C-3A579449179F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e3c50028833b45f4f7c5b991b1a221f88f677c2","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(00)00106-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1586754$E95F1072-6A6F-40B4-917B-244B6DE7D333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b31ad7c30045960038ec3c3306c4c549528a91ce","datavalue":{"value":"W2059909123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586754$A330D470-A153-46BE-9224-4238D4F45F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec4eafc4459e8ad1fdb1b4801db2f35bdca9d2f","datavalue":{"value":{"entity-type":"item","numeric-id":1430627,"id":"Q1430627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05622eaa1719d33ee47be80557456b23cec7f79c","datavalue":{"value":{"amount":"+0.8831935524940491","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":"Q1586754$1DB44B39-CC5A-4570-9B89-4BF11440218E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb565c0ce59d3abceb41dc4d9151ba6ddd0a91f","datavalue":{"value":{"entity-type":"item","numeric-id":4391280,"id":"Q4391280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5086d3c2c8c8c255ce135d728879fdcf21d8d4d8","datavalue":{"value":{"amount":"+0.7754480838775635","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":"Q1586754$D2BE3524-2406-4EF0-9922-F24EE62CF520","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":"5086d3c2c8c8c255ce135d728879fdcf21d8d4d8","datavalue":{"value":{"amount":"+0.7754480838775635","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":"Q1586754$81C6BFE0-9969-4894-BBA1-189ED2F8688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb5f8a90e04835e15ac10020e064e5a04f4da01","datavalue":{"value":{"entity-type":"item","numeric-id":4296548,"id":"Q4296548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9940ba769683d236c0462e13837beff4679a7e","datavalue":{"value":{"amount":"+0.7730749845504761","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":"Q1586754$215625BB-0A55-4498-8C97-E40761E01926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72efa42ae02af184ff79c1a8bbc7be93c945b90d","datavalue":{"value":{"entity-type":"item","numeric-id":4273437,"id":"Q4273437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536e85940e8d848226f1e7ebaf7629369bb8e935","datavalue":{"value":{"amount":"+0.7726746201515198","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":"Q1586754$524BB376-A412-446D-8361-B065EB49AC8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free \\(Q\\)-distributive lattices from meet semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_%5C(Q%5C)-distributive_lattices_from_meet_semilattices"}}}}}