{"entities":{"Q1301731":{"pageid":1312481,"ns":120,"title":"Item:Q1301731","lastrevid":68519439,"modified":"2026-04-13T00:15:11Z","type":"item","id":"Q1301731","labels":{"en":{"language":"en","value":"An inequality for the sizes of prime filters of finite distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1334540"}},"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":"Q1301731$13F7CCD8-3665-4EE2-A1AB-C9D14B118C3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69dca0b8d2bb3cae585a03475401a72ee1be7b02","datavalue":{"value":{"text":"An inequality for the sizes of prime filters of finite distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1301731$FF68AFD1-95E7-46E6-873C-5AF59E24CA45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e17c634f914213ecff0d46e9a70f31c54b562eb5","datavalue":{"value":"0937.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$A8CA8679-8988-41B9-B5E9-14EEB2351489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"399caac64ec0676c2deebcb8b93bcb1990cf3da3","datavalue":{"value":"10.1016/S0012-365X(98)00313-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$E258ADB5-F774-4F7A-8667-E876D4FD6289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab02518430a5c13728573c7de97586e1421664b4","datavalue":{"value":{"entity-type":"item","numeric-id":385144,"id":"Q385144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$D6F4755D-9544-4AD5-984F-E13D41159A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e35f5f2e0e8e3f6732d4c84f53652fe97d12b51d","datavalue":{"value":{"entity-type":"item","numeric-id":409459,"id":"Q409459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$E09EEB6B-578F-4B94-ADE6-971036D22816","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":"Q1301731$53908E7C-DE5D-4F5E-A4DA-DFBDD5A922E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d04c455efe2488a77cb7e091e1e8f370e1061895","datavalue":{"value":{"time":"+2000-06-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":"Q1301731$1CC575E2-45EC-4223-850F-4652E756A14E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bc23bee1f22c346d5098f5bd96e3d49896d80f2","datavalue":{"value":"The results in this paper were inspired by an old problem which became known as Frankl's conjecture, i.e., for every (nonempty) finite union-closed family of finite sets, there is an element contained in at least half of them. There is an equivalent lattice-theoretic statement: every finite lattice \\(L\\) contains a join-irreducible element \\(a\\) such that the number \\(u(a)\\) of elements in the prime filter \\(\\{b \\in L: a\\leq b\\}\\) is \\(\\leq |L|/2\\). The main result (Theorem 1) in the paper shows that for any finite distributive lattice \\(L\\),  \\[ \\sum_{a\\in J(L)}4^{u(a)}\\geq j(L)4^{|L|/2}, \\]  where \\(J(L)\\) denote the set of all join-irreducible elements of \\(L\\) and \\(j(L)=|J(L)|\\). It should be noted that the result implies Frankl's conjecture for finite distributive lattices. The authors prove that every finite non-Boolean lattice \\(L\\) contains either a prime filter of size at most \\(|L|/3\\) or a prime filter of size at least \\(2|L|/3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$9930BA7F-0E77-46F8-823B-687AA709958F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$5E097CF9-D796-4CF7-AEE8-C70E4D46FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$9C08541E-BFCC-4AEB-85DB-E22EB7B39017","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f315f288394b827176848de20928460f66b17188","datavalue":{"value":"1334540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$69FCBAEF-84D6-4B2B-B75D-BDDCEE3A1CB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$09FF8163-C77B-4A5B-9E74-1428055DC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$4669A31D-0524-4B41-A478-77A724A999EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bb32d54674b07200f4238ea139b580106ff3ca","datavalue":{"value":"join-irreducible element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$74018503-AE84-474E-961C-00575AF89F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b411997a9a887f06af3d1ffd99e21e3e82a15c","datavalue":{"value":"Frankl's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$6BB154B7-13FF-408A-8DCB-5E919BB595F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c332f10ae900d3ca9a6833bd73c847c834aaf0","datavalue":{"value":"finite non-Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301731$9C690820-B500-4F58-B473-FB88EA6CABD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$4F48D7F4-B1D2-42A9-93C2-C4E7C4D8A67E","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":"Q1301731$E6BBBDA0-ED1C-4D22-8F3A-7C969952D3E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6c757109246fe4262039635ca22b9fd05c0e1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1272528,"id":"Q1272528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$631BD8B8-C716-400F-A45B-CA2CB1EE9750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19fd31e57a6b028027a9fea733fe20872d8016a","datavalue":{"value":{"entity-type":"item","numeric-id":5203328,"id":"Q5203328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$95195212-B709-4433-BF3F-2C04B9345A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cafbb89a3f57ca6be403b89f5592b215ce0870","datavalue":{"value":{"entity-type":"item","numeric-id":3855396,"id":"Q3855396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$F39B8C80-49A8-47D0-8514-C379B13FB34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c2ec63a2d8f440b9b4dbfd739176b855029c248","datavalue":{"value":{"entity-type":"item","numeric-id":3720866,"id":"Q3720866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$A5DCB2D7-C330-4562-BDA4-FB27C42CB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d03c66f7994fdd37c3f6225769c4f8b5226c235","datavalue":{"value":{"entity-type":"item","numeric-id":4364809,"id":"Q4364809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$BCAB323F-7689-4D68-AB22-E88476D61A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de036285d15dba254587655df0ad455c0b1b3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4881849,"id":"Q4881849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$56924311-B053-44BE-AB3F-5C96FF9D9382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217e1d2cb6baf2d695f85c4fe3a1d0ee9255e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1068859,"id":"Q1068859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$A3A5FAEE-2AAA-4756-87B4-4F188E7B09D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f9800bcb6692f6baddb53d409c4f7dbec86b292","datavalue":{"value":{"entity-type":"item","numeric-id":1185903,"id":"Q1185903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$AFD98BBF-B65B-40C8-ABE6-4D2850EC7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10fab530f892d848ed97836a197e5a2d9813444b","datavalue":{"value":{"entity-type":"item","numeric-id":1153107,"id":"Q1153107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$09E634D9-ED45-4141-B6C8-EC6BEFD79822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb18bb2786caae716fbaa23dd71aaa37cf060084","datavalue":{"value":{"entity-type":"item","numeric-id":4204156,"id":"Q4204156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$28D5F98C-EE93-4A3C-BE76-F73A0048026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bc9c49d80c9139c45647c398d5336362b5f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5202660,"id":"Q5202660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$E4575057-CB7E-44EA-9915-CC492D58ADFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a608b9b1e719dd63a12ea51fe348b71fddc61764","datavalue":{"value":{"entity-type":"item","numeric-id":1199494,"id":"Q1199494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301731$2470DC28-44D6-45E4-9227-94E867854A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23b01a85780689cc730e77113b9dfc6005829711","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(98)00313-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1301731$DA1AFED7-B669-4373-A528-F6BB449734AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ba391651c3b3298fe37d58ec8c5195327732ece","datavalue":{"value":"W2063023801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301731$FAD65BC0-983D-4CBA-B102-FFE217B71CC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d02698a8da281f1a32aebc5efc8baee6e358f13","datavalue":{"value":{"entity-type":"item","numeric-id":1272528,"id":"Q1272528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2cf3b9e222b7e09b423c9db4e0ba87f1a31f58","datavalue":{"value":{"amount":"+0.8522634506225586","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":"Q1301731$EB0E9DF2-1BC1-49D8-BD64-E159A9EE0CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edce7c3a96a090a81cb33ab02195fbafbbc83e13","datavalue":{"value":{"entity-type":"item","numeric-id":1866855,"id":"Q1866855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d82f0fa2572db0e9b48b686f1fe00a0fb0e10c","datavalue":{"value":{"amount":"+0.8489025831222534","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":"Q1301731$48E8DA23-6564-4EE2-834E-2197B72D4F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91498cf7d1c732ffdaa1e1bf220869f278fe5198","datavalue":{"value":{"entity-type":"item","numeric-id":1043790,"id":"Q1043790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a246b286c58587501280fc566177ed25da01be68","datavalue":{"value":{"amount":"+0.8434313535690308","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":"Q1301731$3B25DF0B-E792-4A20-A4DE-69833944312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d11f4ee9b49efa042bb5922ae79bff035b36c70","datavalue":{"value":{"entity-type":"item","numeric-id":5036304,"id":"Q5036304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af268b42d11c0e67c0ff9786a878d61c358c4f4","datavalue":{"value":{"amount":"+0.8400604724884033","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":"Q1301731$7BF27228-04FA-4700-84E2-086F33B4B41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality for the sizes of prime filters of finite distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_for_the_sizes_of_prime_filters_of_finite_distributive_lattices"}}}}}