{"entities":{"Q1434257":{"pageid":1444997,"ns":120,"title":"Item:Q1434257","lastrevid":68694003,"modified":"2026-04-13T01:28:53Z","type":"item","id":"Q1434257","labels":{"en":{"language":"en","value":"On bases of identities of finite inverse semigroups with solvable subgroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2078224"}},"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":"Q1434257$23D6296D-007E-4EC5-91B2-C44B7FB2EE00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b380fd3df84f51876b12f3b01740e6c89c63b70f","datavalue":{"value":{"text":"On bases of identities of finite inverse semigroups with solvable subgroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434257$AE6324A3-3410-4CA7-9869-65442691F013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da0466f8c10bd1cab0c717f308c824412af8a317","datavalue":{"value":"1059.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$D35A610F-1223-41BA-84E7-EBE85E16F0F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c0c28a2ca0b4fe3f5ab7a6d2b3ad46907cc034b","datavalue":{"value":{"entity-type":"item","numeric-id":431179,"id":"Q431179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434257$E200E9D6-B8C1-4509-9ACF-529E1F0C8645","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":"Q1434257$021E3F91-A431-48F4-B0F4-5712751D4D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b0cc0c454178eb269ed8458442c6cbfcc4cfa37","datavalue":{"value":{"time":"+2004-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434257$FAA26510-9271-4B19-82B1-B22852FF42B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5315c6b404d3a85c343e5c57a8f5868147594844","datavalue":{"value":"The author studies the finite basis problem for inverse semigroups considered as algebras of type \\(\\langle 2,1\\rangle\\). The study relies on an extension of \\textit{E. I. Klejman}'s techniques [Sib. Mat. Zh. 20, 760-777 (1979; Zbl 0417.20051)] and on the author's profound membership criterion for the inverse semigroup variety generated by the 6-element Brandt monoid \\(B_2^1\\) [Semigroup Forum 43, No. 3, 305-330 (1991; Zbl 0743.20057)]. (It should be mentioned that in the paper under review the author provides several essential corrections to the proof of this criterion.)   As the main result, the author shows that the identities of an inverse semigroup \\(S\\) have no finite basis whenever (1) all chains of idempotents in \\(S\\) are finite and their lengths admit a uniform upper bound; (2) all subgroups of \\(S\\) are solvable and their derived lengths admit a uniform upper bound; (3) the Brandt monoid \\(B_2^1\\) belongs to the inverse semigroup variety generated by \\(S\\) (Theorem~5.1). In particular, a finite inverse semigroup with solvable subgroups has a finite identity basis iff it is a subdirect product of groups and Brandt semigroups (Corollary~5.3). Yet another important application is the fact that the Mal'cev product of the variety of all semilattices by the variety of all solvable groups of derived length at most \\(k\\) has no finite identity basis for all \\(k\\) (Corollary~5.4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$29FA41BB-28C0-4FE2-9B3B-78CACCBA8C50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$638DAF78-78CB-48D8-B69D-81F14A230898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$6C4CD05D-30D0-4720-ADAC-0B100BC516B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ad7d09e55dc1939775bc41c90686b6baf275b4","datavalue":{"value":"2078224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$3408E009-2D7D-44EC-81AC-DFFCE9954740","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ad4489bb8ad8514198b18a1dc2b558878ff9ead","datavalue":{"value":"finite inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$FF778A86-9B68-4913-A090-E41B107371B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e4b623fa2a02b9ad37db191472a99b6cf658bb","datavalue":{"value":"completely semisimple inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$9714BD00-AD42-4A37-9143-BACCA833FC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7da7c1adb7287cd01783e3cd576b4a84682be290","datavalue":{"value":"combinatorial inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$042604E5-2712-4C75-88DB-4A61A6CD33F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec237b303d8d5095cdf23599650fb594d6b1a93","datavalue":{"value":"strict inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$E61AA166-5F28-445B-9D88-1C60A0C73AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$B151B8B6-21C6-42A5-9E43-8B5F6D489972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3979b95def44a15b7d548a30ee4db226936211e","datavalue":{"value":"solvable subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$9BD62F29-3B59-4337-803B-63E7B5E3C058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d121164cd458ad1c2a9809a7ec7024cedc3d5329","datavalue":{"value":"Brandt semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$C64BC362-07D8-4569-B0D0-98F67655F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76414f09234f43ad586449f1c59b04a01df8ec7a","datavalue":{"value":"Brandt monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434257$E1D40FB0-6759-4E4C-85BC-5C39730BB86B","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":"Q1434257$04C94549-8652-4A91-B74C-7C26E2F24435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2e50d6833f758bca485d35ec2c63c44713fa33a","datavalue":{"value":"https://doi.org/10.1007/s00233-001-0005-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434257$8DB067F9-6B71-43C2-B553-338996C9F5CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9561f326a4f31d8c407e945ac32f4fe41871be4b","datavalue":{"value":"W1995068425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$93B85057-70E2-4743-9AC4-AD3AFF35B8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beb1b6cd291768a26ff0e6d99b4e23bd87845e13","datavalue":{"value":"10.1007/S00233-001-0005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434257$F08ABC48-C69A-423C-A608-B90D3720F591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b35ad69302665a3e61d4c2c24a7aef1798bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":467506,"id":"Q467506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2002146d217ff759c0d12dc73bfc9e388a80f829","datavalue":{"value":{"amount":"+0.8183775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$0C87226B-6211-49CD-8C48-16AC33021125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5426f6e0e1ea0995b75c24c6fc309c27525ef","datavalue":{"value":{"entity-type":"item","numeric-id":1408762,"id":"Q1408762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff03b5367719ff59e7949ad8ac22b0289a05dbc","datavalue":{"value":{"amount":"+0.8118024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$1B1602CF-1239-4278-99AD-72C054A29FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509a0c7dd288aaaf01bfd7f3f0d3b70dad4ce736","datavalue":{"value":{"entity-type":"item","numeric-id":4286316,"id":"Q4286316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbb0b523971e7f1c476603db6ecce5d871e9456","datavalue":{"value":{"amount":"+0.7923184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$C4D5CB71-4197-41EA-BCBE-E2B45A2DA204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724c293213ad550f026d9eae42251a82f86c6254","datavalue":{"value":{"entity-type":"item","numeric-id":2036391,"id":"Q2036391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b189424afd27b6dcf99bd28e74021a1b6c26eff4","datavalue":{"value":{"amount":"+0.7841093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$B427A25B-8D11-4997-A52C-6923984EFA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea24a66214cba5acabab392e7496c91160efe3a","datavalue":{"value":{"entity-type":"item","numeric-id":1597728,"id":"Q1597728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca87fe2730065cb656b9a5d27ef8c189c093767","datavalue":{"value":{"amount":"+0.7831092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$FFD1C83C-CE2B-4501-9570-F1F2A5F599E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48591a12fda961c8a72f1142809357b28c5146e9","datavalue":{"value":{"entity-type":"item","numeric-id":2182572,"id":"Q2182572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedc29132e985609529f0cb558dc7f748a81571e","datavalue":{"value":{"amount":"+0.77802783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$22FD1D36-BB14-4A03-9F8D-41E491D155AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79b17bd29181c49d59fb155283c3794f1216215","datavalue":{"value":{"entity-type":"item","numeric-id":2854964,"id":"Q2854964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d2b983dd7fe151d0d11c6ce89bfde62468c0ad","datavalue":{"value":{"amount":"+0.7760539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$4CA65774-4849-407F-8B4D-46C3BEBF98EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52786da162e97c70cafe64bc9199c9376d5740ee","datavalue":{"value":{"entity-type":"item","numeric-id":4039409,"id":"Q4039409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f0fd0c9b79a6300a2f2f76ac64b87effdbd47d","datavalue":{"value":{"amount":"+0.77198535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$FB633F17-FFC8-449B-B2A0-70861C876B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b433f037be81a86b5eac30b25c70d1a1641286d6","datavalue":{"value":{"entity-type":"item","numeric-id":2799600,"id":"Q2799600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686c0f3d3c4edb3c7746f0d3a99056651c041685","datavalue":{"value":{"amount":"+0.7715963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$17BD0C95-62D6-4F15-8DE3-5E03508A83E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0248deb7a27312ffa499fc29a18b55d2bf2f04","datavalue":{"value":{"entity-type":"item","numeric-id":2267781,"id":"Q2267781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f7332a30a385771f2193545a05e3106d3db360","datavalue":{"value":{"amount":"+0.7682222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1434257$0F7A701B-4B29-4099-BE53-090597858040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bases of identities of finite inverse semigroups with solvable subgroups.","badges":[]}}}}}