{"entities":{"Q2762292":{"pageid":2773031,"ns":120,"title":"Item:Q2762292","lastrevid":47720671,"modified":"2026-01-02T12:53:28Z","type":"item","id":"Q2762292","labels":{"en":{"language":"en","value":"Ockham algebras arising from monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687545"}},"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":"Q2762292$A143B787-6D38-42F2-B1B7-86F324AD89C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71eb987866e93b601a9557922a4afa9a1721de53","datavalue":{"value":"0987.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762292$B82E8338-C96D-41F1-B5AC-898E7401F858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762292$C1E8A905-1921-4AE4-82F9-770A475EC07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2903fdd6e9a7a6099bc02d7c63f9c62f90b3e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":451074,"id":"Q451074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762292$F58C2417-D8C3-4ADF-A2AF-F8BD921E1A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba64a939c95436767b41181d5897fe87d7dbc07","datavalue":{"value":{"entity-type":"item","numeric-id":762516,"id":"Q762516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762292$1DD36174-7BB5-44E4-9923-3922D41E64E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46f7de6e5c68e72e4fbf800a42a75a27b0f09bb6","datavalue":{"value":{"time":"+2002-06-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":"Q2762292$8AC20A4A-81CC-4E93-9E67-02480AC3E9E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762292$E32369F2-4A9B-4672-BDD2-74A352231501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762292$E36AF949-31A1-4F3C-8403-478FAE46EA5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d3c4d1d3f6328a6372d70a7e910947eae61c2e0","datavalue":{"value":"1687545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762292$978A514F-394B-441C-A147-8F096DFE46C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$22FE9438-7D23-41E3-896D-17EC919B2ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b596ec464ee463a843efecbe4a3a6a2f65c76f","datavalue":{"value":"Urquhart class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$2561920C-30AA-422B-8862-354C07FE47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07800169ef6ee31e9f523c1565838c221182a5c","datavalue":{"value":"simple algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$B4CD9758-62DC-4C4E-BDBD-2EB8F201D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$BECE55F3-842D-41D8-95A8-ED3EAD267EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e86038b670025220fd28eec2af67f76172dada4","datavalue":{"value":"endomorphism monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$98099D81-F88F-4849-8982-981CDB39659E","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":"Q2762292$A6755AB6-D733-432C-AE5F-57DB94F5CFE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0e154b32537933cdb34ae464ae97a670a7603a3","datavalue":{"value":{"text":"Ockham algebras arising from monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2762292$AB1FE6D2-60C9-4C89-A43F-B231C15007EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f895ee04357a5b7a04d11bfcd0c18dce3590293e","datavalue":{"value":{"entity-type":"item","numeric-id":2711603,"id":"Q2711603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762292$5F369C0D-58A5-4A70-8ECC-5F6070A1DD2F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4042876be7e87800ca0ba06f91b28761b3cc39b","datavalue":{"value":"An algebra \\(\\mathcal L=(L,\\vee ,\\wedge ,0,1,f)\\) of type (2,2,0,0,1) is an Ockham algebra if \\((L,\\vee ,\\wedge ,0,1)\\) is a distributive \\((0,1)\\)-lattice and \\(f\\) is its dual endomorphism. If \\((L,\\vee ,\\wedge ,0,1)\\) is a Boolean lattice and \\(f\\) is not a complementation, then we say that \\(\\mathcal L\\) is of Boolean shape, if \\((L,\\vee ,\\wedge ,0,1)\\) is a Boolean lattice and \\(f\\) is a bijection, then we say that \\( \\mathcal L\\) is of Boolean type. For a monoid \\(M\\) and \\(c\\in M\\), define \\(f_c(A)=\\{x\\in M;xc\\in M\\setminus A\\}\\) for any \\(A\\subseteq M\\). It is proved that \\(\\mathcal L^M_c=(2^M,\\cup ,\\cap ,\\emptyset ,M,f_c)\\) is an Ockham algebra such that if \\(c\\neq 1\\), then \\(\\mathcal L^M_c\\) is of Boolean shape, and if \\(c\\) is a unit of \\(M\\), then \\(\\mathcal L^M_c\\) is of Boolean type. The authors characterize when \\(\\mathcal L^M_c\\) belongs to the Urquhart class \\(\\mathbf P_{m,n}\\), or \\( \\mathcal L^M_c\\) belongs to the Berman class \\(\\mathbf K_{p,q}\\), or \\(\\mathcal L^M_c\\) is simple, or \\(\\mathcal L^M_c\\) is subdirectly irreducible. If \\(c\\) belongs to the center of \\(M\\), then \\(M\\) is a subsemigroup of the endomorphism monoid of \\(\\mathcal L^M_c\\). Hence any Urquhart class \\(\\mathbf P_{m,n}\\) contains for any semigroup \\(S\\) the algebra \\(\\mathcal A\\) such that \\(S\\) is a subsemigroup of the endomorphism monoid of \\(\\mathcal A\\). A stronger version of this fact was proved for Kleene algebras in a paper of \\textit{M. E. Adams} and \\textit{H. A. Priestley} [``Kleene algebras are almost universal'', Bull. Aust. Math. Soc. 34, 343-373 (1986; Zbl 0583.06009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762292$94A27E37-FEC4-4062-A91B-5AB728D092E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762292$A92A5E67-59FD-4306-AE60-2D9C900D2679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1577768d6433dd90ab075c0b46319c74359cf5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3127527,"id":"Q3127527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0161c5ca028d77268e7de3b67f6643184dbed23","datavalue":{"value":{"amount":"+0.8290383815765381","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":"Q2762292$4DC52A07-F29C-4C6B-8414-4B2F474480BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e28a5b6f23907863f44f47db8d54049c7212c5","datavalue":{"value":{"entity-type":"item","numeric-id":4308745,"id":"Q4308745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0161c5ca028d77268e7de3b67f6643184dbed23","datavalue":{"value":{"amount":"+0.8290383815765381","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":"Q2762292$7225AF58-FDC8-488B-9F40-D7886B4B1BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8a6a4a636a75de48f9c00e27f929abdb140597","datavalue":{"value":{"entity-type":"item","numeric-id":763302,"id":"Q763302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5300789ccdd57541aa4566d90aad9152c6459994","datavalue":{"value":{"amount":"+0.8234907984733582","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":"Q2762292$8058E6E6-67FF-4B8E-9C26-63ED654D6EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1d393599834b846311674839b4c707c90af9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4656546,"id":"Q4656546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68879740c98d76705b6cdb0366855ceb1629e28","datavalue":{"value":{"amount":"+0.8189980387687683","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":"Q2762292$2F21ABF6-71C9-4600-AF81-10ABF1AF1878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a9309372619bd54b072a62699e797793a3064","datavalue":{"value":{"entity-type":"item","numeric-id":4011582,"id":"Q4011582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead2e2e467defb6bb06b4f615f75dcc0e2d4add2","datavalue":{"value":{"amount":"+0.8163037300109863","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":"Q2762292$9F31D83D-E36F-4D88-9240-8C349A50F20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2762292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2762292"}}}}}