{"entities":{"Q1337871":{"pageid":1348610,"ns":120,"title":"Item:Q1337871","lastrevid":67436853,"modified":"2026-04-12T17:46:04Z","type":"item","id":"Q1337871","labels":{"en":{"language":"en","value":"On the dual Helly number and irreducible decompositions of the unit in lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 687503"}},"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":"Q1337871$243AC1F3-E2A8-447F-AFDA-98D1FA660D5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4553ba90162c8b1be1d20d3c8ca043992762b63","datavalue":{"value":{"text":"On the dual Helly number and irreducible decompositions of the unit in lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337871$DB660933-060D-40DB-A57F-7F3516895C17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba753f1b40d7ca24b4e7fa24404fc26a1d8f986d","datavalue":{"value":"0829.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$FFF8EFE2-A2BA-481F-858B-EA221B79BFD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"679ad7720e9e38a3b3841513e0bb9ec90616b1c4","datavalue":{"value":"10.1007/BF01209554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$0E61017F-64CF-4A20-96F0-0E8590C657D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0639cae47af3703b7862d58f62faae653de70cca","datavalue":{"value":{"entity-type":"item","numeric-id":1316911,"id":"Q1316911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$FD3427A4-3F2D-479C-AC7E-ACE31C5D4B04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$69B1E4DC-CF65-45EE-8DAB-C051D37E615D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09cc461bfd6adbbc0378501bdf2a7453241d162","datavalue":{"value":{"time":"+1994-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337871$F4CD2268-80CC-417E-B9AA-9B7914BD3E44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f971122d5f68bfc4e81e33f403d9f6c67e723422","datavalue":{"value":"Let \\(L\\) be a lattice with 1. Let be \\(a,x\\in L\\). We say that \\(x\\) is an upper semicomplement of \\(a\\), whenever \\(a\\vee x=1\\). If \\(x\\) is minimal according to this property, then \\(x\\) is said to be a minimal upper semicomplement of \\(a\\). We say that \\(L\\) has the (MUS) property, if for every \\(a\\in L\\) and any upper semicomplement \\(b\\) of \\(a\\), there exists a minimal upper semicomplement \\(a_1\\) of \\(a\\) such that \\(a_1\\leq b\\).    A lattice \\(L\\) is said to have the (JI) property, if for every join- irreducible element \\(a\\in L\\), the element \\(a\\vee b\\) is join-irreducible in \\([b)\\) for any \\(b\\in L\\). Eventually, \\(L\\) has the dual Helly number \\(h^* (L)\\), if (i) \\(h^* (L)= \\sup\\{ |Y|\\): \\(Y\\subseteq L\\) and \\(Y\\) is dually \\(h\\)-independent\\}; (ii) \\(X \\subseteq L\\) is said to be dually \\(h\\)-independent if \\(\\bigvee (\\bigwedge (X_1- \\{x\\})\\): \\(x\\in X_1)= 1\\) for any finite \\(X_1 \\subseteq X\\).    The author proves: (1) Let \\(L\\) be a lattice with 1 satisfying (JI). Let \\(1= x_1\\vee \\dots \\vee x_n\\) be an irreducible decomposition, i.e., it is an irredundant decomposition and every \\(x_i\\) is join- irreducible. Then \\(h^* (L)= n\\). (2) Let \\(L\\) satisfy (JI) and (MUS). Then the following statements are equivalent: (i) \\(h^* (L) =n\\); (ii) there exists an irreducible decomposition \\(1= x_1\\vee \\dots \\vee x_n\\).    For similar results see \\textit{K. Varadarajan} [Commun. Algebra 7, 565-610 (1979; Zbl 0487.16019)] and \\textit{P. Grzeszczuk} and \\textit{E. R. Puczylowski} [J. Pure Appl. Algebra 31, 47-54 (1984; Zbl 0528.16010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337871$57603262-5D6A-4334-A0CE-EDA616654A87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$9B062447-2162-4593-BB23-40C78F261EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$52F6894A-A0FB-4803-BA5F-2348CA9C4D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0679350ebbba0bcd7226caf25efa5c59ac74b6f","datavalue":{"value":"687503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$2B7C278F-52B6-41B1-82D0-6E3C31508B58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c446f4664a18a777db38d8372b64a708b4113e1","datavalue":{"value":"irreducible decomposition of unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337871$6C820B89-C832-409A-9D2E-2FC4C8B1CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a388556f673c682a7aa8f089510a4b75cdffd90b","datavalue":{"value":"upper semicomplement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337871$061478A2-8C31-4206-B2CB-AC3F9082F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a250edde8f802f5b8fd23647ae5fd6e6e2d5ac","datavalue":{"value":"dual Helly number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337871$1099C9C5-D20C-4EDC-BF64-6CE51F9B5BE0","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":"Q1337871$086CE1BB-112B-4BCC-ACAB-111B66EABF33","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":"Q1337871$D7DFCF15-7D71-454C-974C-4093F30E4FAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a8bf405e4b7e8ace87683868cad5723e74f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3947791,"id":"Q3947791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$73B5711F-16B9-49CF-971D-6D1080A50D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce566aa140955c1956c3a2c994faba9373c68994","datavalue":{"value":{"entity-type":"item","numeric-id":786895,"id":"Q786895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$916F8BB4-39EA-43D9-9E74-F889B0AB4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed0b9a7af494876540929666a29757b5bebb0c9","datavalue":{"value":{"entity-type":"item","numeric-id":1059090,"id":"Q1059090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$37ECB53D-105D-406D-B7E9-2BBFE8F9F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677610935d1ee53676986da0c52d8cebe63e4be0","datavalue":{"value":{"entity-type":"item","numeric-id":5753137,"id":"Q5753137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$E19B4167-959A-4424-B05F-DAC6172DD4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe9e9efebe369be3f49e2411231b266bc324b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5752625,"id":"Q5752625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$871D3547-184C-46D7-9F5C-29255C4C522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a214e0ff7390287d1ad1da5996a564ee110a1ec8","datavalue":{"value":{"entity-type":"item","numeric-id":4004562,"id":"Q4004562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$1D284E4B-0950-450B-BEB4-AA5BC9FBDE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9151283b3363bf9a3545fce7cc51d7ecb710ff41","datavalue":{"value":{"entity-type":"item","numeric-id":5626713,"id":"Q5626713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337871$21DA489D-6DE3-4E1D-A004-0EA8E4715081","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc80dcf69fa08e72343158a5932644f7f35691a","datavalue":{"value":"https://doi.org/10.1007/bf01209554","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337871$FDB56CAC-12DD-4B5C-AD12-793EB89A2B69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6f94a69c924719047c37ffd900c0876ba3fa431","datavalue":{"value":"W1993315107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337871$75CBF003-24E1-4B2C-BFAA-AD7BDAB0FACF","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":"92742fdf04849922862692cb57288f3bfedd3f60","datavalue":{"value":{"amount":"+0.8899733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$0E17AD06-7133-4012-ACBE-BEB734D1E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057b19e77ccb8b86a828f2de2c52466a69902174","datavalue":{"value":{"entity-type":"item","numeric-id":5752625,"id":"Q5752625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffe702d009ab07eb1cf91838268896d4f3ca6a7","datavalue":{"value":{"amount":"+0.885828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$5CF7173F-939E-4767-954E-11EA74D3BAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d318e5797af737617d0f48ad73d1dc39bc0af6","datavalue":{"value":{"entity-type":"item","numeric-id":1057372,"id":"Q1057372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db446088d24442b60b453c0f785db28df781290a","datavalue":{"value":{"amount":"+0.8771881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$AA829E11-C23A-4348-AC2B-B65858A15EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe66ff8b4cc987e2287ef71099b74659a7936d0","datavalue":{"value":{"entity-type":"item","numeric-id":1377834,"id":"Q1377834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a3f82fb8f3cfa5a6772bc943d5dec517810790","datavalue":{"value":{"amount":"+0.8763035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$0FF5AAE0-4A8D-43ED-8B05-3F88F8FC9EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da99d88677a2637cc88426e1522d656250dab27e","datavalue":{"value":{"entity-type":"item","numeric-id":507520,"id":"Q507520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd40bde7481238a4ed674253b78d0fb0049fa49d","datavalue":{"value":{"amount":"+0.8761096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$0584C43B-876D-459F-9702-757672E10505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99671c4a5535045e371e096933b453a723047d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3698880,"id":"Q3698880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ea82294093a699321b6bbb4d207641c4aa6867","datavalue":{"value":{"amount":"+0.8754561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$317AE370-676B-4436-910E-34DBA4EDF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebf9fc1e8a42920dbdc512e321478dda9ad729b","datavalue":{"value":{"entity-type":"item","numeric-id":4826041,"id":"Q4826041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6b3313a19e5781b3031f5b2701b17b2dcb8125","datavalue":{"value":{"amount":"+0.87386036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$F0520BF2-3E0A-4015-BEA9-19B384401BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454d7e15d7c889755cf4bd0a70c7b8ef2b1e61d4","datavalue":{"value":{"entity-type":"item","numeric-id":5932153,"id":"Q5932153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64d39a3f7d4e63820f2344aefa5e24f46c19c6d","datavalue":{"value":{"amount":"+0.87364143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$DE62AAED-453B-46DB-A20E-276B87B16977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d985601e65953d2d991669d45a64dabce08488ae","datavalue":{"value":{"entity-type":"item","numeric-id":4517148,"id":"Q4517148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34e66f7431238b04aa68a5dc0e6dd5a275a757a","datavalue":{"value":{"amount":"+0.8682589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$4090DB60-996D-4CA8-88D0-31F8CD9DD4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3396038bba47a88e44ea4c332cb54e1ecfc4c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4854631,"id":"Q4854631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7437f27abedf06f3051782ec88656ea8eb63ae","datavalue":{"value":{"amount":"+0.8676134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1337871$2C261A27-44EE-4989-8CB3-8CF95CE93EE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the dual Helly number and irreducible decompositions of the unit in lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_dual_Helly_number_and_irreducible_decompositions_of_the_unit_in_lattices"}}}}}