{"entities":{"Q1568669":{"pageid":1579409,"ns":120,"title":"Item:Q1568669","lastrevid":67890582,"modified":"2026-04-12T20:01:42Z","type":"item","id":"Q1568669","labels":{"en":{"language":"en","value":"A homological lower bound for order dimension of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463099"}},"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":"Q1568669$587C2605-1077-4A45-A832-F6346501211F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9780c55b4fb171bec1a8fda08c3ed120d2813809","datavalue":{"value":{"text":"A homological lower bound for order dimension of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1568669$6B993E9A-79AD-48BD-8065-13B036C13F4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af52b0e7b49373cdf432db3415b287f4d7c98e48","datavalue":{"value":"0955.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$27932592-9E3C-45AC-BD83-6CD4965AC682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"604288a275b27f7e20c18fe3576f39672d9dde37","datavalue":{"value":"10.1023/A:1006325727816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$C9C44446-0B59-4E8B-8B98-9DEDC063512C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9056970227e06c6a6aec5be36b01901feeb16a72","datavalue":{"value":{"entity-type":"item","numeric-id":201432,"id":"Q201432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568669$5F8CC59D-2978-4E4A-9DA1-A75DE8C65E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d3490d102874c9ba0fd1dd369ec8e98de48f81","datavalue":{"value":{"entity-type":"item","numeric-id":222693,"id":"Q222693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568669$95C0138E-AC4A-446B-BC45-5F9960DAC9C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568669$AB79BBBD-D42A-4E8E-9AE4-19FD8D29D475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba59e8ca936eb8413982d6b17e826245fb5ac369","datavalue":{"value":{"time":"+2001-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1568669$311FE545-3B4A-4FC7-A1E7-0AE65A402DFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c425bc35698f96e5b68c221d2d6109259be7250","datavalue":{"value":"The order dimension of a finite poset \\(P\\) is the smallest number \\(d\\) such that the order relation on \\(P\\) is the intersection of \\(d\\) linear orders. Equivalently, \\(P\\) can be embedded as an induced subposet in the cartesian product of \\(d\\) linear orders. In this note the authors prove that, for a finite lattice \\(L\\), the order dimension is bounded above by the homological dimension of the proper part \\(L^\\circ\\) of \\(L\\), plus two. By the homological dimension of a poset \\(P\\) we mean the homological dimension of the order complex, the simplicial complex of linearly ordered subsets of \\(P\\).    This bound had previously been established for face lattices of complex polytopes. A simple example shows that this upper bound can fail miserably for posets which are not lattices.    The proof uses the following lemma: if the lattice \\(L\\) embeds as a join-sublattice of the cartesian product of \\(d\\) linear orders, then the order complex of \\(L^\\circ\\) is homotopy equivalent to a complex with at most \\(d\\) vertices. It follows immediately that \\(L^\\circ\\) has homological dimension at most \\(d-2\\). The proof of the lemma is a nice application of the Crosscut Theorem. The main theorem is proved by first reducing to the case where \\(L\\) is generated by atoms, embedding \\(L\\) in a larger lattice to which the lemma applies, and then using a Mayer-Vietoris argument and some explicit computation to show that the homological dimension of \\(L^\\circ\\) does not increase.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$2835027D-2F27-4CF3-9330-214D7DBAD89A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$1A6568B2-0964-4B63-BDB6-D53F1BB2490F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$1D62BDB7-7A01-44CD-BB71-45F1F36552D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d9c551bf0d17e9bff9dfce1080684014c1c97d5","datavalue":{"value":"1463099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$4E198A04-29D8-4557-9717-BA219BB9B18B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$C2B56913-CF08-497D-A82D-1DBCDA7B38C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac127d1e0c082a35055f52298a1e1c93bec9726","datavalue":{"value":"order dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$BF69928F-AC8E-474A-8876-266DDCD142CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958fe2bc8e2fe2c6230a4bdb4285ada1873d9ee7","datavalue":{"value":"order complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$6F9BDF2D-4805-457D-86B5-0F063AB6331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$661EAEFD-BBB3-4686-8058-CB76418E369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ddfa9fb8be8887bb91facdd40bd98fb42c0620","datavalue":{"value":"homological dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568669$14AF860F-1C9C-4C05-9B42-8E600E4576D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a212ac13ab3ed6ce72235896638ff7aade75745","datavalue":{"value":{"entity-type":"item","numeric-id":240417,"id":"Q240417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568669$D99096AD-3A75-4E84-9ADE-9F1B86944019","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":"Q1568669$C7BDD2B3-CD83-4A99-9B0B-423F63957994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"492ca3308c9c59a6e6d1cd4204e836748637b205","datavalue":{"value":"https://doi.org/10.1023/a:1006325727816","type":"string"},"datatype":"url"},"type":"statement","id":"Q1568669$321FF697-EC61-4017-AD78-87936C719759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"816f8c14e435a3b2cf072449056fa90515c5fd40","datavalue":{"value":"W180310160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568669$78295AD4-61F2-43F6-8036-6D39B204E337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e50462ea826fa89afc257dd74bc72137a5bd097","datavalue":{"value":{"entity-type":"item","numeric-id":943379,"id":"Q943379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe707153dfa173f07667142ec6fcbdb88ee2e63d","datavalue":{"value":{"amount":"+0.93102765","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":"Q1568669$DBEBAEFD-91BF-4BFC-9C04-2D683B67EF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04513851b4dda016aa4b488dfb9f23ecf45d29c","datavalue":{"value":{"entity-type":"item","numeric-id":2415086,"id":"Q2415086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee3f53c0118c440f306a2533a0b693ca43f85cb","datavalue":{"value":{"amount":"+0.90120065","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":"Q1568669$D6712557-15A1-4FAA-B025-2A3F9CB1C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d9b16f73b7aa6b9a074e30efefe7933d070898","datavalue":{"value":{"entity-type":"item","numeric-id":1325967,"id":"Q1325967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17737ec36f5a3dd037a7b769333157abaa8c7469","datavalue":{"value":{"amount":"+0.89573544","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":"Q1568669$E03EDDCA-AA01-4E88-9355-F4241DC461E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a802054c3f0b6f5d50d84e31a83415721ceacef3","datavalue":{"value":{"entity-type":"item","numeric-id":4298442,"id":"Q4298442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f88186a278cd673b1873ad33f1a162441ebe1ea","datavalue":{"value":{"amount":"+0.8935863","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":"Q1568669$4F283E18-93EE-4639-8CB6-867A5909215E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f1a35c80790092d6a4c69f21e757daab2ae0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3491621,"id":"Q3491621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825dfa6555cce78346137debccf1c955bcc80f8e","datavalue":{"value":{"amount":"+0.8899828","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":"Q1568669$4D57161C-0D4C-417C-9716-C388699B8521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f4c0db95f7062ee4fd0a1d639e280ded4d4c18b","datavalue":{"value":{"entity-type":"item","numeric-id":1408535,"id":"Q1408535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aea577fbde5831240702dfe28f938e0d79002ab","datavalue":{"value":{"amount":"+0.8882416","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":"Q1568669$FCB62F42-8F7C-4D4A-BB83-E4F662FE1CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6baca53adc1fd2588a6ac658ac8fc9e7c7656270","datavalue":{"value":{"entity-type":"item","numeric-id":5056655,"id":"Q5056655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9371c21b98f78da6decb086ca5d95064ac78be67","datavalue":{"value":{"amount":"+0.885783","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":"Q1568669$01FD7B1E-7802-4631-AF14-EB7C753C57BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90eeea2fcc6d68714a541fce1bfe92fe80cd0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4724680,"id":"Q4724680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d3d4671c77ac157f27dd3de63dfe85356945c6","datavalue":{"value":{"amount":"+0.88563603","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":"Q1568669$3A5B174A-9F5B-4375-A048-F85641A4361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97dfdb9451690c49403a7f30918d51d171100e3","datavalue":{"value":{"entity-type":"item","numeric-id":3362805,"id":"Q3362805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab17c48f5fb3f7c8ebe9bc6e56bd667f84091d05","datavalue":{"value":{"amount":"+0.88558304","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":"Q1568669$7CBD1828-1694-4C3E-8901-78BB1E379CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3346bf5f1c57ae7bc3c6abbb18d6252d4a130dea","datavalue":{"value":{"entity-type":"item","numeric-id":2366354,"id":"Q2366354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab17c48f5fb3f7c8ebe9bc6e56bd667f84091d05","datavalue":{"value":{"amount":"+0.88558304","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":"Q1568669$1552F5E0-6F60-4BF4-AF84-926DBDDDD26F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A homological lower bound for order dimension of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_homological_lower_bound_for_order_dimension_of_lattices"}}}}}