{"entities":{"Q2799600":{"pageid":2810338,"ns":120,"title":"Item:Q2799600","lastrevid":52505171,"modified":"2026-01-22T20:12:34Z","type":"item","id":"Q2799600","labels":{"en":{"language":"en","value":"A class of finite semigroups without irredundant bases of identities."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568392"}},"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":"Q2799600$7133FCDA-67F7-479B-AC66-653F575F3A03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8d484e57a006e26f32e9ebd8b68011d420e0e9","datavalue":{"value":"1344.20072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799600$42F7F80B-9781-4C64-B633-BED9D65DCAC6","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":"Q2799600$F19076B2-C4C0-4238-87DB-01593185872E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3a7b3978f3c180b0eca4ce0874ed3437c0432c","datavalue":{"value":{"time":"+2016-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799600$6933D013-05CB-4F79-B377-4E5CB7C5A997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799600$B687D388-E735-4E18-8145-A76CAB94ED42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799600$B09CCBE6-A362-412A-97B8-31E13304F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799600$4729C3F2-D49F-4F23-8E3F-B0958B5D66F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d9fc72ac8628ee37ec50c2feb23c9351932945","datavalue":{"value":"6568392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799600$1E4CB701-0D36-43BB-A1C2-630CF71A5781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$33013139-E102-4C0C-9256-FB38BF4BFC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$5CA5D96C-4ECE-44E2-AE78-6CC82D816C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeaa1a1ea6981946566573aed7f7fc320993171","datavalue":{"value":"finite basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$704DB28E-303F-4173-BAA8-FE14A63300B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97439b855e87c0e8a3c9d055c96be00e1f758cc8","datavalue":{"value":"irredundant bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$27B01EEF-F0FA-4FCA-B7F1-C26963E3B1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57830cf484a11de0b8bbdb546db371c2e4b7cec9","datavalue":{"value":"involution semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$4FD786A0-C9FD-4D91-9EE6-ABD5868ECE01","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":"Q2799600$6F6D748D-79CF-4217-83D4-6C78622D1E93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2a54138ba28952ab830637231757977c52fb56f","datavalue":{"value":{"text":"A class of finite semigroups without irredundant bases of identities.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799600$05EF6EE4-BA2E-4920-9255-B26977DDCD13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed6ad9f5a64a4c4ff10e99fc4c1908e1836c36ef","datavalue":{"value":{"entity-type":"item","numeric-id":6539466,"id":"Q6539466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799600$765CA8C1-E1FC-4DDE-A33A-B20F8A4EE6C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5381da0141a17dfa4befcf931e7d5f80b62abe3b","datavalue":{"value":"Let \\(L=\\langle e,f\\mid e^2=e,\\;f^2=f,\\;efe=0\\rangle\\), one of the four nonisomorphic six-element semigroups that are nonfinitely based (the six-element Brandt monoid being the originally discovered one). It is shown that \\(L\\) has no irredundant basis for the identities it satisfies; in fact, the same is true for its direct product with any finite cyclic group: an explicit irredundant basis of identities is found for each semigroup. (The author [Monatsh. Math. 168, No. 3-4, 461-472 (2012; Zbl 1292.20065)] had previously shown that these semigroups were nonfinitely based.)NEWLINENEWLINE While not the first examples of finite semigroups with this property [\\textit{G. I. Mashevitskij}, Usp. Mat. Nauk 38, No. 2(230), 211-212 (1983; Zbl 0526.20047); translation in Russ. Math. Surv. 38, No. 2, 192-193 (1983)], the author will in two sequels use the particulars to demonstrate various types of behaviour relating the existence or otherwise of an irredundant basis of (unary) identities for a finite unary semigroup with the same property (for `plain' identities) in its semigroup reduct. The relationship in the case of the existence or otherwise of a finite basis has received considerable attention in recent years (e.g. \\textit{K. Auinger, I. Dolinka, M. V. Volkov} [J. Algebra 369, 203-225 (2012; Zbl 1294.20072)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799600$5C128C79-824B-42DD-8717-F9367B8AD64A","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":"Q2799600$848C2018-84C2-43B8-AB55-5459694F45FA","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":"49c2a6c99f3bcba671f181766f8570166b10a0e2","datavalue":{"value":{"amount":"+0.8675273656845093","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":"Q2799600$30B9D84C-5788-4214-9E65-614EAD5F6476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de17530d8b0cace2528771cb09196fe104e76740","datavalue":{"value":{"entity-type":"item","numeric-id":2940602,"id":"Q2940602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d08aeff03bd80232b7feb4b61616f3742262797","datavalue":{"value":{"amount":"+0.866564929485321","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":"Q2799600$28FAF126-09E2-4A66-AB82-738A2D922531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6084247a54ea0b89fddedb901a4384681b0a4b35","datavalue":{"value":{"entity-type":"item","numeric-id":5316303,"id":"Q5316303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530a4e3a9ef57e99a922043cbee2f2e270b2ffc","datavalue":{"value":{"amount":"+0.8616481423377991","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":"Q2799600$73FD0137-0FFF-402F-9708-6DDE51986FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"addbad2eaee8d0b06143b5e6eafed17ed824e8da","datavalue":{"value":{"entity-type":"item","numeric-id":3110931,"id":"Q3110931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edac689e529cf15aa4db7cb60ac86563ade37de1","datavalue":{"value":{"amount":"+0.8418662548065186","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":"Q2799600$50549C3F-6386-472B-9369-81B5CDFF95E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025d08a27e706d76bc8a985ca999ff016971df2b","datavalue":{"value":{"entity-type":"item","numeric-id":280786,"id":"Q280786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2396e94053befb314fa070ce0b1074531723609a","datavalue":{"value":{"amount":"+0.8303576707839966","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":"Q2799600$CBDCE8E5-DAE8-4F61-9B0B-AC7FF427A8A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799600"}}}}}