{"entities":{"Q1597728":{"pageid":1608468,"ns":120,"title":"Item:Q1597728","lastrevid":72292533,"modified":"2026-04-14T03:55:44Z","type":"item","id":"Q1597728","labels":{"en":{"language":"en","value":"Small inherently nonfinitely based finite semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1747983"}},"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":"Q1597728$10A0178B-DB9B-4A76-BBE9-65E6C75ADABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d92dffd5e8d0c0b039bbb0c6a29c47b11251d31b","datavalue":{"value":{"text":"Small inherently nonfinitely based finite semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1597728$9F0E2C63-DC77-4472-A966-C99821321B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4af87cdf342ef7a05652d48768fa01ee966da3ec","datavalue":{"value":"1004.20042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$565FB016-6527-4A6F-BBCC-4655128411FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1597728$07C9850A-A1A1-4FFF-A6DE-19685D25F05A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1597728$36B4AF4C-DC09-414D-9248-E9BD15AE577C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f3781b87cca30345c17a97ee9dd536b7bd7d842","datavalue":{"value":{"time":"+2002-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1597728$1B82DB2A-6761-47C1-85D8-7C1FFCD925E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"897132fe84f5a9c373d5fc13d49bbe5ad4563170","datavalue":{"value":"An algebra \\(A\\) (or a variety \\(\\mathcal V\\)) is said to be inherently nonfinitely based if it is locally finite, not finitely based and has the property that every locally finite variety \\({\\mathcal V}'\\) for which \\(A\\in{\\mathcal V}'\\) (or \\({\\mathcal V}\\subseteq{\\mathcal V}'\\), respectively) is also not finitely based. It is shown how to construct all ``forbidden divisors'' for the pseudovariety of not inherently nonfinitely based finite semigroups. Several other results concerning finite semigroups that generate an inherently nonfinitely based variety that is minimal amongst those generated by finite semigroups are obtained along the way. For example, aside the variety generated by the well known six element Brandt monoid \\(B_2^1\\), a variety of this type is necessarily generated by a semigroup with at least 56 elements (all such semigroups with 56 elements are described in the main result).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$18634B0A-4D5C-45DD-A0CE-DDA1AE3326A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$C28FDB66-9217-4F56-8EDA-266EA90AF310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$4DE8A80D-0AC5-4C86-A442-C21EA62764BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$1864692A-347C-406C-B54A-29637AB5D246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b43ecb1c4503a609bfd9d4690b4179107b6ba2","datavalue":{"value":"1747983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$EE2AC0A6-22D4-4297-A4C9-75DCCCB4A91A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$A9E97882-73AD-4AFF-A3BB-CC5815707CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f719d870be743a329b5f96a0e5c572a66b11a19","datavalue":{"value":"locally finite varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$89AEA88B-17B1-42B2-BB05-62C4FC64AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198ec4aa04bb0c5eca5ee765d1eb32f6b03fa12c","datavalue":{"value":"inherently nonfinitely based varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$5A2EB650-E73A-4620-A237-C81BB05D51BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$51DAFDD7-2951-46A7-8635-A171408743BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b454905d96f3e68fc76e79eda240cf9832e14a","datavalue":{"value":"forbidden divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597728$48F25712-47C9-4278-8815-115E9E3F859A","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":"Q1597728$BE013E69-E1DE-418A-AD13-5D490DA569F5","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":"Q1597728$BACAD2C2-D3C0-4A27-A367-0C63E9BDAE2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad6cafabe190055741fde144d3eb24752bf3100a","datavalue":{"value":"https://doi.org/10.1007/s002330010085","type":"string"},"datatype":"url"},"type":"statement","id":"Q1597728$96B4D7B9-2FC2-4C67-AACC-51F01308AED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da74d617483e026d3ecfb8092ebf29b5f35fd29c","datavalue":{"value":"W2020451328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$EAFB2D98-ADF3-4669-ABD7-0F9B92747621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e881442cf3e4452fc2a522191fbfac9b21aa5c","datavalue":{"value":"10.1007/S002330010085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597728$8E7EDB93-2A04-4ED4-B7EF-03159CAD0E34","rank":"normal"}],"P1643":[{"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":"e2f8b1f84f52b2fd67df8ea1ec12300aeca0e756","datavalue":{"value":{"amount":"+0.94590706","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":"Q1597728$FAE748F8-9868-4464-9956-0CEA54C39E41","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":"76477949df5ef9cc1125fd29be107039827dc11b","datavalue":{"value":{"amount":"+0.9297339","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":"Q1597728$E7BD756B-2AC6-425A-B524-4D2CFF77F4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433a67c0e34063f438134798fb43fdfb9134613d","datavalue":{"value":{"entity-type":"item","numeric-id":1939488,"id":"Q1939488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278c4a1eeb7a14ad4ddaa57b14e7b9f2bda245a9","datavalue":{"value":{"amount":"+0.90602136","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":"Q1597728$6DC4EBAD-FFB4-4F5B-AE5E-38B925A86EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265dfa6aa3e205e52be550ce54f88bcc56e11407","datavalue":{"value":{"entity-type":"item","numeric-id":3689384,"id":"Q3689384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685ce4384d12c709c0675e18a3392bf0d45d3f0e","datavalue":{"value":{"amount":"+0.8989622","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":"Q1597728$E1C74FF7-B3AD-4496-A7CA-764E834959D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ab154bfa8e5cee428e29f2ecb1ad1710c6f98","datavalue":{"value":{"entity-type":"item","numeric-id":4498189,"id":"Q4498189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a943492145d864145abb7c2bfbbb08696dfa29c","datavalue":{"value":{"amount":"+0.8962755","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":"Q1597728$54E04599-5F38-4B17-BAA9-ACBAC5722D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d844d4f5def0d92ea784532ec9036ca6a98fb311","datavalue":{"value":{"entity-type":"item","numeric-id":3470648,"id":"Q3470648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93e4eec5cad50e22a381c69920ef4073a3f15e2","datavalue":{"value":{"amount":"+0.88766396","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":"Q1597728$1042C0F5-CA56-458E-92D3-1727391DCEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217c8c720226b7c433696e7985e48d8682c586c3","datavalue":{"value":{"entity-type":"item","numeric-id":5233915,"id":"Q5233915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725e1d64ee7e94eaf62e746786f5cf86a7c327b0","datavalue":{"value":{"amount":"+0.8838766","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":"Q1597728$75057CBA-8C6E-4830-91AA-C7BF260333AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232b06cbdb92c3a41886c877e70282a5ff9dd444","datavalue":{"value":{"entity-type":"item","numeric-id":5204477,"id":"Q5204477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3326bdf0031fa834ed995b6fab6731060a464df","datavalue":{"value":{"amount":"+0.88229084","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":"Q1597728$1CAE8C91-A6C3-47CC-B866-F659BC76627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e24a41c1f0ffd9b3c6fd6c77b2c45933a3793ec","datavalue":{"value":{"entity-type":"item","numeric-id":5412027,"id":"Q5412027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b116832e530a10bc6c8d1b95c01067ba2c50419c","datavalue":{"value":{"amount":"+0.88108015","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":"Q1597728$D2DC4D04-B04E-4F0C-BAEB-63F391643026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a35b22ecdbe8b7a997844cc06ce3ac05d6ee3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1286578,"id":"Q1286578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3da0f3ae1048fa697b3865090ddcc5fd3e2f68","datavalue":{"value":{"amount":"+0.8787442","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":"Q1597728$0D4181D8-E112-4703-A306-5A1FE13CC048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Small inherently nonfinitely based finite semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Small_inherently_nonfinitely_based_finite_semigroups"}}}}}