{"entities":{"Q1910267":{"pageid":1921009,"ns":120,"title":"Item:Q1910267","lastrevid":73398042,"modified":"2026-04-14T15:46:54Z","type":"item","id":"Q1910267","labels":{"en":{"language":"en","value":"Extensions by local groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 862275"}},"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":"Q1910267$8AE2EE15-224F-4C08-9A68-CDCE840D3188","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b355ae50f0c14d42927b701f3685451ad3148800","datavalue":{"value":{"text":"Extensions by local groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1910267$2A67D41D-2819-4908-AE6E-7AC5B2A0AD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0979f5613bd437f9dee89f423adb57f024748226","datavalue":{"value":"0848.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910267$5732E78D-E1BF-42A3-A9F0-BCFA4EABE24A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910267$E17D87A0-5965-4C5A-B51C-80F05DD157A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"517544b7c173eac15f350e8adcc80f748b2ec24d","datavalue":{"value":{"time":"+1996-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1910267$CE1B97F3-554F-40F3-B0BB-32715612652F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67da6e3d24257540eda38029f135b6b53de508b5","datavalue":{"value":"Given pseudovarieties \\(\\mathbf V\\) and \\(\\mathbf W\\) of semigroups, let \\({\\mathbf V}^{-1} {\\mathbf W}\\) be the class of all finite semigroups \\(S\\) for which there is a relational morphism \\(\\tau : S \\to T\\) with \\(T \\in {\\mathbf W}\\) such that, for every subsemigroup \\(U\\) of \\(T\\) which lies in \\(\\mathbf V\\), \\(\\tau^{-1} U\\) also belongs to \\(\\mathbf V\\). For some pseudovarieties \\(\\mathbf V\\), which are called good, it suffices to consider trivial subsemigroups \\(U\\) in the above definition. So, for a good pseudovariety \\(\\mathbf V\\), \\({\\mathbf V}^{-1} {\\mathbf W}\\) is the Mal'cev product of \\(\\mathbf V\\) with \\(\\mathbf W\\). Another possible simplification is obtained when instead of arbitrary relational morphisms, ordinary homomorphisms \\(\\tau\\) suffice in the definition of \\({\\mathbf V}^{-1} {\\mathbf W}\\), in which case if both \\(\\mathbf V\\) and \\(\\mathbf W\\) have decidable membership problems, then so does \\({\\mathbf V}^{-1} {\\mathbf W}\\). The main theorem in the paper under review shows that such a simplification holds when \\(\\mathbf V\\) is the pseudovariety of all finite local groups (which is good) and also gives a basis of pseudoidentities for \\({\\mathbf V}^{-1} {\\mathbf W}\\) whenever such a basis is known for \\(\\mathbf W\\). A generalization of this result is also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$9FD4FB05-4668-4EB9-A4B6-9020154D3E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910267$CE837783-6836-4EA8-95FB-82246D5F530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910267$35DBEA7C-19CA-4318-A900-1FA9F397F91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910267$AA8A8F5D-8AFA-414F-A3E7-FC665E14DE58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc963f455ad77e0ace8ab220f2400637ce99beba","datavalue":{"value":"862275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910267$C7F1421B-6319-45DB-8114-673E0E8A1214","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$79965121-17A8-464B-A5A4-212BDFBCD3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$40F1B46E-91E2-48B1-8931-F1B5BB327A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e3736cb432a0c1c6a66f1a0bac2319ffa93c59f","datavalue":{"value":"Mal'cev product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$C9C16ACE-4290-4DB2-BD54-077FE4E1066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f16b302a536459f17691bcc175448eab0b4d49a3","datavalue":{"value":"relational morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$875A0B10-104F-4DB5-B57A-D26A570BD126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e078bf19e4129ac5c103196e501fc02f8790366","datavalue":{"value":"decidable membership problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$8F6E6D76-0DB0-418D-81B4-330DAF8E5FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be26285e927ead95eea4290f044ee299a961a97","datavalue":{"value":"finite local groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$984E9D06-EE43-42C4-BF8C-66011010A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee1c68e63eb694b4dfe16f045194929ae292afda","datavalue":{"value":"basis of pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910267$42151DDD-523A-41EC-ABD2-0B58C8D120ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa6dfa93c0f98fb266b35ce517f9afc26fbb6b6","datavalue":{"value":{"entity-type":"item","numeric-id":680242,"id":"Q680242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910267$F586ED49-81AF-44B2-9548-A4FF5BD09667","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910267$F00CEAD9-8300-4A6F-8906-F1616746AB5E","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":"Q1910267$AB9213C7-9775-43E3-9CD6-A921D98A1503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7959f3c2fc695f2152e1c89ff85abc429061c84","datavalue":{"value":{"entity-type":"item","numeric-id":4923203,"id":"Q4923203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f34229b1bf84c276539eca9b121820292a35f10","datavalue":{"value":{"amount":"+0.8167012929916382","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":"Q1910267$19D81687-26DF-4F93-96A4-984A47D9550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55f553b111a47bdf76075078231025ae46cde16","datavalue":{"value":{"entity-type":"item","numeric-id":1922482,"id":"Q1922482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74676d43761900bf69c653025c549203cfbc111","datavalue":{"value":{"amount":"+0.8005170822143555","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":"Q1910267$E39198CD-8085-4FE9-9EBF-0FF8559A50E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f489383cc16d1f7cdd5596fa24ad1ececef4d40d","datavalue":{"value":{"entity-type":"item","numeric-id":3561124,"id":"Q3561124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749796e95f15c88ddf3249d06b25850cd4de3ae8","datavalue":{"value":{"amount":"+0.7856067419052124","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":"Q1910267$7EB59253-F5AC-4364-BCC6-02B2538CB26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ee19682f0dcfdc95855879c102ed446b312ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1758216,"id":"Q1758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3edb270955054bd1cba14ee2faee0f9dce187f","datavalue":{"value":{"amount":"+0.7824473977088928","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":"Q1910267$C0F418DA-DF49-45E6-9D50-40F48F641EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4980bff2bd1262bb522ff30e9049d3096b1246c5","datavalue":{"value":{"entity-type":"item","numeric-id":4407433,"id":"Q4407433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f679fd338f6add7a16b40db7a59f2e7e62648d89","datavalue":{"value":{"amount":"+0.7815753221511841","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":"Q1910267$620834DB-C2E1-4DC8-89B8-CB4B2B1C472D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions by local groups","badges":[]}}}}}