{"entities":{"Q2477376":{"pageid":2488119,"ns":120,"title":"Item:Q2477376","lastrevid":74359827,"modified":"2026-04-14T19:43:47Z","type":"item","id":"Q2477376","labels":{"en":{"language":"en","value":"Sublattices of product spaces: Hulls, representations and counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5249190"}},"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":"Q2477376$C894DA20-AF4A-46D7-B458-0D0F0C27A3AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37a0dc5348eacc2931722a06feb39bec034d2c4f","datavalue":{"value":{"text":"Sublattices of product spaces: Hulls, representations and counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2477376$AAC284D9-5796-4111-8C26-08563046EF50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f80704db714467e8d3dfdfe7be1850afc97cac69","datavalue":{"value":"1170.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$15766D13-4AFF-45EA-98F5-0F06455313A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37955629647df45e738d39554e9a542b3b76129d","datavalue":{"value":{"entity-type":"item","numeric-id":423918,"id":"Q423918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$2289868B-FF6A-4545-A572-B3FF89C55765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa843e31e56a5bc37bfee483983e2b5744393723","datavalue":{"value":{"entity-type":"item","numeric-id":715077,"id":"Q715077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$CA4BE242-AFD2-4E20-AE39-E42BA7C73140","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":"Q2477376$7552703E-CB53-4E03-B6E7-6C66709DCD23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"689f1c5bcb9279b19087f6d1d130b866f769f1ce","datavalue":{"value":{"time":"+2008-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2477376$E63F8027-A39D-4E14-A7BE-7D9D90A09739","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"729de934d21d84ce7e2acde4ed7ed1814838e48b","datavalue":{"value":"Let \\(L\\) be a lattice. The authors call \\(L\\) a product space, if \\(L\\) can be written as a direct product of (simpler) lattices: \\(L=T_I=\\prod (T_i: i\\in I).\\) Having a non-empty subset \\(H\\) of the product space \\(L\\), they investigate the sublattice \\([H]\\) of \\(L\\) generated by \\(H\\). The sublattice \\([H]\\) is said to be a sublattice hull of \\(H.\\) In the paper the following questions are considered: (i) descriptions of \\([H]\\) or, in other words, representations of \\([H]\\); (ii) recognitions of sublattices of product spaces, i.e., a process showing whether a subset \\(K\\) of \\(L\\) is a sublattice of \\(L\\) or not; (iii) counting sublattices in finite product spaces with finite chains (Birkhoff's problem). Note that for many applications it is often important to be able to represent a sublattice in a computationally or algebraically convenient way. It is also useful to be able to recognize if a given subset \\(K\\) of \\(L\\) is a sublattice and, if not, to construct \\([K].\\)  Some results: (1) Let \\(\\pi_i: L=T_I\\rightarrow T_i\\) denote the \\(i\\)-th projection for \\(i\\in I\\), i.e., if \\(x=x_I=(x_i)_{i\\in I}\\in L,\\) then \\(\\pi_i(x)=x_i.\\) Similarly, if \\(J\\subseteq I,\\) then \\(\\pi_J(x)=(x_i)_{i\\in J}=x_J.\\) In addition, if \\(H\\subseteq T_J\\), then the cylinder Cyl\\(_I(H)\\) is the set \\(\\{x\\in T_I: x_J\\in H\\}.\\) Now, let \\(H\\subseteq L\\) for a product space \\(L.\\) It is known that \\([H]\\subseteq \\bigcap(\\text{Cyl}_I([\\pi_{i,j}(H)]): i\\neq j\\) and \\(i,j\\in I).\\) The authors find sufficient conditions under which equality holds in the above inclusion. This description of \\([H]\\) is called a representation by projections. (2) There is another description of \\([H]\\), namely the representation with proper boundary epigraphs. (3) The authors provide upper and lower bounds on the number of sublattices, giving a partial solution to Birkhoff's problem.  Observe that the authors extend results of \\textit{D. M. Topkis} [Pac. J. Math. 65, 525--532 (1976; Zbl 0333.06002)] and \\textit{A. F. Veinott jun.} [Linear Algebra Appl. 114/115, 681--704 (1989; Zbl 0669.06002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$2D855751-7933-45CB-99DC-BDF5086E5134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$4D98AA25-B815-49F9-8FFA-19CD77661762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$F47CACB8-60F0-4746-BCA3-D9CFE98EB7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$FED1E9DC-D346-4F6F-A804-F047C8EE5FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$2F8A0B06-C17F-424F-9358-2F564D6CAD31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4757d6ef27a97d1239987abb41f857133a26667b","datavalue":{"value":"5249190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$FF4AA800-7034-49B5-BDD3-6189398212DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$5A1C42F0-942F-4B68-99F8-9B40BFAC0D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989e39d2f6ae94279995092aa172bc600aa1cdf","datavalue":{"value":"sublattice hull membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$F16D4FF4-785B-4A4F-873F-C78A6B3FD6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1002e6b04eb3b931ac4243adec29e0a2a57a4409","datavalue":{"value":"sublattice generated by a subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$17775F77-1368-4424-8BB1-1675B694580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc29b0ff1a9d34fc89670f15782cfa79fc15a41","datavalue":{"value":"sublattice representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$A150E486-AA64-4112-8EAD-5D4A107AFE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d6701b7d150b164d03810324af52957fe0bb03","datavalue":{"value":"counting sublattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477376$D2C04803-D7AF-4416-B2B2-BCEDFB3C7142","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":"Q2477376$D5556E74-407E-461E-B489-C724B9B44F7D","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":"Q2477376$B4A410B1-AE83-45B8-B798-9A25BDDE9D80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4f4884c7efb4e90b95e9cf0437f36471ef23813","datavalue":{"value":"https://doi.org/10.1016/j.disc.2007.03.080","type":"string"},"datatype":"url"},"type":"statement","id":"Q2477376$DE3F2EDB-8F45-4392-87F8-46644A2F8DB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96aee45436cfe6e80a328bdb60491a485cf9aa66","datavalue":{"value":"W2074188632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$6C46D711-A87D-47E0-A4A3-0B36D2017D4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$C90B89F4-0E96-4830-B5DB-4D5A0058E59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1c6eb0e2c37614331156818ae433cc5ff25f8a","datavalue":{"value":{"entity-type":"item","numeric-id":4849825,"id":"Q4849825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$CB445DC2-6B6E-45AD-8187-B63EB20ECD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$45946B46-606A-4806-ABA9-675122A9591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37626710d1a84a3ae6037c18a8f9d58f74727baa","datavalue":{"value":{"entity-type":"item","numeric-id":4411378,"id":"Q4411378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$53D4226C-BDCB-4C0A-BFF8-25560B0B8866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3023e9ae1f987fb496b8a60ea88971c8abb83e8d","datavalue":{"value":{"entity-type":"item","numeric-id":686469,"id":"Q686469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$83400BF6-9B26-4071-9E59-7DBFFFF78F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a1c30aba5ada8564ff4d14a3fa87bff203e9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1188800,"id":"Q1188800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$3E343EDA-CE70-4429-BA69-9634C2867C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b4d29c0ba31b1bc8e06218af428a76fc8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":1210712,"id":"Q1210712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$062AD9E8-740C-4653-A3C9-ECBBA8646B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab81079a2db277b12693d5603e31ff517ec3443","datavalue":{"value":{"entity-type":"item","numeric-id":5812325,"id":"Q5812325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$0BAF3F6B-632C-49AF-B575-92F440B6CDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dde78a908c61e3ace4fd73996142414f3ba5aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4055647,"id":"Q4055647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$FF0711F8-529E-434D-93A4-60B19D0DFD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$6E0F9507-9417-4B81-9255-D0EBAA56C93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4766ac9de6b84d240490cc9e2590bea78be85d","datavalue":{"value":{"entity-type":"item","numeric-id":4284151,"id":"Q4284151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$CAF06278-768C-40C3-A217-1B0330F3FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c241c74886e714a93cd8497634d37d1edeb015","datavalue":{"value":{"entity-type":"item","numeric-id":1359940,"id":"Q1359940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$95C481C4-22A3-452F-9F20-A21269D14353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ec119a34a089df5af199e22170d3ca66f9af3","datavalue":{"value":{"entity-type":"item","numeric-id":1210828,"id":"Q1210828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$0BFE3F35-B07F-4BFA-883F-A0CE13D6BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c01149a6900c0f611a509645affd60c9a396109","datavalue":{"value":{"entity-type":"item","numeric-id":1854113,"id":"Q1854113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$9052992E-3CD3-46EE-BE1D-C1A6DC995DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb68e11a8633649badb7fd2769f3e1b32a98dc8","datavalue":{"value":{"entity-type":"item","numeric-id":1228622,"id":"Q1228622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$7C85D642-603B-4CB5-B872-6DE9D5C7245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1aee0016cf2ebbf6a603f9c730f47e76234809","datavalue":{"value":{"entity-type":"item","numeric-id":1118621,"id":"Q1118621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477376$776CDF61-29F2-4F51-BB78-8752BFBCE4CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610374fb6de168fbb51bd884430a8c0fb1b20595","datavalue":{"value":"10.1016/J.DISC.2007.03.080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477376$A2711AA0-41C7-443E-A853-B9E7165CF3FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41a9886544b96b83c623b2ef6d4e72bd0c12d99","datavalue":{"value":{"entity-type":"item","numeric-id":1118621,"id":"Q1118621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c17c167529da5e4e887e24acc289097e1fac69f","datavalue":{"value":{"amount":"+0.7504804730415344","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":"Q2477376$4208BA20-AF6C-4E01-9DB0-7B33AE435B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a3df161d13bd0821e1e3a69a17ba0dbdce1ef9","datavalue":{"value":{"entity-type":"item","numeric-id":4464964,"id":"Q4464964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0203532bb05187e4560a002b8bd2e0361e1dc91f","datavalue":{"value":{"amount":"+0.7255899906158447","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":"Q2477376$0A85B127-BFF3-462E-898A-1DC423643EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4af88fa2cc0bf14fc5210b4eed45da1fe044dd","datavalue":{"value":{"entity-type":"item","numeric-id":5125121,"id":"Q5125121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef1a603d75e0c6db27d02112652b878d83dcb7f","datavalue":{"value":{"amount":"+0.7242499589920044","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":"Q2477376$414C6D8F-AD8C-46B5-9981-A98436E25D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d920aeeb372ec26ee18c461d1ae99e731e873d","datavalue":{"value":{"entity-type":"item","numeric-id":1193421,"id":"Q1193421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08518260af293f19a0b0ace5558f0fbee39f11da","datavalue":{"value":{"amount":"+0.7232863903045654","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":"Q2477376$E87102F2-05C4-402A-8768-2081D4060641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15124e5c463f4f45039606c6d44403532b2e179a","datavalue":{"value":{"entity-type":"item","numeric-id":998776,"id":"Q998776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c61172c3869ff9f0c89ee124ada283ff42a389","datavalue":{"value":{"amount":"+0.7231694459915161","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":"Q2477376$6CB43655-92F6-48E1-A4C9-08A685489BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sublattices of product spaces: Hulls, representations and counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sublattices_of_product_spaces:_Hulls,_representations_and_counting"}}}}}