{"entities":{"Q1972285":{"pageid":1983027,"ns":120,"title":"Item:Q1972285","lastrevid":57633123,"modified":"2026-03-31T17:02:03Z","type":"item","id":"Q1972285","labels":{"en":{"language":"en","value":"Tensor products of semilattices with zero, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1435990"}},"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":"Q1972285$3042DC2C-81D1-45EC-8C09-65AFB53139E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1eaec7e349191e311e54a7b4d6224370108cf9b","datavalue":{"value":{"text":"Tensor products of semilattices with zero, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972285$2542512C-B127-4CCF-8723-CC6E452B5945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9036c620284dad3894885d69975b7cbbed27a5bf","datavalue":{"value":"0945.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$E866CF63-7F53-4FAD-AF91-309110875B07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e02950cd0641eaa0f4e7c3b09310fd2fe776c31f","datavalue":{"value":"10.1016/S0022-4049(98)00145-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$5EB1F3FF-141E-4824-8805-F034B8348597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"112864852cff2c239be1300e77536bf9e35c78a6","datavalue":{"value":{"entity-type":"item","numeric-id":219053,"id":"Q219053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972285$6837F6CB-6523-4F00-AF40-D030F8573753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972285$D718D188-2C53-45B8-8D7A-8F5EAA08B2A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972285$8EEB198E-2D95-4984-9DDA-8F0F252ED632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972285$E3D0AB48-5A23-415A-92FA-8006E405428F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e95214063a5767e280f273c66f94747a023e40c6","datavalue":{"value":"https://arxiv.org/abs/math/0501436","type":"string"},"datatype":"url"},"type":"statement","id":"Q1972285$B627A0E5-F7BA-4445-A161-C33F4F781A14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5ccb43704754a42c4d8258a3b8183e83454d2cb9","datavalue":{"value":"The authors generalize, from finite lattices to arbitrary lattices, a result of the first author, \\textit{H. Lakser} and \\textit{R. W. Quackenbush} [Trans. Am. Math. Soc. 267, 503-515 (1981; Zbl 0478.06003)]. Let \\(A\\) and \\(B\\) be lattices with zero. The tensor product \\(A\\otimes B\\) of \\(A\\) and \\(B\\) as join-semilattices with zero is a join-semilattice with zero, but not necessarily a lattice. The authors give a natural condition under which \\(A\\otimes B\\) is a lattice. They call a subset \\(I\\) of \\(A\\times B\\) a bi-ideal if \\(I\\) contains \\((A\\times \\{0\\})\\cup (\\{0\\}\\times B)\\), it is hereditary, and it is join-closed in the sense that if \\(\\langle a_0, b\\rangle,\\langle a_1,b\\rangle\\in I\\), then \\(\\langle a_0\\vee a_1, b\\rangle\\in I\\), and symmetrically. A bi-ideal \\(I\\) is capped if there is a finite subset \\(C\\) of \\(A\\times B\\) such that \\(I\\) is the hereditary subset of \\(A\\times B\\) generated by \\(C\\) along with \\((A\\times \\{0\\})\\cup (\\{0\\}\\times B)\\). A tensor product \\(A\\otimes B\\) is capped if all bi-ideals in the representation of \\(A\\otimes B\\) are capped. For a lattice \\(L\\), let \\(\\text{Con}_cL\\) denote the join-semilattice with zero of compact congruences of \\(L\\).   The main result is the following:   Theorem. (I) If \\(A\\otimes B\\) is a lattice, then there is a natural embedding of \\(\\text{Con}_cA\\otimes \\text{Con}_cB\\) into \\(\\text{Con}_c(A\\otimes B)\\). (II) If \\(A\\otimes B\\) is a capped tensor product, then \\(\\text{Con}_cA\\otimes \\text{Con}_cB\\cong \\text{Con}_c(A\\otimes B)\\).   The authors also present more general constructions called sub-tensor product and capped sub-tensor product and prove their results in this more general context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$87CA6BC6-F71E-48B1-B75A-03A6E9C985DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$DB4E0C35-BA9C-4323-84B7-A1F7A0DE5445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$E1776291-99D2-4DAA-913E-7E8580F5EEF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f25b68dbbbf25b17076a0ca9e7a3673ba236a164","datavalue":{"value":"1435990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$8C508469-5C4D-4B3B-94C9-3333B527853A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90dabdcb2cfae9f2c650fe969150c32075dd8368","datavalue":{"value":"lattices with zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$FF918851-E670-4FC5-B8C1-BC7536557243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21c396c27a12244f71435095c481974de8a267c1","datavalue":{"value":"join-semilattices with zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$444552DE-756D-45D4-8504-BCA239446237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9689eddf7cc2d1f90ad2de60abf9f5ffb958369","datavalue":{"value":"bi-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$2C8E2B03-C7F6-488A-8126-8A288A398359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36477d9b90f338173ed6f60ef5cd50dc23b4b9a","datavalue":{"value":"compact congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$26FEE630-9840-4C67-9843-73AFB23CAA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ad8a07aa777fc622aa78024aaa658efd70b7f5a","datavalue":{"value":"capped tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$6254B8F8-824C-44D2-A0A9-E25F3EAEA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ff207721377b0f50b782448b6f901a5fc5f873","datavalue":{"value":"sub-tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972285$24AEBD64-8CEE-4956-B412-E560580BAF60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c29e445115b6fbe909292afc82298bd9a018da62","datavalue":{"value":{"entity-type":"item","numeric-id":1767715,"id":"Q1767715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972285$6C7234BC-AEAB-4906-9D3F-4F5A6E601117","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":"Q1972285$0D90A7E4-D4AC-4F14-8B5F-EA13CE3B0717","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40ad0ce01e6b62ae76839db35ed23aacaca9298c","datavalue":{"value":"W2087362034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$639C6DA5-6DC6-437F-B6F4-DC384CA7FF9D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b107b17d7decdcb8a82854f6650f4205a8a57d7c","datavalue":{"value":"Q126817292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972285$DB355D4D-EDED-4FE0-82D2-8A2FE74B59CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54af157c9dd9560f9ed2f39c9648bc271d805ea","datavalue":{"value":{"entity-type":"item","numeric-id":4726297,"id":"Q4726297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53c53cbb2076f95a67a4c6fe65cacc3c51607ce","datavalue":{"value":{"amount":"+0.92844504","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":"Q1972285$72783A77-5B58-433A-8195-C77E2C13CBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79653910e9321ce34a7855eb25530165bd74af","datavalue":{"value":{"entity-type":"item","numeric-id":1345730,"id":"Q1345730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf980ea5a155c51f7306821d19f961660d71f50","datavalue":{"value":{"amount":"+0.9239778","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":"Q1972285$83096ABA-04B0-43A4-AD2F-47BCA85291CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dfbabeece2c64ca1f4863dea7d74a4c4fee3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3218181,"id":"Q3218181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a265d1d184a0eb2c83fef3cdbf788c3f2529ee","datavalue":{"value":{"amount":"+0.923851","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":"Q1972285$93B37120-B393-4AB8-8DE9-36B097FFA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c87e85fcb669224ff4dbb52f48a162a0d62bc","datavalue":{"value":{"entity-type":"item","numeric-id":4266458,"id":"Q4266458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ccafdce4a4f26cbcc7a8757d3e9640a60f85c2","datavalue":{"value":{"amount":"+0.9231777","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":"Q1972285$FC0C4EE1-7F57-4578-B466-9EB4560CCA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f3cc170be9157c49275549af8517b8e19bc93","datavalue":{"value":{"entity-type":"item","numeric-id":6177156,"id":"Q6177156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5479a714725d3edd0135d9a201377bdff0c30e8","datavalue":{"value":{"amount":"+0.9053218","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":"Q1972285$B7CCE563-C7E4-443C-B514-C6D7CFBB7F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586a7bec2d85aced39ef293543ea1d4cac710f29","datavalue":{"value":{"entity-type":"item","numeric-id":4359795,"id":"Q4359795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7030b6ccbdb4979125dd60ac307a2b2af44c682","datavalue":{"value":{"amount":"+0.902968","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":"Q1972285$14E82851-6389-498E-80B9-8D53B163B16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5605fddd2427f621d80cdf517b36085f6b4a43f0","datavalue":{"value":{"entity-type":"item","numeric-id":3791369,"id":"Q3791369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e5222cde705ac9146df71e76fce5f033d5a446","datavalue":{"value":{"amount":"+0.9022934","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":"Q1972285$3E0EF507-E9E8-4061-AA67-43CC56F13819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda21f5c71c1846f8998699f05401b723ef62a62","datavalue":{"value":{"entity-type":"item","numeric-id":5656962,"id":"Q5656962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3babaa7cf34d9f6f57c5bf4fa6a1f48fc0aa63","datavalue":{"value":{"amount":"+0.9000953","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":"Q1972285$4304C5F3-A5F7-43C1-9F40-F53BCD6AD3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42a7fb8a408be169e0feded18dc2a6a29c88b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5393190,"id":"Q5393190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8dd3c22eecb1e3e43c49ef3c25f6a3e0c265a0","datavalue":{"value":{"amount":"+0.8990436","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":"Q1972285$2FC1DAC8-5575-492C-B03F-A0F96CDE5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee914ca3f0dea9a52be3f6c2a2ff7581cd20274e","datavalue":{"value":{"entity-type":"item","numeric-id":1315323,"id":"Q1315323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9fde2df630336d10ff953dc1c6816c55b024fb","datavalue":{"value":{"amount":"+0.8977582","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":"Q1972285$17A62EB5-C6B0-4C96-9358-F6A06373AF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1972285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1972285"}}}}}