{"entities":{"Q2814345":{"pageid":2825083,"ns":120,"title":"Item:Q2814345","lastrevid":52560251,"modified":"2026-01-22T23:29:00Z","type":"item","id":"Q2814345","labels":{"en":{"language":"en","value":"A sufficient condition under which a semigroup is nonfinitely based."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6595985"}},"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":"Q2814345$E7A920A6-1C3F-401E-912A-AA29E4E0F350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cec343946443abc1d46e5f7da4c84694066bb77","datavalue":{"value":"1346.20076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$214AFB15-19ED-49CF-AB0A-2FBBFE8F747E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"226e5fc9583c75438c3570a42bf78dd84443e842","datavalue":{"value":"10.1017/S0004972715001343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$B14B6406-4CFA-4665-849A-5AB89DD46433","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b34985c280ac92a95e78ca54439c7119e4907e7","datavalue":{"value":{"entity-type":"item","numeric-id":2716953,"id":"Q2716953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$8A984C3E-05B3-473C-A9B7-CC12111739A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09eb967c0b32704312f4ea43f6ba9597a7e5145f","datavalue":{"value":{"time":"+2016-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814345$BD43CFEC-9614-45FC-9EF6-5B4A3069AC5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$31EB51F0-CFFD-4756-9E41-7532951A66D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$03B5E03E-73AB-4BE0-A415-F99DA32A614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$FE8BA01F-04A0-4AA6-B9A1-E268B456CF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$AEFC518A-4C2F-4224-820E-F7F7F725B4DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec400569a77c4aee500fd25fbfe7a2e675a2247a","datavalue":{"value":"6595985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$A88CB667-B043-4037-90DB-6F0353AD91D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cf573bbb7b358d900e285a1c6931485dd8c154","datavalue":{"value":"nonfinitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$7666282D-E105-4CC4-A6C2-3BA308C56A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1360c3ce0c7f6eea68c9788427fd1a998fbc48a2","datavalue":{"value":"limit varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$11ADCBB7-8823-4768-9DBA-C7CB3D619912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15a9522fa76ef9de67d9e9ac17c58b3f58c5b1e","datavalue":{"value":"aperiodic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$E97318CE-C073-45A6-B544-C1A483C59B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0811fddd6492faef424fd7567085879af3aa64c6","datavalue":{"value":"finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$4F199765-C55A-4706-82C8-D49FF490B3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe44f8c0b313d423dbdd492c11af84d7a867fced","datavalue":{"value":"varieties of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$1BB5DAE0-F3B7-474B-95F1-582B3ACB3B63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361ec6bbaeccca2bc83bd04836c6bd787c477a60","datavalue":{"value":{"entity-type":"item","numeric-id":895868,"id":"Q895868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$67B35B70-E768-419B-BEE0-1D3531A12E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05cb9f8283990caa51aaae7ca0e146f15d9beff4","datavalue":{"value":{"entity-type":"item","numeric-id":896249,"id":"Q896249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$F6EF463A-77D3-4C87-B4B5-C9AA2F9D0E92","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":"Q2814345$8DFCB466-034D-422B-8F63-063732329B99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbc52f07373c71e582cfbd9e4e57cdfd0a76c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1941751,"id":"Q1941751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$1455E2B4-E6FA-405E-990B-0DF4507C83B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$6AB2BEFD-E56F-4ED3-8A0E-2956CE7D7822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78154e3fabf641a3d7cc2e75a27c47f36e3681c5","datavalue":{"value":{"entity-type":"item","numeric-id":1164159,"id":"Q1164159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$58A48F40-5616-40A0-B8A4-309A893982BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a9b0c2ad0cec0710bf043be88f016a9361e8ee","datavalue":{"value":{"entity-type":"item","numeric-id":691030,"id":"Q691030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$9E02A915-2BF3-43FC-87D1-D6EFB3C09F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f78b1813f5e4b4074e81cb1c203a268dadf5637","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$0FACA0AB-1375-44B7-9D84-9639188954A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa482465e1522d3ca88ea9499941aa00cb4b3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2996847,"id":"Q2996847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$7D72634E-C18E-4474-93EB-8E075CA266C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9f697a37e9cd7ce3c5b2b9f786ae98e5d1c0b0","datavalue":{"value":{"entity-type":"item","numeric-id":1173963,"id":"Q1173963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$76A0F985-B687-4807-806A-0E9DC8826B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e04a8d28a6dd960df04c8b67eccc4acd330dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":5851761,"id":"Q5851761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$34C7F3D0-1EDD-4837-89EA-11E3D4A60126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dc374cddc8595c347a1bc48a00d6e7fdf7afd0","datavalue":{"value":{"entity-type":"item","numeric-id":1118700,"id":"Q1118700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$FE7EDE86-89FE-4539-8C5C-CC38A176F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7648b974e1d30250ede3fdd0cf4367877c9ab57d","datavalue":{"value":{"entity-type":"item","numeric-id":5617763,"id":"Q5617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$1D3C39DB-364A-4E2D-BCC4-8F42928A3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35badcf5e042a9943572211ba8e42b2734c89c9","datavalue":{"value":{"entity-type":"item","numeric-id":2940602,"id":"Q2940602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$F472B100-248A-4726-B0B4-812865BD61A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757cee661acf600c705044282a138a430237c443","datavalue":{"value":{"entity-type":"item","numeric-id":1780019,"id":"Q1780019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$9366C089-46DA-4215-B99D-8157A74F9BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187f248d8745efd95e77c46a6bf423575ee180e8","datavalue":{"value":{"entity-type":"item","numeric-id":1147233,"id":"Q1147233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$4376BCEC-6329-4411-ACCF-A48B0AB8D5DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b40332f0ff5247bd02d4b330d43eef1d7714b47","datavalue":{"value":"https://doi.org/10.1017/s0004972715001343","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814345$946C2D06-EFA4-4B3E-B551-36662BCBA21C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"190a908bf9fb12f758e22e0b395c47e6f576b326","datavalue":{"value":"W2343661185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814345$F1C01B2C-7C10-4591-A784-087F5B4CAC36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c134918abcdbe1c82545b2c73cc1ae907eb0e5ec","datavalue":{"value":{"text":"A sufficient condition under which a semigroup is nonfinitely based.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814345$A6DCC60A-230B-41CB-9805-282657DB3715","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60066e97ceeb271cd9104cada67704809cd63c91","datavalue":{"value":"A variety of algebras is a limit variety if it is minimal with respect to being non-finitely based. Since it appears to be hopeless to describe all limit varieties of groups it is reasonable, in the context of varieties of monoids, to focus on the aperiodic varieties: those consisting of monoids with no nontrivial subgroups. \\textit{M. Jackson} [Semigroup Forum 70, No. 2, 159-187 (2005; Zbl 1073.20052)] constructed two concrete examples \\(\\mathbf{J_1}\\) and \\(\\mathbf{J_2}\\). It can be inferred from the work of the first author [Semigroup Forum 86, No. 1, 212-220 (2013; Zbl 1273.20062)] that further examples must exist.NEWLINENEWLINE The goal of the paper under review is to show that a specific monoid -- the product of a certain seven-element aperiodic monoid \\(A^1\\) with its dual -- is not finitely based. In a sequel [``A new example of a limit variety of aperiodic monoids''], the variety it generates will be shown to be a limit variety. The nonfinite basis property is achieved by application of the result stated in the title. The condition states, for any given integer \\(n\\geq 2\\), that a certain infinite set of identities should be satisfied, but each member of a further finite set of identities must not be satisfied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814345$FAB801B9-BFA7-435C-A49A-8A67C311113B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814345$2B28DB02-45A4-4D3A-8614-E2D283A9F052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e698eebe609c04a23e9bce52e7da1914fb18c7","datavalue":{"value":{"entity-type":"item","numeric-id":691030,"id":"Q691030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc397c35ce4d51f4ad6d6d7fc410f5d6c4679ea5","datavalue":{"value":{"amount":"+0.8749369978904724","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":"Q2814345$CCF24C78-6CA2-4CF1-94F1-F86BDDB3435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9989a7fc1eea1f3a10df447be0d01026b6506d0","datavalue":{"value":{"entity-type":"item","numeric-id":583378,"id":"Q583378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef501df289bc7a01cf36ff6c62193c48e06c7ab7","datavalue":{"value":{"amount":"+0.8464995622634888","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":"Q2814345$75B97353-FB5E-4ADA-9AA3-59E87827547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f8b495721fce8ed6bc4702a55a0c86a862e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":744847,"id":"Q744847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b7e27620510d9e94ad0e9838a2426795e9fdae","datavalue":{"value":{"amount":"+0.8384538292884827","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":"Q2814345$EF1EF8FE-0331-4607-9A4D-8A68965AE79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14662420a6ab173c0493503670ab23d5cf7dd53","datavalue":{"value":{"entity-type":"item","numeric-id":5384349,"id":"Q5384349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595df0bc1b5c8eb5a769bece01a8401e680e9cb2","datavalue":{"value":{"amount":"+0.8149241805076599","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":"Q2814345$F0C14077-1653-4693-8318-961E09DED5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d1e7bbf9d2502d29380a149adcd93f7b2543ca","datavalue":{"value":{"entity-type":"item","numeric-id":1118700,"id":"Q1118700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e529585808ff6997a32e1b3f4c529bcd7a49d97","datavalue":{"value":{"amount":"+0.8059772253036499","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":"Q2814345$B29F1EAD-32D7-456A-AE83-21D33AEFD69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814345"}}}}}