{"entities":{"Q2786994":{"pageid":2797732,"ns":120,"title":"Item:Q2786994","lastrevid":52463384,"modified":"2026-01-22T17:20:12Z","type":"item","id":"Q2786994","labels":{"en":{"language":"en","value":"The variety generated by all monoids of order four is finitely based."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545150"}},"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":"Q2786994$1170A441-4D25-4196-833F-CFBEE6CF3786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c467b0fdad69759277941856709369db6f77d100","datavalue":{"value":"1341.20058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786994$41E53923-7E69-4931-ABB0-9C248513F9B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebcad4e01ddbdedb9fe3356fbbed98a9a4465d6","datavalue":{"value":{"entity-type":"item","numeric-id":280785,"id":"Q280785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786994$ECDB9315-0A68-42FF-ADF3-A8E50C2E0188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"003793b15cb0284e590e37371bc07efe2886367a","datavalue":{"value":{"entity-type":"item","numeric-id":312575,"id":"Q312575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786994$1AD419E2-9B46-4BAD-8ED5-CB414D445A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ee83fd17f994f1e5a7e9f8f398ed5234d03043a","datavalue":{"value":{"time":"+2016-02-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":"Q2786994$0427E3C6-38E8-48D4-A249-FCAA7F6B9371","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13e8e4c0549465f276df341a4642e506d6f1dfd2","datavalue":{"value":"http://hrcak.srce.hr/file/221076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786994$C7C44219-9703-4609-9DF2-65C6D0BC97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0e4a3ed57fa7a403e2d868f9ee19d3209b153b3","datavalue":{"value":"http://web.math.pmf.unizg.hr/glasnik/vol_50/no2_08.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786994$6CDAC036-4C63-40D1-8214-38129AC98884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786994$B3E8A720-6497-44B6-BF46-93028A0A8289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30ee6d5a7dfced9c63477cc13a725521ce049f9a","datavalue":{"value":"6545150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786994$E0DCF3BE-6750-4226-8791-BC484B59DE61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c615f58ef1f2be22261f16469965a672a3a268bb","datavalue":{"value":"varieties of finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$A2B462F3-4E82-4818-826F-F286ADA16545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b193e4499519ccce187bcd3ec3cd5522155ae71b","datavalue":{"value":"inherently finitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$C151A8A3-A440-4E6D-B370-8A3791809003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbd427f33d33850cc732ffb8c8b7aeb949e6e51","datavalue":{"value":"varieties of finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$43A2633B-17AD-4298-92B2-4A244F6D5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$896914C8-0874-4762-A2C0-814FA426ED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$76B5C89B-4D73-4173-B747-E655F121DB18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdc5077d83bf14af67ad491719dfc2b3adb1aae9","datavalue":{"value":{"entity-type":"item","numeric-id":19742,"id":"Q19742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786994$35E073D8-46C4-4673-B148-C2AFEA7A03CB","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":"Q2786994$F9578458-552C-4339-82BE-BF1BCE2823DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"009ce04b25222ff55735020bf9d17444ff049712","datavalue":{"value":"W2282520058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786994$BB2BADF7-5780-4420-8C07-37E52FB59470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d7a58359cbe09ba6f0e651e1268b061f2eed817","datavalue":{"value":"10.3336/GM.50.2.08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786994$6926C270-3EB4-48D2-A298-96F8124E6B36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6d8b880d706b62c4178cdb9b1710ff3c175cf9f","datavalue":{"value":{"text":"The variety generated by all monoids of order four is finitely based.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786994$6674E31F-C04D-4154-98B5-C60C96B0F6D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a25333fb5c4b6960ddd45070b41c82eb104af733","datavalue":{"value":{"entity-type":"item","numeric-id":6591275,"id":"Q6591275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786994$6F7945A6-6C38-4AEC-AF78-D3ABB6A27382","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a6919c48934a280b957c0095397779ec0728441","datavalue":{"value":"The authors prove the theorem stated in the title by exhibiting an explicit basis. Let \\(\\mathbf{M_n}\\) denote the variety of monoids generated by all monoids of order \\(n\\). The ubiquitous six-element Brandt monoid shows that \\(\\mathbf{M_n}\\) is not finitely based for \\(n\\geq 6\\). In conjunction with the work of \\textit{Y. Luo} and \\textit{W. Zhang} [J. Algebra 334, No. 1, 1-30 (2011; Zbl 1243.20071)], the authors' theorem leaves only the basis property for \\(\\mathbf{M_5}\\) to be decided. They provide evidence to suggest that, again, an explicit basis will be needed, if the variety is indeed finitely based. (If \\(\\mathbf{S_n}\\) denotes the analogous variety of semigroups, the case is closed, as a result of the work of the first author, \\textit{Y. Luo} and \\textit{W. Zhang} [Algebra Univers. 73, No. 3-4, 225-248 (2015; Zbl 1328.20076)]: \\(\\mathbf{S_n}\\) is finitely based if and only if \\(n\\leq 4\\).)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786994$C74D866C-14B3-4CB6-AA12-303C677ED0A4","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":"Q2786994$A64AC579-4380-4C47-8201-431A03F1BD96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c9cb383caf2c7b992680234627be8536afea4d","datavalue":{"value":{"entity-type":"item","numeric-id":5872642,"id":"Q5872642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bc97ebf4451d85cfbd95c5b2d1a5a91a7ed32a","datavalue":{"value":{"amount":"+0.9064019322395324","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":"Q2786994$0921AD7C-F59B-45BF-9506-D9B40739AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69270a66f1c452b623899ede96388887274b635","datavalue":{"value":{"entity-type":"item","numeric-id":3103755,"id":"Q3103755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86f7b80c878571fd64d8d20849e97a136e61780","datavalue":{"value":{"amount":"+0.8977758884429932","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":"Q2786994$C3D087EE-7996-4BB2-BA2D-C08CA4D7C77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d595e66a450247bd62e239ce3283b9424ca704fc","datavalue":{"value":{"entity-type":"item","numeric-id":2351505,"id":"Q2351505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20879bbcc9f968f248be0a074c0c6faa8fbe5dd2","datavalue":{"value":{"amount":"+0.8506239056587219","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":"Q2786994$8ECFED48-9307-46C0-9DBB-735F1214B5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3796a0f8e977e4eca38d56e243ed64681c5ad108","datavalue":{"value":{"entity-type":"item","numeric-id":4909918,"id":"Q4909918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf98e116e1361e30eb0b2e7630b1dda87e2a5c2","datavalue":{"value":{"amount":"+0.836123526096344","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":"Q2786994$C37EE2CA-22B4-4FAE-A978-504368BCFCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ba7f568dd529a5ea1baf44753d8f2dd9c56ac","datavalue":{"value":{"entity-type":"item","numeric-id":632275,"id":"Q632275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad099c790d6404f2b1c479a0aaaea26e0ddd423","datavalue":{"value":{"amount":"+0.822003185749054","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":"Q2786994$25342074-40E6-4B50-8365-02D141E3F17A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2786994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2786994"}}}}}