{"entities":{"Q1047111":{"pageid":1048959,"ns":120,"title":"Item:Q1047111","lastrevid":66941067,"modified":"2026-04-12T13:52:46Z","type":"item","id":"Q1047111","labels":{"en":{"language":"en","value":"The finite basis problem for endomorphism semirings of finite semilattices with zero."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5652296"}},"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":"Q1047111$1D6BA24C-601A-488E-BDA4-F10895F30FD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b2ccd3079c6765bc9639e20f60323c32f09bc60","datavalue":{"value":{"text":"The finite basis problem for endomorphism semirings of finite semilattices with zero.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1047111$93F6512D-3E45-4D0B-9CCB-186D1C7DA5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71690e23df186adeb17717780b85c23ec99eb8c8","datavalue":{"value":"1197.16047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$DBEFA108-A107-448D-8771-BD3BE69D3B11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53947beb9dc5d675b932a5f73d81d12983fd0150","datavalue":{"value":{"entity-type":"item","numeric-id":342843,"id":"Q342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$BEEECE71-5341-47FD-BFB8-2EC3075A487A","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":"Q1047111$0F2EE4DD-747A-4128-8111-E335013E86C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47034ae5659f9309079a39f0dc55e3f1d9935306","datavalue":{"value":{"time":"+2010-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1047111$7C53DEC3-67BE-4049-A54D-968B80FE6577","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc84c4fc358cd1fb0bfba48b8dedba2759a9f02b","datavalue":{"value":"We recall that a semiring is a structure \\((\\Sigma,+,\\cdot,0)\\) such that the following conditions hold: (i) \\((\\Sigma,+,0)\\) is a commutative monoid; (ii) \\((\\Sigma,\\cdot,0)\\) is a semigroup with zero; (iii) \\((\\Sigma,+,\\cdot,0)\\) satisfies the distributive identities \\(x(y+z)=xy+xz\\) and \\((x+y)z=xz+yz\\). If the additional identity \\(x+x=x\\) is satisfied, then the semiring is called additively idempotent, or an ai-semiring for short.   The present note is meant as an accompaniment to the previous paper by the author [Algebra Univers. 60, No. 1, 19-35 (2009; Zbl 1172.08003)], a part of a broader quest into finite basis problems for semirings. We recall that a universal algebra \\(\\mathcal A\\) is said to be nonfinitely based (NFB) if the set of its identities (atomic formulas \\(p=q\\)) is not finitely axiomatizable, i.e., if there is no finite set of identities holding in \\(\\mathcal A\\) from which all other identities holding in \\(\\mathcal A\\) can be deduced within the framework of equational logic. Otherwise, \\(\\mathcal A\\) is finitely based. An algebra \\(\\mathcal A\\) is said to be inherently nonfinitely based (INFB) if (i) \\(\\mathcal A\\) generates a locally finite variety, and (ii) for any algebra \\(\\mathcal B\\) such that the variety \\(\\mathbb{V}(\\mathcal B)\\) generated by \\(\\mathcal B\\) is locally finite and \\(\\mathcal A\\in\\mathbb{V}(\\mathcal B)\\), we have that \\(\\mathcal B\\) is NFB.   If \\(\\mathcal S\\) is a join-semilattice with a distinguished least element, then all its endomorphisms form an ai-semiring \\(\\text{End}(\\mathcal S)\\); conversely, it is known that any ai-semiring embeds into an endomorphism semiring of such kind. If \\(|\\mathcal S|\\leq 2\\), then \\(\\text{End}(\\mathcal S)\\) is readily seen to be finitely based. On the other hand, the author shows that if \\(\\mathcal S\\) is finite and either contains the square of a two-element chain or is a chain with at least four elements, then \\(\\text{End}(\\mathcal S)\\) is INFB. This leaves only the case when \\(\\mathcal S\\) is a three-element chain as an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$553C6C98-AABD-4122-B018-D4F3BA402E54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$EE1577D6-B0FD-4408-950B-7A82E92D84E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$2A59A5F7-0608-4217-AAB1-5DE1895E478A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7667cd294612223a9ef340294d29bc5c97ec79e9","datavalue":{"value":"5652296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$C4D28784-EB2E-4CBA-8B13-3BE0FFEDFA96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1815c1fafb1861025894b0cafa88bcbb12dce1e9","datavalue":{"value":"endomorphism semirings of semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$57E3E091-5313-4535-A62E-AA098BACCBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$57615E7D-F19E-46CF-8349-2A49A49B0185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324a76f236ef5b3e74bef7f0e8d15e43454185cd","datavalue":{"value":"identity bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$191E1D24-A663-4334-82CD-811AA7E715A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb97238560c2f9adce21b9932a98de91c9fa11f","datavalue":{"value":"inherently nonfinitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$9FB7E1A9-CBBA-46AF-B7FD-D7CBD05DA157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1047111$20CF6294-A293-4588-8307-4726752E34A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$E0973744-D84F-43FD-8852-C894A818ACF1","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":"Q1047111$52FE85CA-5334-41A0-804A-D486EDF6C76F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14a02014ce3c9dbff33b15d10b5be9516a462e63","datavalue":{"value":"https://doi.org/10.1007/s00012-009-0024-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1047111$57D9F8E1-739B-49EE-BC0B-C83511225867","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a31f826ac347966bebfa3350d0af5a235ac696b2","datavalue":{"value":"W2034944699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$E517340F-440E-4BE8-89AA-3A982F57702C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$3B0CCB18-FE85-436E-9333-BB9BF7D6D389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$42F71CD8-F01D-413A-B6B5-BCE50AB656DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e225693c2f2667e5aaf568d44a47701db71811b7","datavalue":{"value":{"entity-type":"item","numeric-id":3502839,"id":"Q3502839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$4FD16A7D-FE44-4832-9956-385DB576EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e9cf66387de43687b741c27141412ab66666d4","datavalue":{"value":{"entity-type":"item","numeric-id":1013983,"id":"Q1013983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$6D19070E-6989-40A9-B160-FCFDFD6B067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297096533e5ab88f17fd5345d80476a13e267727","datavalue":{"value":{"entity-type":"item","numeric-id":4023553,"id":"Q4023553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$0A94CE74-50EF-45D4-8C77-3097D261B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b080df349552f9ba7601a6932ebf94565585f7","datavalue":{"value":{"entity-type":"item","numeric-id":1570360,"id":"Q1570360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$3D586195-5B14-4605-A739-C815567FFC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa515d5fc450d401e63713de3ff8829ad51b2253","datavalue":{"value":{"entity-type":"item","numeric-id":1393582,"id":"Q1393582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$3528369C-A1FF-44BB-94FB-3E56AD6C79F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$B4A8C4B7-F101-44AF-B435-9B2783D538C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$4973EED3-9DFA-4C71-A941-B2627A658E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$D8664F9C-A528-4880-B438-EF10D0C0B026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f60a32046a52272cba7a2a12da1464e6b6a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1201350,"id":"Q1201350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$B7ACE4E8-1336-40BE-9825-E70DB1B477A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69add79f7a822458e31bb197b80ccef119cb604b","datavalue":{"value":{"entity-type":"item","numeric-id":2626603,"id":"Q2626603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$9F7EC766-66F4-41F6-9D05-A3A87C97D918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$1A2906AF-BE1C-4434-946C-0C0A02A0EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f31ab1516f5e6fb20130f4cf571455836dc337","datavalue":{"value":{"entity-type":"item","numeric-id":4760197,"id":"Q4760197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$0963AFAB-E81B-4BA0-A44B-8A497EE49578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d0d619725e78d8d62c35ba51dee2c8d62de95","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1047111$95D36E7E-0FA0-45CA-9CAF-086E0CA7559C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6167494a66a6777b7f91772ebcc1a745806eedf1","datavalue":{"value":"10.1007/S00012-009-0024-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1047111$BD7AB080-FB13-4D73-B6E5-159935CCB95C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb1f6fd08c905b4adca4e3d7ac9acb0d7ad270b","datavalue":{"value":{"entity-type":"item","numeric-id":1013983,"id":"Q1013983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db86c0c46b183817e6b179bb9ec38db4926e396","datavalue":{"value":{"amount":"+0.8192079663276672","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":"Q1047111$C8BB8F4A-FA49-45CF-AD07-B4B012D2AF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a537770ca78e62ce4ed01b2f3d8d6051ea319f","datavalue":{"value":{"entity-type":"item","numeric-id":4986300,"id":"Q4986300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafea316fd9ed9d0f7f1d442bac21bd380ab2f05","datavalue":{"value":{"amount":"+0.8106210827827454","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":"Q1047111$4F2AB27D-1FA2-4126-A042-C24F5A99E1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4931a892196042e2753bf03360c53154d3dbe8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5143994,"id":"Q5143994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479136ef3b65d8ad1035ec9ec69669bb2c41a49b","datavalue":{"value":{"amount":"+0.8037280440330505","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":"Q1047111$068C6BD1-1E3A-48E7-8A33-6A2BF202261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53293092e91145bc9d398e8aa94b172dee6cc7b4","datavalue":{"value":{"entity-type":"item","numeric-id":3502839,"id":"Q3502839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2b982ace6c63a77844f8738d3dd7d55d002f5e","datavalue":{"value":{"amount":"+0.8036581873893738","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":"Q1047111$912FC47D-41BD-4DFF-92F5-6059A664505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ff679b77e9aef029d58ecc0a0626d5c945bc05","datavalue":{"value":{"entity-type":"item","numeric-id":1014259,"id":"Q1014259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926c9fb89d2c552e508cec99ed5e40f5777200af","datavalue":{"value":{"amount":"+0.8011601567268372","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":"Q1047111$3AEC7485-73CE-4A37-88C7-555BFBBBD784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite basis problem for endomorphism semirings of finite semilattices with zero.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_basis_problem_for_endomorphism_semirings_of_finite_semilattices_with_zero."}}}}}