{"entities":{"Q2759838":{"pageid":2770577,"ns":120,"title":"Item:Q2759838","lastrevid":83159555,"modified":"2026-05-07T06:27:38Z","type":"item","id":"Q2759838","labels":{"en":{"language":"en","value":"Scarce decomposition of finite distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1683845"}},"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":"Q2759838$5BBED2D6-EF46-4FD1-82B0-0C5F4250C9F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64a1b31a73df069004a17c138226434aa1fc5eb9","datavalue":{"value":"0995.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759838$7333E3F9-82D5-4E35-A3C1-64DA4E48D5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"850a13e887cb62fbfd1afa1a3e219c0532d66719","datavalue":{"value":{"time":"+2002-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2759838$8D061C59-8AF8-42DA-9827-FE4B6B6D5611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759838$9A0B89AA-974B-462F-8C83-F790025F7004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c339cbcdccdca32dc2f44d9d1fed024dfe317735","datavalue":{"value":"1683845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759838$3AF997B2-D6E9-4B9C-A8F2-CB041F643EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236980301ce3d6ae636cfadbf6721d327f916cfc","datavalue":{"value":"scarce decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759838$7100734B-E914-4B6C-A6A4-AD3205B8B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759838$80B2307B-05EA-4398-9C9B-3A08DE6CF9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c685654ff05ef214e1359e956e611a03251653","datavalue":{"value":"\\(S\\)-sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759838$870718F2-37CD-4B4E-9E9F-70B6C5596F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ced7575813b5d7e2190ace65df158dbd225faa6","datavalue":{"value":{"entity-type":"item","numeric-id":1262296,"id":"Q1262296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759838$27EF7282-6F41-4279-B8E0-004097FB80A8","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":"Q2759838$3D4247E6-09AC-490E-B57D-51C7EAAC46DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"713925704ce8dcb859c0d2366a6d6d194cfbf52a","datavalue":{"value":{"text":"Scarce decomposition of finite distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2759838$F70E3A8A-06BA-482D-8084-118B0A5037AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5df0efc956d39efc806406ab180146045a77846","datavalue":{"value":"Let \\((L_s: s\\in S)\\) be a system of finite lattices and let \\(S\\) be also a finite lattice. Moreover, suppose that the following three conditions are satisfied: (i) \\(s\\leq t\\) and \\(L_s\\cap L_t\\neq\\emptyset\\) imply that \\(L_s\\cap L_t\\) is a filter of \\(L_s\\) and an ideal of \\(L_t\\); (ii) if \\(t\\) covers \\(s\\) in \\(S\\), then \\(L_s\\cap L_t\\neq\\emptyset\\) and (iii) \\(L_s\\cap L_t\\subseteq L_{s\\wedge t} \\cap L_{s\\vee t}\\). Set \\(A= \\bigcup(L_s:s\\in S)\\) and take the relation \\(\\leq\\) on \\(A\\) which is the transitive hull of all partial orderings \\(\\leq_s\\), \\(s\\in S\\). Then, following \\textit{C. Herrmann} [Math. Z. 130, 255-274 (1973; Zbl 0275.06007)], \\((A;\\leq)\\) is a modular lattice whenever \\(L_s\\) are modular. Note that \\textit{A. Wronski} [Rep. Math. Logic 2, 63-75 (1974; Zbl 0312.02024)] studied the \\(S\\)-sum construction for the case of distributive lattices \\(L_s\\), \\(s\\in S\\).NEWLINENEWLINENEWLINEIt can be shown that every finite distributive lattice \\(L\\) can be written as an \\(S\\)-sum of some Boolean sublattices of \\(L\\). In general, such a decomposition of \\(L\\) need not be scarce. This means: \\(L_s\\nsubseteq L_t\\) whenever \\(s\\neq t\\). The author shows that a finite distributive lattice \\(L\\) possesses a scarce \\(S\\)-sum of some nontrivial sublattices of \\(L\\) if and only if every nontrivial convex sublattice of \\(S\\) contains a prime ideal.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00014].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759838$BF10DCFD-9428-4C3B-91D9-820926A06969","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759838$584AA812-D8DB-423E-B355-CE884759796E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432514cfd91644414720fe7e006a5a0c79146e21","datavalue":{"value":{"entity-type":"item","numeric-id":4943161,"id":"Q4943161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9180fb1cf700e70bd76c1233966a2865d50f11","datavalue":{"value":{"amount":"+0.8022144436836243","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":"Q2759838$9AB3546B-FCEF-4A7F-B58A-6A358C3F21AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330ccfe1175fadec252ae3cd0650f82de59d3787","datavalue":{"value":{"entity-type":"item","numeric-id":4496369,"id":"Q4496369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412427754abf071ab3f5d8d658a43e1291c6de93","datavalue":{"value":{"amount":"+0.7878684997558594","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":"Q2759838$165683E6-47D1-436F-9A68-F3C87E879F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e26efef82655003e5fec03a02b2489bba0e962f","datavalue":{"value":{"entity-type":"item","numeric-id":2398760,"id":"Q2398760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412427754abf071ab3f5d8d658a43e1291c6de93","datavalue":{"value":{"amount":"+0.7878684997558594","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":"Q2759838$43FC7D10-95D5-440A-ACB9-8F186F71BA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954abb1ab1978c8850022f95e0bfa03d08b843b5","datavalue":{"value":{"entity-type":"item","numeric-id":5690140,"id":"Q5690140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19db1709f5db01471f7dfcf266943dfb4210447","datavalue":{"value":{"amount":"+0.7566683888435364","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":"Q2759838$74B69003-2814-472B-BAAA-1CF1199ABF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911ec301c2cf2467ff88d836c23bc9cf3623e313","datavalue":{"value":{"entity-type":"item","numeric-id":3147389,"id":"Q3147389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38129d291ee11de677973aff33a152953b5d7534","datavalue":{"value":{"amount":"+0.7490058541297913","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":"Q2759838$290E9D06-B863-4935-A640-2609AC728589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scarce decomposition of finite distributive lattices","badges":[]}}}}}