{"entities":{"Q810175":{"pageid":812023,"ns":120,"title":"Item:Q810175","lastrevid":64544553,"modified":"2026-04-11T20:36:50Z","type":"item","id":"Q810175","labels":{"en":{"language":"en","value":"On separation of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212370"}},"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":"Q810175$149C1F26-548B-425B-A2D3-B7F00A7C473B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8ecb1d188cb11883210e45a700784918db74713","datavalue":{"value":{"text":"On separation of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810175$E5D6F943-11A4-4594-A06C-7D6846BF073B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac044c2b0686ae603315df5bdce06d35e0198d07","datavalue":{"value":"0733.28007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$7B7C91B7-2094-4769-9728-1035FEDACF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cad0719e3ea7a2b61127ae8e941860a82cc679b","datavalue":{"value":"10.1155/S016117129100039X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$42195DEC-254C-417A-95E8-2056F6C162F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd127ba324d3edb9c5a6ae70be5e27e7395fc1f8","datavalue":{"value":{"entity-type":"item","numeric-id":790271,"id":"Q790271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810175$D76D0607-5469-49DE-A13E-BA7258CE2750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810175$387BFEC3-D84C-47E8-AF6C-06A87B8EE47A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810175$890DB616-597E-4A75-A89D-CC25069C175C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7794e1743aa60b31a74c15e5b5bc773c536013d7","datavalue":{"value":"https://eudml.org/doc/46624","type":"string"},"datatype":"url"},"type":"statement","id":"Q810175$AD81FF5D-F3B3-4E82-BF1D-DF6712320368","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51e723ea660546c04212b8a3491c5d600ef9e2aa","datavalue":{"value":"Let X be a non-empty set. A lattice refer to any lattice of subsets of X containing \\(\\emptyset\\) and X. Let \\({\\mathcal L}\\) be a lattice. Then: (1) \\({\\mathcal L}\\) is disjunctive if \\(x\\in X,\\) \\(L_ 1\\in {\\mathcal L}\\) and \\(x\\not\\in L_ 1\\) imply that there exists \\(L_ 2\\in {\\mathcal L}\\) such that \\(x\\in L_ 2\\) and \\(L_ 1\\cap L_ 2=\\emptyset;\\) (2) \\({\\mathcal L}\\) is normal if \\(L_ 1,L_ 2\\in {\\mathcal L}\\) and \\(L_ 1\\cap L_ 2=\\emptyset\\) imply that there exist \\(L_ 3,L_ 4\\in {\\mathcal L}\\) such that \\(L_ 1\\subseteq X\\setminus L_ 3,\\) \\(L_ 2\\subseteq X\\setminus L_ 4\\) and \\((X\\setminus L_ 3)\\cap (X\\setminus L_ 4)=\\emptyset;\\) (3) The symbol I(\\({\\mathcal L})\\) denotes the set of all non-trivial \\(\\{0,1\\}-\\)valued finitely additive set functions defined on the algebra A(\\({\\mathcal L})\\) generated by \\({\\mathcal L}\\); (4) An element \\(\\mu \\in I({\\mathcal L})\\) is called \\({\\mathcal L}\\)-regular if \\(\\mu (A)=\\sup \\{\\mu (L):\\;L\\in {\\mathcal L}\\text{ and } L\\subseteq A\\}\\) for all \\(A\\in A({\\mathcal L});\\) and (5) The symbol \\(I_ R({\\mathcal L})\\) denotes the set of all \\({\\mathcal L}\\)-regular members of I(\\({\\mathcal L})\\). Let \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) be two lattices. We say that: (a) \\({\\mathcal L}_ 1\\) separates \\({\\mathcal L}_ 2\\) if \\(L_ 0,L_ 2\\in {\\mathcal L}_ 2\\) and \\(L_ 0\\cap L_ 2=\\emptyset\\) imply that there exist \\(L_ 1,L_ 3\\in {\\mathcal L}_ 1\\) such that \\(L_ 0\\subseteq L_ 1,\\) \\(L_ 2\\subseteq L_ 3\\) and \\(L_ 1\\cap L_ 3=\\emptyset;\\) (b) \\({\\mathcal L}_ 1\\) semiseparates \\({\\mathcal L}_ 2\\) if \\(L_ 1\\in {\\mathcal L}_ 1,\\) \\(L_ 2\\in {\\mathcal L}_ 2\\) and \\(L_ 1\\cap L_ 2=\\emptyset\\) imply that there exists \\(L\\in {\\mathcal L}_ 1\\) such that \\(L_ 2\\subseteq L\\) and \\(L\\cap L_ 1=\\emptyset.\\)    Now the main results of the paper under review can be stated as follows:    Theorem A. Let \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) be two lattices such that \\({\\mathcal L}_ 1\\subseteq {\\mathcal L}_ 2\\) and \\({\\mathcal L}_ 1\\) separates \\({\\mathcal L}_ 2\\). Then \\({\\mathcal L}_ 1\\) is normal if and only if \\({\\mathcal L}_ 2\\) is normal.    Theorem B. Let \\({\\mathcal L}_ 1\\) and \\({\\mathcal L}_ 2\\) be two lattices such that \\({\\mathcal L}_ 1\\) is normal, \\({\\mathcal L}_ 2\\) is disjunctive and \\({\\mathcal L}_ 1\\subseteq {\\mathcal L}_ 2.\\) If, for every \\(\\mu \\in I_ R({\\mathcal L}_ 2)\\) the restriction \\(\\mu | A({\\mathcal L}_ 1)\\) is \\({\\mathcal L}_ 1\\)-regular, then \\({\\mathcal L}_ 1\\) semiseparates \\({\\mathcal L}_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$B4F160B9-3D40-4865-8673-8759F07AD800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a02cfcf6167efdc50d3eac5dba54daad352b01a","datavalue":{"value":"28C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$9FD27AF1-DCA8-4EA7-AF03-D5DF8616F805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$063E2B57-AE13-4BBE-840B-DC1C5AACD62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$BDD4325E-9B82-41EC-9A9E-A260FEE75757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$AD20774D-A9CB-4257-AD9B-AA066196E1E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce1f3c2c541d9431e5c7224abd8b16f723ed7b11","datavalue":{"value":"4212370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810175$C95BC618-0128-4C26-8C6E-1018C22014F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdf235ffda465c3aeb4250850467deb824af4c8","datavalue":{"value":"disjunctive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$3A77E09A-51D0-470E-9359-FF3671745EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a756071f1cbb303d7ccb158528305eaa9c95483f","datavalue":{"value":"normal lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$5EAD12C5-5910-4C7C-AB58-A46DCF7A54C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb18521e4b63188f9af726ff7ebdff590de646d","datavalue":{"value":"separation of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$FC7A0137-4A57-4C1F-ACC4-D90769683DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60369e45aec5318897257ff261834ed1053282e","datavalue":{"value":"semiseparation of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$09641C0A-6FE5-4C00-9975-7B3DCAE6395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1375fda89e988aa7ba8b12c7b3484bfb4e416884","datavalue":{"value":"lattice-regular measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q810175$213A9EDE-433E-455C-A1EE-D4ABC00451B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8bc723e44a850381299c06a8f3a14da5cc44d1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1088014,"id":"Q1088014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810175$3736F891-F892-45D8-92E2-48696A947BFD","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":"Q810175$A3DA87E6-9878-40EF-99BB-CF32EC2C36E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8258fa6cf153d48bba9d2614b5770800ede39e","datavalue":{"value":{"entity-type":"item","numeric-id":810174,"id":"Q810174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0678acc1c93945b1bfd26d556703e838cab8dfe","datavalue":{"value":{"amount":"+0.9300349354743958","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":"Q810175$F12CB5BB-C686-4FA7-B079-A36F28B5643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303d670c7dd07d23647648a245705110bb37c89d","datavalue":{"value":{"entity-type":"item","numeric-id":810652,"id":"Q810652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362153fb0c679177342021798eecdccf856733f8","datavalue":{"value":{"amount":"+0.9181897640228271","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":"Q810175$BFE57910-0030-4FC1-B95E-B5629CA5CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a5c91bb95b3fac2f032b22759967571ae8f82a","datavalue":{"value":{"entity-type":"item","numeric-id":1335489,"id":"Q1335489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62e1c0b66a700f2a95bc71626a3e346ee293ca2","datavalue":{"value":{"amount":"+0.8791139721870422","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":"Q810175$BC471C8F-C6BB-4B43-A0EC-F80DDF77E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef839470ef7be8a30fdf81314a29d14c752adb61","datavalue":{"value":{"entity-type":"item","numeric-id":1210462,"id":"Q1210462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad14cc93d9a5533d5a89680e1e502b62713ed05c","datavalue":{"value":{"amount":"+0.8753203749656677","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":"Q810175$1631098D-014B-4B82-907C-40F007868345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3814393a1a99eed20186375ed3c6c9c1b868cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1186333,"id":"Q1186333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9653c0291f48e992107cf2f8c8fbd00dc6e936d6","datavalue":{"value":{"amount":"+0.8656119704246521","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":"Q810175$7AFF50D0-3A07-4BBA-8A00-9041A6D458B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On separation of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_separation_of_lattices"}}}}}