{"entities":{"Q1286535":{"pageid":1297285,"ns":120,"title":"Item:Q1286535","lastrevid":46759359,"modified":"2025-12-25T13:12:49Z","type":"item","id":"Q1286535","labels":{"en":{"language":"en","value":"Normal semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1283807"}},"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":"Q1286535$C5D0AD8A-C670-4570-8607-237ED032F318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5529554bde53475086abd24a4aa2afdf6099578","datavalue":{"value":{"text":"Normal semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1286535$381F226C-875A-4F63-BB64-B05186531B93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60ee354d5561dff6d96dd13d3e91e731faf6f03","datavalue":{"value":"0921.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286535$D6BD4A63-9C83-46DD-B603-2F940AA3D875","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286535$D796C799-6EC3-4143-8C35-EE49022CA244","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0880aa7dda3bbf22b991349876cdfc0e33b32d5f","datavalue":{"value":{"entity-type":"item","numeric-id":164177,"id":"Q164177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1286535$6A521090-966E-4663-810E-41286A43F27C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"641f83e1b8c9394b4305abfb8491fe0a448b416c","datavalue":{"value":{"time":"+1999-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1286535$B0090876-3790-4182-B943-E1B70554820C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8773262bcceb079c8b1eabf566f0a851c1181022","datavalue":{"value":"Throughout this paper \\(S\\) denotes a bounded \\(\\Lambda\\)-semilattice with least element 0 and greatest element 1. For \\(a,b\\in S\\), the relative annihilator of \\(a\\) in \\(b\\) is \\(\\langle a,b\\rangle= \\{x\\in S\\mid x\\wedge a\\leq b\\}\\). An ideal of \\(S\\) is a nonempty subset \\(I\\) of \\(S\\) such that: i) \\(y\\leq x\\) and \\(x\\in I\\Rightarrow y\\in I\\), and ii) for \\(x,y\\in I\\) there exists \\(z\\in I\\) such that \\(z\\geq x\\) and \\(z\\geq y\\). The authors give a new proof of a result of \\textit{J. C. Varlet} [Bull. Aust. Math. Soc. 9, 169-185 (1973; Zbl 0258.06009)]: Theorem 1. \\(S\\) is distributive if and only if \\(\\langle a,b\\rangle\\) is an ideal for any \\(a,b\\in S\\). A filter \\(F\\) of \\(S\\) is a non-empty subset of \\(S\\) such that \\(x\\wedge y\\in F\\iff x\\in F\\) and \\(y\\in F\\). A proper filter \\(P\\) of \\(S\\) is prime if for any two filters \\(F\\) and \\(K\\) of \\(S\\), \\(\\emptyset\\neq F\\cap K\\subseteq P\\Rightarrow F\\subseteq P\\) or \\(K\\subseteq P\\). A proper filter \\(M\\) in \\(S\\) is maximal if the only filter containing \\(M\\) is \\(S\\). For two ideals \\(I\\) and \\(J\\) of \\(S\\), \\(I\\vee J\\) denotes the ideal generated by \\(I\\cup J\\). A normal semilattice is a bounded distributive \\(\\Lambda\\)-semilattice in which every prime filter is contained in a unique maximal filter. The main theorem is: Theorem 2. The following are equivalent for a bounded distributive semilattice \\(S\\): 1) \\(S\\) is normal; 2) \\(P\\cap \\langle a,b\\rangle\\neq \\emptyset\\) or \\(P\\cap\\langle b,a\\rangle\\neq \\emptyset\\) for any prime filter \\(P\\) of \\(S\\) and any \\(a,b\\in S\\) and \\(a\\wedge b=0\\); 3) \\(\\langle a,b\\rangle\\vee \\langle b,a\\rangle=S\\) for any \\(a,b\\in S\\) with \\(a\\wedge b=0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$281C6D3F-4DC3-4D9D-81F4-2945F512978D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286535$288377BF-B9E8-4D9C-9EE5-2B072D40C526","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de2189893d8837eff4cf8858ea3ebb609f101d4e","datavalue":{"value":"1283807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1286535$F11983E9-0C3E-4780-B6C1-1884C80CA068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$696BEA12-16E3-41A3-A42F-5EBE3858690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02c1474a87ccb2b044938ff6219b4d20f7ef83c","datavalue":{"value":"relative annihilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$31ABA901-677B-4705-B107-FCB3A869EBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$1CC70C22-2473-47F7-AB29-044AC7D91999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$C7A897FE-C59B-46BE-AE7F-80E39D3DFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cfd7a35a28f800e6bbed3a9dfaea2d1ed3de564","datavalue":{"value":"normal semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$4D10A6E1-F9E9-4D6D-A8A5-E6E0F539DFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec4935d6fed40b429276a57e7c1ed45f2e3e383e","datavalue":{"value":"bounded distributive semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1286535$B4ED308F-EC13-40F0-B6D0-36FF5518885C","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":"Q1286535$672957DD-88EA-499E-8405-F7B52F197672","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":"Q1286535$4C9F314B-F430-49C4-BC07-94F946E643B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4cbe62dcb3942762b9462e63bbbd3e6cf5d394","datavalue":{"value":{"entity-type":"item","numeric-id":1901634,"id":"Q1901634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38d35b79f7da6e88b9451d5282b14aacaaba2bd","datavalue":{"value":{"amount":"+0.8348731398582458","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":"Q1286535$B91B73B5-018D-438A-992A-8F1BB8E97E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ef479d3a98d0eb5b849648e80aeea6feb11fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4484695,"id":"Q4484695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ad88a05ba19e0a77e4e74424e27e4a30fb5f2a","datavalue":{"value":{"amount":"+0.8172136545181274","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":"Q1286535$0D3FF8A5-5958-486C-8B34-E3FCB5C09CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db4b3ac9711b311a24f9d2bcbb138498946ccde","datavalue":{"value":{"entity-type":"item","numeric-id":5292450,"id":"Q5292450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886d3aeaad362b353e832b6fc52e84c4febd6561","datavalue":{"value":{"amount":"+0.8049610257148743","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":"Q1286535$C27FE118-E176-48AF-86DB-DD98C27D450C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1286535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1286535"}}}}}