{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T14:56:12Z","timestamp":1774364172572,"version":"3.50.1"},"reference-count":50,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LMS J. Comput. Math."],"published-print":{"date-parts":[[2015]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Two semigroups are <jats:italic>distinct<\/jats:italic> if they are neither isomorphic nor anti-isomorphic. Although there exist\u00a0<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157014000412_inline1\"\/><jats:tex-math>$15\\,973$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>\u00a0pairwise distinct semigroups of order six, only four are known to be non-finitely based. In the present article, the finite basis property of the other <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1461157014000412_inline2\"\/><jats:tex-math>$15\\,969$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>\u00a0distinct semigroups of order six is verified. Since all semigroups of order five or less are finitely based, the four known non-finitely based semigroups of order six are the only examples of minimal order.<\/jats:p>","DOI":"10.1112\/s1461157014000412","type":"journal-article","created":{"date-parts":[[2015,1,27]],"date-time":"2015-01-27T04:15:22Z","timestamp":1422332122000},"page":"1-129","source":"Crossref","is-referenced-by-count":20,"title":["Finite basis problem for semigroups of order six"],"prefix":"10.1112","volume":"18","author":[{"given":"Edmond W. H.","family":"Lee","sequence":"first","affiliation":[]},{"given":"Wen Ting","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2015,1,1]]},"reference":[{"key":"S1461157014000412_r16","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196708004755"},{"key":"S1461157014000412_r35","first-page":"299","article-title":"Some sufficient conditions for hereditarily finitely based varieties of semigroups","volume":"50","author":"Poll\u00e1k","year":"1986","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"S1461157014000412_r29","first-page":"1020","article-title":"The existence in the three-valued logic of a closed class with a finite basis, having no finite complete system of identities","volume":"6","author":"Murski\u012d","year":"1965","journal-title":"Soviet Math. Dokl."},{"key":"S1461157014000412_r28","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10984"},{"key":"S1461157014000412_r33","first-page":"2","article-title":"There are 15973 semigroups of order\u00a06","volume":"2","author":"Plemmons","year":"1967","journal-title":"Math. Alg."},{"key":"S1461157014000412_r19","first-page":"3","article-title":"Minimal non-finitely based monoids","volume":"475","author":"Lee","year":"2011","journal-title":"Dissertationes Math. (Rozprawy Mat.)"},{"key":"S1461157014000412_r24","doi-asserted-by":"publisher","DOI":"10.1007\/BF02218695"},{"key":"S1461157014000412_r25","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1951-0044470-3"},{"key":"S1461157014000412_r14","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-003-0029-5"},{"key":"S1461157014000412_r7","unstructured":"7. A. Distler and J. D. Mitchell , \u2018Smallsemi\u2014a GAP package, version\u00a00.6.2\u2019, 2010, http:\/\/www.gap-system.org\/Packages\/smallsemi.html."},{"key":"S1461157014000412_r40","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70531-7"},{"key":"S1461157014000412_r32","volume-title":"Completely regular semigroups","author":"Petrich","year":"1999"},{"key":"S1461157014000412_r43","doi-asserted-by":"publisher","DOI":"10.1007\/BF02572749"},{"key":"S1461157014000412_r46","first-page":"724","article-title":"Identity transformations in a four-valued logic","volume":"4","author":"Vi\u0161in","year":"1963","journal-title":"Soviet Math. Dokl."},{"key":"S1461157014000412_r49","first-page":"171","article-title":"The finite basis problem for finite semigroups","volume":"53","author":"Volkov","year":"2001","journal-title":"Sci. Math. Jpn."},{"key":"S1461157014000412_r20","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-012-9434-y"},{"key":"S1461157014000412_r11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01195139"},{"key":"S1461157014000412_r2","doi-asserted-by":"publisher","DOI":"10.1070\/SM1975v025n04ABEH002459"},{"key":"S1461157014000412_r17","doi-asserted-by":"publisher","DOI":"10.2478\/s11533-010-0080-x"},{"key":"S1461157014000412_r15","doi-asserted-by":"publisher","DOI":"10.1080\/00927870701328722"},{"key":"S1461157014000412_r10","first-page":"25","article-title":"Varieties of finitely approximable semigroups","volume":"26","author":"Golubov","year":"1982","journal-title":"Soviet Math. (Iz. VUZ)"},{"key":"S1461157014000412_r47","doi-asserted-by":"publisher","DOI":"10.1007\/BF01158553"},{"key":"S1461157014000412_r44","first-page":"128","article-title":"Some finite infinitely basable semigroups","volume":"14","author":"Trahtman","year":"1987","journal-title":"Ural. Gos. Univ. Mat. Zap."},{"key":"S1461157014000412_r18","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9369-z"},{"key":"S1461157014000412_r1","volume-title":"Finite semigroups and universal algebra","author":"Almeida","year":"1994"},{"key":"S1461157014000412_r12","first-page":"813","article-title":"Finite equational bases for semigroups","volume":"17","author":"Karnofsky","year":"1970","journal-title":"Notices Amer. Math. Soc."},{"key":"S1461157014000412_r39","first-page":"1","article-title":"Identities of semigroups","volume":"29","author":"Shevrin","year":"1985","journal-title":"Soviet Math. (Iz. VUZ)"},{"key":"S1461157014000412_r30","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(64)90004-3"},{"key":"S1461157014000412_r41","doi-asserted-by":"publisher","DOI":"10.1007\/BF02572679"},{"key":"S1461157014000412_r5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"S1461157014000412_r23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2011.02.037"},{"key":"S1461157014000412_r42","first-page":"147","article-title":"A basis of identities of the five-element Brandt semigroup","volume":"12","author":"Trahtman","year":"1981","journal-title":"Ural. Gos. Univ. Mat. Zap."},{"key":"S1461157014000412_r21","first-page":"164","volume-title":"Semigroups and formal languages, Proceedings of the International Conference, Lisboa, 2005","author":"Lee","year":"2007"},{"key":"S1461157014000412_r4","first-page":"323","article-title":"Finite basing of identities of four-element semigroups","volume":"20","author":"Bol\u2019bot","year":"1979","journal-title":"Sib. Math.\u00a0J."},{"key":"S1461157014000412_r13","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(73)90025-2"},{"key":"S1461157014000412_r26","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1954-0060482-6"},{"key":"S1461157014000412_r9","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-010-9142-8"},{"key":"S1461157014000412_r38","doi-asserted-by":"publisher","DOI":"10.1070\/IM1988v030n02ABEH001012"},{"key":"S1461157014000412_r45","first-page":"76","volume-title":"Semigroups and their homomorphisms","author":"Trahtman","year":"1991"},{"key":"S1461157014000412_r37","first-page":"107","article-title":"Varieties of orthodox Clifford semigroups","volume":"26","author":"Rasin","year":"1982","journal-title":"Soviet Math. (Iz. VUZ)"},{"key":"S1461157014000412_r36","first-page":"287","author":"Poll\u00e1k","year":"1985"},{"key":"S1461157014000412_r22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196711006169"},{"key":"S1461157014000412_r3","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100013463"},{"key":"S1461157014000412_r6","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-009-9140-y"},{"key":"S1461157014000412_r31","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90058-1"},{"key":"S1461157014000412_r48","first-page":"226","article-title":"\u201cForbidden divisor\u201d characterizations of epigroups with certain properties of group elements","volume":"1166","author":"Volkov","year":"2000","journal-title":"RIMS K\u00f4ky\u00fbroku Bessatsu"},{"key":"S1461157014000412_r50","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972711002541"},{"key":"S1461157014000412_r8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02572537"},{"key":"S1461157014000412_r34","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573585"},{"key":"S1461157014000412_r27","doi-asserted-by":"publisher","DOI":"10.1070\/RM1983v038n02ABEH003478"}],"container-title":["LMS Journal of Computation and Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1461157014000412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T17:00:23Z","timestamp":1555866023000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1461157014000412\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015]]}},"alternative-id":["S1461157014000412"],"URL":"https:\/\/doi.org\/10.1112\/s1461157014000412","relation":{},"ISSN":["1461-1570"],"issn-type":[{"value":"1461-1570","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}