{"entities":{"Q1013983":{"pageid":1015831,"ns":120,"title":"Item:Q1013983","lastrevid":69420828,"modified":"2026-04-13T06:53:16Z","type":"item","id":"Q1013983","labels":{"en":{"language":"en","value":"A class of inherently nonfinitely based semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547244"}},"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":"Q1013983$F3876209-C406-4F16-8ABB-E292ADA22B6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2915be2ca005e0da29b53296edb6195ed5d12f","datavalue":{"value":{"text":"A class of inherently nonfinitely based semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013983$BB467A9B-8481-4740-A1D4-84C48A7D14C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35226e9a8c68e1ec246c9c22cc66b88607854217","datavalue":{"value":"1172.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$CE9A8ACC-C252-4553-9E51-7EC1F78F6610","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":"Q1013983$7B8B5AFA-721E-4D39-AC9E-E0435870B3C0","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":"Q1013983$9CEB8FDE-E56C-4415-A37A-618553F267FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d8f72b1020afd83d4654c37051e1faed59ff3b","datavalue":{"value":{"time":"+2009-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013983$FAFCA0B5-65C7-4BB1-860B-CF0EE44D4245","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68fd66fca1f204892624947f8c8199359c7585cb","datavalue":{"value":"A locally finite variety \\(V\\) of general algebras is called inherently nonfinitely based (abbreviated INFB) if any locally finite variety \\(V' \\supseteq V\\) is nonfinitely based, while an algebra \\(A\\) is INFB if \\(V(A)\\) is, the variety generated by \\(A\\). It is known that whenever we find an INFB algebra inside \\(V\\), we can conclude that \\(V\\) is not finitely based.  A semiring is an algebraic structure \\((\\Sigma, +,\\cdot, 0)\\) such that (1) \\((\\Sigma, +, 0)\\) is a commutative monoid, (2) \\((\\Sigma,\\cdot)\\) is a semigroup, and (3) the distributive laws hold. If \\((\\Sigma, +)\\) is a semilattice (i.e., if it is idempotent), then \\(\\Sigma\\) is an additively idempotent semiring (ai-semiring for short).  If \\(\\Sigma\\) is an ai-semiring and \\(X\\) is an alphabet then a quasi-order relation \\(\\preceq_\\Sigma\\) on the free semigroup \\(X^+\\) is defined: for two words \\(u, v \\in X^+\\), \\(u \\preceq v\\) if and only if \\(\\Sigma\\) satisfies the identity \\(u + v = v\\). A word \\(u\\) is minimal (with respect to \\(\\Sigma\\)) if for all words \\(w\\),\\ \\(w \\preceq u\\) implies \\(w \\equiv u\\). A minimal word \\(u\\) such that for all words \\(w\\),\\ \\(u\\preceq w\\) implies \\(u \\equiv w\\), is called isolated. The sequence of Zimin words are defined inductively by \\(Z_1\\equiv x_1\\) and \\(Z_{n+1} \\equiv Z_nx_{n+1}Z_n\\) for all \\(n \\geq 1\\). Let \\({\\mathcal R}_n\\), \\(n\\geq 2\\), denote the semiring of binary relations on an \\(n\\)-element set.  The main results of the paper are the following:  Theorem A. The semiring \\({\\mathcal R}_2\\) is INFB.  Theorem B. Let \\(\\Sigma\\) be an ai-semiring generating a locally finite variety such that all Zimin words are isolated with respect to \\(\\Sigma\\). Then \\(\\Sigma\\) is INFB.  As a matter of fact, in the paper Theorem B is proved and several applications of this result are exhibited. Among other things, Theorem A is proved simply by verifying that all Zimin words are isolated with respect to \\({\\mathcal R}_2\\). Notice that since \\({\\mathcal R}_2\\) obviously embeds into \\({\\mathcal R}_n\\) for each \\(n\\geq 2\\), the latter semirings are INFB, too. In particular, they are nonfinitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013983$4940A856-68FC-432D-9FE4-9F65AB07363C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$56E589D2-14E8-4144-8930-38610B126302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$2A231384-D502-4141-9A5D-7354E5D99919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23a66b8ed398452ba9ca22f4b14a71ae3129dbf","datavalue":{"value":"5547244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$A7B42C39-18B2-42BA-969B-DEB43477CA95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013983$E47C6FCA-27B2-457B-A2C4-465CE7E5B3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013983$81A0E6C4-9F33-4CAE-87C7-C633300F40C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6dee3dd970a5a69e348100d722fa526106677f5","datavalue":{"value":"inherently nonfinitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013983$77D6DC60-3BE5-44DC-B228-7081E9E0D65E","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":"Q1013983$FF4F503F-1EB0-4E92-A9D4-DB0C261EEBCB","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":"Q1013983$23F71961-2BFC-4F24-8E2A-869EAA90494A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecabab8c739f9124476d8b93541e85a11ed9bd78","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2084-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013983$8F107D6A-C940-4387-9FF8-51EDD2AD5804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb7f6f74e80c82490c5a6144a3c0f2add7b5869","datavalue":{"value":"W2052840413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$7B53B607-D766-466C-BCAE-D89D0FBC9EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdea6ba064d203c30dcb86a43f977952e7cc61af","datavalue":{"value":"10.1007/S00012-008-2084-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013983$BFB8913F-8598-464D-8FC1-11358EC453CF","rank":"normal"}],"P1643":[{"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":"cf386b16cbd3f26bdcebaa902df0d20e4aa5aa99","datavalue":{"value":{"amount":"+0.9450912","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":"Q1013983$A0531E9F-A2DA-4608-AFB6-E31912B3A580","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":"cb628ad2cf03695e267718b4ca900b757516835c","datavalue":{"value":{"amount":"+0.9324539","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":"Q1013983$992C05BD-7CC0-4307-8EB7-4A3D5DFE01C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147d9130e164edd59b2dba7e37b279dd234df5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3801785,"id":"Q3801785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1c60d42ac3c83d34e1049d85cc540fb76abba5","datavalue":{"value":{"amount":"+0.93094707","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":"Q1013983$FE31421F-1BE8-4979-9D18-78079BF4BCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef179d62191b487c453c088a19060d2005c8ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3772415,"id":"Q3772415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15003423ff6a983f651467c1be15da7f485d15b4","datavalue":{"value":{"amount":"+0.9055058","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":"Q1013983$A65D6384-B8A1-406B-870D-4AA4400FCF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b37809d682f9868be7decea245659bba47408e8","datavalue":{"value":{"entity-type":"item","numeric-id":3758994,"id":"Q3758994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751e1fc4cebbcb99ab70196303eeaac6d17a3f5c","datavalue":{"value":{"amount":"+0.90015227","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":"Q1013983$E5C7F6AB-C2CB-4112-8CC5-763CE1EC47C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2303e2e3d8f407584a88ba87f48cfb2a5061b4","datavalue":{"value":{"entity-type":"item","numeric-id":4546481,"id":"Q4546481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88491a91c2df102ccb9adbeb115393c150935b9b","datavalue":{"value":{"amount":"+0.900096","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":"Q1013983$A1A499E9-02AF-4C9F-893C-FC7DF91EED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06d1919b184b42b3287117d21ddaef03e050f50","datavalue":{"value":{"entity-type":"item","numeric-id":3644506,"id":"Q3644506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7979d61bad5d30de977be35747b8ef8255f06b4d","datavalue":{"value":{"amount":"+0.8922616","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":"Q1013983$C2B77EBA-9136-4797-A0C0-CC0A9B6EB8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a2d0f48d4322607a37975111e1237b6e82e73b","datavalue":{"value":{"entity-type":"item","numeric-id":1976426,"id":"Q1976426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ab2ade8957fb7749f0fc21e603623515bb9b40","datavalue":{"value":{"amount":"+0.8922338","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":"Q1013983$CDB6A0AB-4425-420E-8725-C254E08FEBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b217d46275c8a6018d1a13747fe6c6031280760","datavalue":{"value":{"entity-type":"item","numeric-id":3524528,"id":"Q3524528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5968f95f84f42828c76d7f453e80445b3d80d0b7","datavalue":{"value":{"amount":"+0.89208364","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":"Q1013983$6CE822D7-CB59-4745-A1D0-203669603D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a172eb778e59a21fc5b28950c026cdd2ef0e91ff","datavalue":{"value":{"entity-type":"item","numeric-id":1882911,"id":"Q1882911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455fb160b40b04e1e1392d0646d653e729527f56","datavalue":{"value":{"amount":"+0.8883657","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":"Q1013983$540D3922-11AB-4639-8CE1-547190485A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of inherently nonfinitely based semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class_of_inherently_nonfinitely_based_semirings"}}}}}