{"entities":{"Q579421":{"pageid":581188,"ns":120,"title":"Item:Q579421","lastrevid":62930139,"modified":"2026-04-11T09:03:09Z","type":"item","id":"Q579421","labels":{"en":{"language":"en","value":"Inverse semigroups and varieties of finite semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4015010"}},"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":"Q579421$59EFD2AB-4813-4F0A-B549-92E10CF3D558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a81e7fa449077faf1c3be2f2033a494d558114e","datavalue":{"value":{"text":"Inverse semigroups and varieties of finite semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579421$721A7E5B-ED4C-4956-BD1C-3E0DF68FAAEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e64abfa69602a5ff1e43c3826c91c51425e04c29","datavalue":{"value":"0625.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$44E56221-845B-4509-81EC-3CF45DBA26FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4ee251e197a0ada2a6bd8c314b0654a7be6235f","datavalue":{"value":"10.1016/0021-8693(87)90048-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$733CACBE-342E-4C40-BDA9-23D3B2A85129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$3427403F-D8EE-4E2E-8107-A0BABF2EDE26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q579421$D589C78B-39AE-4439-83DD-3F255B469FEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e15cada8fc4642a7aae2780d74a0b48462e68acf","datavalue":{"value":"This third paper of the series of three [see the preceding reviews] is devoted to the study of varieties of finite monoids - classes of (finite) monoids closed under the taking of submonoids, quotients and finite direct products, and in particular the variety Inv generated by finite inverse monoids. The main conjecture, which is shown to be equivalent to a finite version of a conjecture form their first paper, is that Inv equals the variety of all finite monoids whose idempotents from a semilattice. The authors note at the end of the paper that this has been proved to be true by \\textit{C. J. Ash} [J. Aust. Math. Soc., Ser. A 43, 81- 90 (1987)]. Ash has also published an expository paper on the proof of this result [in Semigroups and their applications, Proc. Int. Conf., Chico/Calif. 1986, 13-23 (1987; Zbl 0623.20048)] in which there is also a paper by \\textit{J.-C. Birget, S. Margolis} and \\textit{J. Rhodes} [ibid. 25-35 (1987; Zbl 0622.20052)] in which Ash's result is extended to prove that the variety of finite monoids generated by the orthodox monoids is the variety of finite monoids whose idempotents form a band.    In this paper the authors show that Inv can be generated by four other classes of monoids including the class of all semidirect products of a semilattice by a group. A three-way characterization of the variety of languages corresponding to Inv includes their realization as those languages of the form L or KaL where K and L are group languages and \\(a\\in A\\), the base alphabet. In addition, the variety of all monoids on Inv whose groups are in a given variety of groups can be described by its finite biprefix codes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$D0BB3036-8F77-4D7C-B988-F215025D7204","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$00694AAB-333D-4DFD-A0E7-3477E2B1C75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$87706DF8-A904-4DF9-A111-E5BAC3C6AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$39ACBC9D-CF6C-4F5F-96C9-B12D683BB4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$2D7AF90F-5BA2-4B71-B35D-C9B864139235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$408F9946-80A9-4373-8CEF-67EB697926BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$A8AA5E98-47AE-4993-9F12-1116BF9BFDDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17a70dd1ca190564a1f4ae3ad01449a8cde62447","datavalue":{"value":"4015010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$2B7F2534-53FE-4844-ADEA-B4EA8C691DC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c615f58ef1f2be22261f16469965a672a3a268bb","datavalue":{"value":"varieties of finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$E6EFBC85-4498-49BA-99B0-F946E5732850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d31a35953272166ced4adb7bbf5e0116b032ac","datavalue":{"value":"finite inverse monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$0A27278F-BA94-4537-B936-15FC3267A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$FC60E691-C55B-4F69-BC71-34D5B504A813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863344810ae3061cf2ce3872251fe027eca4e9dd","datavalue":{"value":"orthodox monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$4556626E-EF26-491B-A381-89A744EA55CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa272f7e20d07255d919385199eb668b84320e2","datavalue":{"value":"semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$E6EF6E95-7239-4ACA-910E-CA5A1E2AFB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6155dffb1a19a319a9038de3c5cd448afd586e0","datavalue":{"value":"variety of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$02F2A9E8-991B-4E9C-8ABD-9CECC61637BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6edde35c8563b10353e808e415a0fa151c7d81","datavalue":{"value":"group languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$A75078E2-C3AF-41EF-B1E0-695C10AB1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96db4b9e7955bee5cbc348d373b4a3af36228b08","datavalue":{"value":"variety of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$FF13740E-D67E-4E50-8A89-EA41D934CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fe4ea754c80d37c795faaad0035d9bab6664ce","datavalue":{"value":"finite biprefix codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q579421$73046491-8DE4-4430-BF2E-27A89F9BAFC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49765b9386a0e4b33959826d4b969fa5873a565a","datavalue":{"value":{"entity-type":"item","numeric-id":700387,"id":"Q700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$8716051C-60A6-470A-B909-55A6BA0ADAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6749bcdead989847e012c6d63fa055fe98296ad","datavalue":{"value":{"entity-type":"item","numeric-id":230066,"id":"Q230066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$858C8D13-8F21-4709-A0D7-A5C81BED6DEC","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":"Q579421$45BDC900-6627-4A19-B3CE-4DF59585F719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed38ebe7d75a977fc352dbe73b0836a7a11cc1c3","datavalue":{"value":"https://doi.org/10.1016/0021-8693(87)90048-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q579421$96F8FA48-6521-4487-B8D3-8B151F09DB13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37a773bbf293b40bdc7c10035c82d176684ec3b","datavalue":{"value":"W1992591314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579421$02973FC5-1C80-48C8-8648-31562B35E487","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$2C2B9C1E-6738-4E23-8AA0-32E0EF3B26D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$4E930994-908E-46E3-AFF6-A42D385077FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a29312e7b55c01956d5af7f0f24a90c6187408","datavalue":{"value":{"entity-type":"item","numeric-id":1060022,"id":"Q1060022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$B632FA26-2A0D-4038-A727-DC9BAB34758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b22b056146bc8bfaced54614105cc00fff4bc87","datavalue":{"value":{"entity-type":"item","numeric-id":1845834,"id":"Q1845834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$5B6DC16C-1934-4AB6-9750-E096BB0BD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$777CA3E0-0C3E-4554-B01F-9258F97DA335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892af88069f5df88723f8469039800cf1bb25020","datavalue":{"value":{"entity-type":"item","numeric-id":1165022,"id":"Q1165022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$F7CE436E-8D5C-4FCD-833A-578647426F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ce1179aa73ca69f1bb28ce96a54728027b25be","datavalue":{"value":{"entity-type":"item","numeric-id":1079669,"id":"Q1079669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$BC6C5918-5F0A-4D9D-91B0-1006F51AA6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11733857199c4678a52f71bcfde7db2d3a0b2d79","datavalue":{"value":{"entity-type":"item","numeric-id":579419,"id":"Q579419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$2D3A153C-C13E-4387-A172-C4EC4D950B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d5577b3aad2c5c1a9c1d51215a136e15e3d763","datavalue":{"value":{"entity-type":"item","numeric-id":579420,"id":"Q579420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$3D6FCA17-6BBD-48BD-954A-681FF9FD826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db07d85bde5ce99d5e0a9f47eda27f20bccd172","datavalue":{"value":{"entity-type":"item","numeric-id":3681954,"id":"Q3681954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$2644E933-9DCE-439D-B477-50DADC6986C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4539bad44168fb1ced4389fad4d84feef8348e23","datavalue":{"value":{"entity-type":"item","numeric-id":4125029,"id":"Q4125029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$63668D7A-4655-4E63-8EEA-3F8CF1682A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aef12019bb6fb3bd29cd380801c9cf42fd390d","datavalue":{"value":{"entity-type":"item","numeric-id":1147826,"id":"Q1147826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$53BB8A41-919E-4A2F-8460-A1C14557D074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$F25EBA13-8B71-4236-B44E-705664D6CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f785bc9135cd622f2c55bdc82bfce44c33823d","datavalue":{"value":{"entity-type":"item","numeric-id":5184421,"id":"Q5184421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$28CC4627-0937-4742-8130-88863ED26D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53486f47593ce55c3d400f046ed77b250599eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4740099,"id":"Q4740099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$FBE4C2EF-E274-49B4-B25E-E9C8910D2DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d712afce67335859ecf5b2ecf3bf038245726e","datavalue":{"value":{"entity-type":"item","numeric-id":1144952,"id":"Q1144952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$C11F9FEB-4341-4949-BDCE-018AAE075E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d281e13eadebb9bc2a470ffa03392561e1e742f3","datavalue":{"value":{"entity-type":"item","numeric-id":1173163,"id":"Q1173163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579421$545FF558-6857-41D7-A569-1B9BF6E5C0D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5673dd9674ddf08bacc130557c3bb6de944bfca","datavalue":{"value":{"entity-type":"item","numeric-id":3681954,"id":"Q3681954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7af40cd9c137a6466429e2b04676e2766878be","datavalue":{"value":{"amount":"+0.8432530164718628","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":"Q579421$CA07224E-E1FF-45C2-ACEC-EEE1CC1EF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32358a3a572189dac315c50f16d8221d7d6ada5","datavalue":{"value":{"entity-type":"item","numeric-id":3344147,"id":"Q3344147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64e10d4636c85c5fb515901d0bf02d2b8a04580","datavalue":{"value":{"amount":"+0.7885842323303223","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":"Q579421$AF070C8A-A516-4FC1-896B-4F01F80D45C7","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":"36b51b6f89f130598dc51be6a95844c370314a4c","datavalue":{"value":{"amount":"+0.7725338339805603","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":"Q579421$BAB8601C-7D98-4E47-8882-2B090A6AA6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc7426d9f65fccd56504dc3d18066f5a9a439cf","datavalue":{"value":{"entity-type":"item","numeric-id":5246502,"id":"Q5246502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21f6eda97a9e3adb235dbb718d572fcb67be22b","datavalue":{"value":{"amount":"+0.77104252576828","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":"Q579421$120BE196-58A4-4B0B-A852-9B6F86370F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499841d0e4d08010b78c4750f4f8579bf208e1ba","datavalue":{"value":{"entity-type":"item","numeric-id":1179486,"id":"Q1179486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9331a1f997bf22a2dcdd434927fc95c3803eaa14","datavalue":{"value":{"amount":"+0.7659305930137634","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":"Q579421$473B2848-3017-4D91-8AFA-F83190C97853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverse semigroups and varieties of finite semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverse_semigroups_and_varieties_of_finite_semigroups"}}}}}