{"entities":{"Q934894":{"pageid":936742,"ns":120,"title":"Item:Q934894","lastrevid":65518389,"modified":"2026-04-12T03:09:28Z","type":"item","id":"Q934894","labels":{"en":{"language":"en","value":"Equational theories as congruences of enriched monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306267"}},"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":"Q934894$6C425AD6-4072-43D8-9DE6-9DEC6FD2411D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0fba56b6d07675e5ec721bf10b03f2ca99524ae","datavalue":{"value":{"text":"Equational theories as congruences of enriched monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934894$EBDC7A65-A54D-4AF8-9DFB-63873B092664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e348e3e11590ba346331c9f6880a58b03b276089","datavalue":{"value":"1151.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$0B64F6AA-D2E9-4D14-8C6C-2F031EC198E8","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":"Q934894$34A617C6-BCCA-4882-9471-BFAF7E48CDE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934894$FAFFE4CE-7D7A-4B31-A09D-59983D22BB51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4033e0a776b1a7adadaa15a2d8345053fa0f9041","datavalue":{"value":"For a given equational theory \\(\\Sigma\\), the set \\(L(\\Sigma)\\) of all equational theories containing \\(\\Sigma\\), forms a lattice, called an equational theories lattice. Mal'tsev's problem, which lattices can be represented as equational theories lattices, is still unsolved. \\textit{J.~Je\u017eek} [Algebra Univers. 6, 147--158 (1976; Zbl 0354.08007)] proved that each algebraic lattice with countably many compact elements is isomorphic to an interval of some equational theories lattice. \\textit{D.~Pigozzi} and \\textit{G.~Tardos} [manuscript, 1999] showed that for every algebraic lattice \\(L\\), the ordinal sum \\(L+1\\) is representable as an equational theories lattice. \\textit{N.~Newrly} [Algebra Univers. 30, No. 2, 217--220 (1993; Zbl 0789.08006)] studied representations of equational theories lattices by congruence lattices of monoids enriched by one unary operation.   The author of the present paper defines an algebra \\(\\mathcal M=(M,\\cdot,\\Phi, \\Phi_0,1)\\) of type (2,1,1,0) to be an Et-monoid, if \\((M,\\cdot,1)\\) is a monoid and if certain further conditions for \\(\\mathcal M\\) are satisfied.   The main result is the following, constructively proved, theorem: A lattice \\(L\\) is an equational theories lattice if and only if \\(L\\) is isomorphic to the congruence lattice of some Et-monoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$F90255DC-17ED-453A-AD4C-A23F6FC8F61B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$A3B97A74-D331-415D-8487-34459B324B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$25CB5B16-774D-4577-B332-978C06F6F1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3c0b12dfc5f94a7ceb1346abf14b97abb8b7648","datavalue":{"value":"5306267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$5C908C24-745C-411C-BC2F-9748A67FDF9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$1FD882FF-EE19-447D-82E1-F3089D5D0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$2175AC86-9075-4F2C-99D0-993219FD66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$2C43AA2B-E2D7-4251-8CC5-AF80D9F4A2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$FCF1BBB7-758A-431A-AB0E-4A1FC0C5DFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q934894$22FA7BE2-8630-45A3-9B2D-85689471EAC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"180f0f888a6d697046cb394ed517b2704856ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":368480,"id":"Q368480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934894$89B694C7-81E9-4B09-A868-F1EB23041AB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934894$0ABDC298-120C-4A56-948D-1B18519C05FB","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":"Q934894$70565FE4-862E-421F-97AB-CC15CA89D6BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1e1490ad6607c05d031d23f3882b281867f7982","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2080-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q934894$DDF19442-7132-48AF-B4E3-97F36153228D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2f9372189a9c05f5aa014202a70b8ad970cb73d","datavalue":{"value":"W2059773011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$AAC932FC-637E-4D3E-9D28-29407D868BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"357f8adabe9f61955521871a44b9d73f62a39f94","datavalue":{"value":"10.1007/S00012-008-2080-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934894$90E0F3B0-3B9B-4890-A6CD-3A8B98E6F530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b40f633ecc8fc46cadb369d77dd60cd23087ed","datavalue":{"value":{"entity-type":"item","numeric-id":3527285,"id":"Q3527285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add3ee6954c91aeb2ba24b731ea908fcdd0b5414","datavalue":{"value":{"amount":"+0.9069972","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":"Q934894$2647F58C-6A29-4562-8521-150CA84A84B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0038bf85ef1a95222ed5471e08e02352c27460","datavalue":{"value":{"entity-type":"item","numeric-id":2289097,"id":"Q2289097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed08a168d92c6d7ce7787fc92f6870857f5892d","datavalue":{"value":{"amount":"+0.9027196","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":"Q934894$E7ECDC87-46D0-46A4-B081-6CAD615DF76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1ef9422e2a44e116b727bc21a707320ba2bd79","datavalue":{"value":{"entity-type":"item","numeric-id":4038360,"id":"Q4038360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8409ea2b3b682888586357a05f33937afc3ea98d","datavalue":{"value":{"amount":"+0.9007347","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":"Q934894$28198595-662C-480A-90FD-59C5B2F13010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc91298d5a2e8f97e0f044e8f314a958647b58d","datavalue":{"value":{"entity-type":"item","numeric-id":2710602,"id":"Q2710602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976f41e1648614d0d90e9ad1118ac4ae0fa5704e","datavalue":{"value":{"amount":"+0.8992259","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":"Q934894$013B12B2-A8B5-49C3-ADA2-38C537436F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bb44fbbc436ddf3e8ae92ebb5b18d5300edfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5044871,"id":"Q5044871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0223ce5714f2f258467eaf369d855fd6effbd321","datavalue":{"value":{"amount":"+0.89854586","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":"Q934894$DC7FB2D6-718C-42FC-BBF4-9DED1AECCA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e12a8fcec4f0de450ff6d0f8dc6a74029bead62","datavalue":{"value":{"entity-type":"item","numeric-id":2808141,"id":"Q2808141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330cf2c31a62f0c9308795f2d7889998b3cd5947","datavalue":{"value":{"amount":"+0.897075","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":"Q934894$D4AC163C-94D7-4CDC-A665-A186DDF96E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee27636b9d1c74b1ed0bed14612855026823f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1922118,"id":"Q1922118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90612ec244383514f0d346acdfa034f67db4bd01","datavalue":{"value":{"amount":"+0.8965556","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":"Q934894$87D5F2B4-9BD1-43C3-B2F7-B44D6CA24C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe19dbd2a6b80d805c9037c77f2056e7979e763","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6e48bc27399638ce09e6073885b176ccd05159","datavalue":{"value":{"amount":"+0.895628","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":"Q934894$31D35240-CF65-4360-BC41-CCC86EED12F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52285143755f97bcd0be6c4bea6cf6225313daa","datavalue":{"value":{"entity-type":"item","numeric-id":4284258,"id":"Q4284258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5039eecf898cf741402c845780dfbd03d71fefa2","datavalue":{"value":{"amount":"+0.89411116","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":"Q934894$C88287DB-2878-40CB-AD48-3B5253405102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cc7eae21928e7df41e64fdab9db8330ec7262","datavalue":{"value":{"entity-type":"item","numeric-id":5074667,"id":"Q5074667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b8dfe5177ca9a609cdfc480116f110d00652c9","datavalue":{"value":{"amount":"+0.8936639","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":"Q934894$59C7F253-FD03-4D48-9F0E-C4A9E054B4CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational theories as congruences of enriched monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_theories_as_congruences_of_enriched_monoids"}}}}}