{"entities":{"Q2583585":{"pageid":2594328,"ns":120,"title":"Item:Q2583585","lastrevid":44402964,"modified":"2025-11-22T17:08:21Z","type":"item","id":"Q2583585","labels":{"en":{"language":"en","value":"Comparing the regular and the restricted regular semidirect products."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2248060"}},"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":"Q2583585$9B617B2E-0E9E-42E0-975A-16CE0E8056BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"504ebea8a3937f414bb0bb825f7b30d6420c4dcb","datavalue":{"value":{"text":"Comparing the regular and the restricted regular semidirect products.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2583585$CFA18EB8-C058-414A-BE47-5AE17EEC1A9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3273789fd03efc518f041c356677700c59501834","datavalue":{"value":"1086.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$0B28C695-7AC7-4363-BDEC-E88301A1AEFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ad2678fd55fa4c2c2f21892f089b657041976a","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583585$4C5FC488-74E3-472D-9CF1-42031FEA13BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4680592e77eb41e883036117ce86292621affd5","datavalue":{"value":{"entity-type":"item","numeric-id":250198,"id":"Q250198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583585$280441EA-1925-4288-BEE8-3EF894D75C59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2583585$BDAF3DBC-AD7B-445F-82DA-B4711DF358A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4df1b8b5707fc4a42b8f50fc6476f3b8f097b1e","datavalue":{"value":{"time":"+2006-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2583585$D43318FA-C11B-4C10-8AF6-7625F3B7C484","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a43d7586ba560295314529cf11df21466d24f1b6","datavalue":{"value":"For e-varieties \\(\\mathcal{U,V}\\) of regular semigroups, two important versions of the semidirect product have been considered in the literature: the regular semidirect product \\({\\mathcal U}*_r{\\mathcal V}\\) defined by \\textit{P. R. Jones} and \\textit{P. G. Trotter} [Trans. Am. Math. Soc. 349, No. 11, 4265-4310 (1997; Zbl 0892.20037)] and the restricted regular semidirect product \\({\\mathcal U}*_{rr}{\\mathcal V}\\) introduced by the first author and \\textit{L. Pol\u00e1k} [Acta Sci. Math. 63, No. 3-4, 405-435 (1997; Zbl 0906.20043)]. In general, both these operations are partial but both are defined whenever \\(\\mathcal V\\) is contained in the e-variety \\(\\mathcal{CS}\\) of all completely simple semigroups in which case one has the inclusion \\({\\mathcal U}*_{rr}{\\mathcal V}\\subseteq{\\mathcal U}*_r{\\mathcal V}\\) for any \\(\\mathcal U\\). It was known that even for \\({\\mathcal U}={\\mathcal S}\\), the e-variety of all semilattices, the above inclusion can be strict for some choices of \\({\\mathcal V}\\) while can be equality for some other ones.   The authors show that for each e-variety \\(\\mathcal V\\) which contains all rectangular bands and is properly contained in \\(\\mathcal{CS}\\), the inclusion \\({\\mathcal S}*_{rr}{\\mathcal V}\\subset{\\mathcal S}*_r{\\mathcal V}\\) is strict (Theorem~3.8). On the other hand, under the same restrictions to \\(\\mathcal V\\), they prove, for each integer \\(q>1\\), the strict inclusion \\({\\mathcal S}*_r{\\mathcal V}\\subset{\\mathcal S}*_{rr}({\\mathcal A}_q\\circ{\\mathcal V})\\) where \\({\\mathcal A}_q\\) stands for the variety of all Abelian groups of exponent dividing \\(q\\) and \\(\\circ\\) denotes the Mal'cev product (Corollary~3.12). The authors consider also the e-pseudovariety situation that turns out to be different from the e-variety one, for instance, they present examples showing that no e-pseudovariety analogue of Theorem~3.8 holds. They are able, however, to establish a finitary version of the classical result by \\textit{F. Pastijn} [Trans. Am. Math. Soc. 273, 631-655 (1982; Zbl 0512.20042)]: the (restricted or not) regular semidirect product of the e-pseudovariety of all finite semilattices with the e-pseudovariety of all finite completely simple semigroups coincides with class of all finite locally inverse semigroups (Theorem~4.6).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$B0A9881D-B7CB-42AF-802E-E8C1F1CE85FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$600A1AA5-F6A8-4E4F-BCE9-168E31C8F3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$19E27988-7A88-43B6-9E91-04D123508841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$6B498150-8446-4EB1-BE4D-939A408F827C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31c029ab69ea735c3f94d4fd8b94fc6b555ded00","datavalue":{"value":"2248060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$AB5DC75E-B00F-4EE6-AD8E-50C770EF5784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed5fad014cd8c74f45fad1e640f74169d8cce97","datavalue":{"value":"locally inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$310E89F6-59CF-4103-B599-F35DF289D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$45398A05-5B8B-47DA-99F1-F8FF7F31C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1bb58d82057ed0b2967830689b5b1c44469eea","datavalue":{"value":"e-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$9683B312-8C0F-41AA-A5B7-658D6504B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660bf929d0b4b0848c0c2fa15a1413ff1dbc8023","datavalue":{"value":"e-pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$56EBDF8C-8ABE-482B-A7DC-7EFF1DE16A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa03e34832e180faf0ad2b2be02f4f8321e8ddb7","datavalue":{"value":"restricted regular semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$F405DF4C-587A-493F-BDA4-99D480EF7594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8dc04c7b8a9c20efc0947cbb32e84351b26a1b","datavalue":{"value":"Mal'tsev products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$0A4EA0CD-6F9C-4A6D-8F7C-455FB7E5CC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb9f246d7b2cdf304fb6b2933f052d17264d353","datavalue":{"value":"Pastijn products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$B2D3E158-C22E-48D0-8BD3-8841D08B5E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$5338A4A5-D314-4099-B8A5-32C67702069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0202200db990bf8abc7dff14f2845a3a8a8c59","datavalue":{"value":"rectangular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2583585$2D314354-0C57-4E4D-A0FB-074FB94B9F08","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":"Q2583585$4510F7AF-CA8A-40D3-826D-5AB5594CFA3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2728aeb4c42b933f8a43e66246dc7ad3ac997097","datavalue":{"value":"https://doi.org/10.1007/s00012-004-1846-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2583585$5F742602-9C9E-4BD6-A7DC-7F288076EF4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6751579b9d4142db105e1568855c7197020f8bc","datavalue":{"value":"W2016381161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$CBBE77A0-FCE5-410E-A17C-78FFF6997BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e55b829aa71e9a6890ecd2a0d25931a143b5028c","datavalue":{"value":"10.1007/S00012-004-1846-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2583585$A1BE50CB-C115-4ACC-8DF5-409F83A5C6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29388fc245208da209f3745d4aa5774923108219","datavalue":{"value":{"entity-type":"item","numeric-id":5697523,"id":"Q5697523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952a9ad77483c6a1cf259c177287f0ec88fc355d","datavalue":{"value":{"amount":"+0.8080059","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":"Q2583585$3A79B231-FCD1-4518-9CFD-56342FE25A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92495b7fc0566277403f02ee4d5ba0fcd8bce8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4372609,"id":"Q4372609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d88b39cbab49b598690aac1ac7d5980390ddd16","datavalue":{"value":{"amount":"+0.7851635","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":"Q2583585$CEE91555-4707-4652-ACF1-EEAA45CAE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8975627140f2c502c2307a393131af0398c72548","datavalue":{"value":{"entity-type":"item","numeric-id":1295684,"id":"Q1295684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ae5a3a95530b391802ebaa5e8e86b5e9a43b68","datavalue":{"value":{"amount":"+0.7730676","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":"Q2583585$D332584D-A514-4502-A6DD-7696FF7AB0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670591fcb7a4bb5ae4f2be6bf55492cbc3094264","datavalue":{"value":{"entity-type":"item","numeric-id":4848303,"id":"Q4848303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acaf11acd8bd7b70c0e15c08b1a3a0ad5d0b5bab","datavalue":{"value":{"amount":"+0.7633923","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":"Q2583585$FD915CF5-CEBA-4959-91BF-8FCCA5315AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb2b37dd091d313c66ebcd6be3e54b5cd4055f9","datavalue":{"value":{"entity-type":"item","numeric-id":4231501,"id":"Q4231501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82142eddf28541588b1bdfb002490e72c6db520e","datavalue":{"value":{"amount":"+0.762376","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":"Q2583585$46AA70E4-0971-4713-AD9B-C277A891EA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06f8d254fb36a94aff469c7591939f438032ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4354255,"id":"Q4354255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651552bfe76f536f1107e4c47cbf61878ccec3bd","datavalue":{"value":{"amount":"+0.7538868","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":"Q2583585$340CF2F0-5BE5-4350-8FE8-5AF7D1C399DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d8d7d1ff223f12ff1f02cf8d0f47a4a5f3e0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1365583,"id":"Q1365583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55d5a94ad69a84a1ef9b44a491a9ea0b1bf7072","datavalue":{"value":{"amount":"+0.7530598","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":"Q2583585$2B9FC376-F577-4351-8D72-8E617CCC8EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39365d12ec59c909578ad43354e642d5232bbf39","datavalue":{"value":{"entity-type":"item","numeric-id":1916035,"id":"Q1916035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458cabb454aff63144bb798a1ca5c62149517990","datavalue":{"value":{"amount":"+0.7528898","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":"Q2583585$FC56F254-B4B9-429E-AF44-0E6372F8CCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09c6a1f0b74496f592798fe33d19a9953312135","datavalue":{"value":{"entity-type":"item","numeric-id":4033122,"id":"Q4033122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc4a50cce6007fcc0c0bb28f7199f8ee776b376","datavalue":{"value":{"amount":"+0.7526934","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":"Q2583585$3F729F65-DF00-43C6-BD07-518409035B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cdfdd4eaf504bc781b621975892d6f7b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":4227137,"id":"Q4227137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8760928d06f0792ec2a671199c2e0d0a5503e3e6","datavalue":{"value":{"amount":"+0.7464944","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":"Q2583585$3C35EFB8-8ECB-47CA-97FB-050AFA8D1BAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2583585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2583585"}}}}}