{"entities":{"Q1802253":{"pageid":1812995,"ns":120,"title":"Item:Q1802253","lastrevid":47167312,"modified":"2025-12-31T21:42:02Z","type":"item","id":"Q1802253","labels":{"en":{"language":"en","value":"Lattices of equational theories are congruence lattices of monoids with one additional unary operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 203149"}},"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":"Q1802253$84F0CD29-38BA-4770-B7E2-A0990758CCBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b645b26d61faa87d45593fecbba5a80d510dd30e","datavalue":{"value":{"text":"Lattices of equational theories are congruence lattices of monoids with one additional unary operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802253$5A643622-7EC7-4442-82A7-44F079765C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55870dd3e93796e9579061961a4f4ec712bdaef8","datavalue":{"value":"0789.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$69A8D716-7DEC-46CD-9D55-7EA52EC3A2E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eb144f046e008b12f92c951d78ba95e612af552","datavalue":{"value":"10.1007/BF01196092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$F4A96AEB-6EC6-4C4B-AC1B-AE2132B232A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e93bcc15baaa3dbbc58544638718753f0ea2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1802252,"id":"Q1802252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802253$232C7DC2-6203-4893-A1AE-67D4ACA5CFA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802253$55F7984F-4EEF-46FB-A066-C42159830970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d23d21db40355b5deb6afbee2057e3f63e35671","datavalue":{"value":{"time":"+1994-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802253$60991BD8-6741-4FEA-829E-C6263EFD3916","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"254aa18f07c70d5ba92d1d8f7fc93d57e672c0be","datavalue":{"value":"In Stud. Sci Math. Hung. 26, 53-62 (1991; Zbl 0645.08004), the reviewer proved that the class of lattices of equational theories of unary algebras including non-regular equational theories is the class of congruence lattices of monoids with left (or right) zero. Let \\(\\mathcal M\\) be a monoid, \\(\\langle A,\\circ\\rangle\\) be the monoid obtained from \\(\\mathcal M\\) by means of free addition of left zero \\(\\omega\\), \\(h\\) be a unary operation on \\(A\\) such that \\(h(a)= h(a\\omega)= a\\) for any \\(a\\) from \\(\\mathcal M\\). From the results of the mentioned paper, it follows immediately that the class of congruence lattices of all such algebras \\({\\mathcal M}(h)=\\langle A,\\circ,h\\rangle\\) is the class of lattices of equational theories of unary algebras.   In the reviewed paper it is proved that the class of lattices of equational theories of universal algebras is included in the class of congruence lattices of monoids with one additional unary operation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802253$72C68104-E763-4BC5-9B4C-12ABA2A7D89B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$18006D7F-8088-4BAC-95D4-BF2C58E48DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$D98F58BD-D86D-477B-A6D0-427675B97A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$2C781333-B80B-4A55-885A-52668D37B2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4a7db0b1ffc44ebbfc7de48f1339a29a1a1c16e","datavalue":{"value":"203149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$EAFA489F-7533-4529-AC0A-449FF946B61B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802253$B86E74BC-94AF-4C83-8FF6-A23544394D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802253$4388922E-A6EF-427B-9C12-F447D15F1FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9514532446ae8923944a80d624dd18da89c6659","datavalue":{"value":"lattices of equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802253$E4BB2D90-4A01-491A-A024-4BBA00ABE43A","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":"Q1802253$28A94B55-D757-4152-BA85-754255160598","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845f5259d118402fce789dcd5890ee1a17bb585a","datavalue":{"value":{"entity-type":"item","numeric-id":1083465,"id":"Q1083465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802253$97EDEC68-230E-4F36-813F-DA3D89461C09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"590f8d24d0be773faaefa4062993390ada54bbed","datavalue":{"value":"https://doi.org/10.1007/bf01196092","type":"string"},"datatype":"url"},"type":"statement","id":"Q1802253$351B5782-2EF9-452B-B6F1-6E70B9AEE10A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d62a4f7e54a02f3ee59efa37d0db5a53d29617d2","datavalue":{"value":"W2085771336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802253$29662E7B-CCA7-4888-BD46-76DE7D7E67AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991e8a7eb6574aa540fe9aca2dbc9a5d0cb52d67","datavalue":{"value":{"entity-type":"item","numeric-id":3788071,"id":"Q3788071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd08e10c2024c3107ed0b8cf1e761511c10ad61b","datavalue":{"value":{"amount":"+0.9073527455329896","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":"Q1802253$FE190577-9180-4FE3-9F3C-2B45033298D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cec12ea812fc915995ad17ad030df9aa80b7a63","datavalue":{"value":{"entity-type":"item","numeric-id":934894,"id":"Q934894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f6fa57c28a10d94d1ebeafb3b2ef7890c52c6c","datavalue":{"value":{"amount":"+0.834671139717102","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":"Q1802253$1AABAA5E-580C-4CEA-B942-E2AE058B13A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fcfca40dc5e293574520795bcfe31d015a54e5","datavalue":{"value":{"entity-type":"item","numeric-id":4007656,"id":"Q4007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97383b3026a773d9cf03ca96db641a7061727164","datavalue":{"value":{"amount":"+0.8346052169799805","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":"Q1802253$105356C9-00DA-4A70-B7CA-0BC1D9D671F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0edc10e7e385b14de00051be4c38cd0981fe45","datavalue":{"value":{"entity-type":"item","numeric-id":2376923,"id":"Q2376923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4856c4d753d7317cdd17329745b9d562e08c89","datavalue":{"value":{"amount":"+0.7930609583854675","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":"Q1802253$202F5640-483C-4B82-8F90-112E8786A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435ef8ddee523c21f3ff026b58ab57e2ad370fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2217771,"id":"Q2217771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10617bbbae0e9b0ed440de552ed4cfed8a985c87","datavalue":{"value":{"amount":"+0.7766148447990417","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":"Q1802253$5EC26496-7AF7-4A65-BAE5-10B980CAA3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1802253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1802253"}}}}}