{"entities":{"Q1922482":{"pageid":1933224,"ns":120,"title":"Item:Q1922482","lastrevid":47411485,"modified":"2026-01-01T16:22:53Z","type":"item","id":"Q1922482","labels":{"en":{"language":"en","value":"Profinite semigroups, Mal'cev products, and identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922324"}},"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":"Q1922482$48617392-36DB-4C6B-B4BD-25CCFB264564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f25d1f4400fe265e8bd04624d2897a19f8cbcacf","datavalue":{"value":{"text":"Profinite semigroups, Mal'cev products, and identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922482$4EE8612B-CD61-4EDD-B0A8-19D95DD5B4A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b74e3de4efc3e468aa5b1372bca22ef6712d60e","datavalue":{"value":"0857.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$DD05F88F-5E13-48D0-8354-EDB10723CFD4","rank":"normal"}],"P16":[{"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":"Q1922482$E55B28F6-BEAE-4493-BE12-61B57924A7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922482$7BB5856D-98E9-4547-81BC-1288676EA860","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":"Q1922482$5C60A8B0-D203-44BB-AB3D-78D7EFECED35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d551ab41395161b64b27c63c28655a09a8eb2ff6","datavalue":{"value":{"time":"+1997-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922482$D3E59FFE-FF6A-4F81-8589-FB2ADD3DF40E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0657a96962b6f56304f383a495ffc21edd466d9","datavalue":{"value":"https://semanticscholar.org/paper/483c19ca7da56369728649f28b13608201522dde","type":"string"},"datatype":"url"},"type":"statement","id":"Q1922482$47B26062-5128-4664-80BF-904CDB27973F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33ddef29035aa9710e6d0d72ed725d01398b40e3","datavalue":{"value":"The Mal'cev product \\({\\mathbf V}\\circ{\\mathbf W}\\) of two pseudovarieties \\({\\mathbf V}\\) and \\({\\mathbf W}\\) of (ordered) semigroups is defined to be the pseudovariety consisting of all finite semigroups \\(S\\) such that there is a relational morphism \\(\\varphi: S\\to T\\) with \\(T\\in{\\mathbf W}\\) and, for every idempotent \\(e\\) in \\(T\\), \\(e\\varphi^{-1}\\in{\\mathbf V}\\). Let \\(\\widehat F_A({\\mathbf V})\\) denote the free pro-\\({\\mathbf V}\\) semigroup on the (pro)finite set \\(A\\), \\({\\mathbf S}\\) the pseudovariety of all finite semigroups, and \\(\\pi:\\widehat F_A({\\mathbf S})\\to\\widehat F_A({\\mathbf W})\\) the canonical projection. Through a compactness argument, the authors show that a finite semigroup \\(S\\) lies in \\({\\mathbf V}\\circ{\\mathbf W}\\) if and only if, for every (equivalently, for some) onto continuous homomorphism \\(\\sigma:\\widehat F_A({\\mathbf S})\\to{\\mathbf S}\\) and for every idempotent \\(e\\) in \\(\\widehat F_A({\\mathbf W})\\), \\(e(\\pi^{-1}\\sigma)\\in{\\mathbf V}\\). (A similar argument also leads to a characterization of \\({\\mathbf W}\\)-pointlike subsets of \\(S\\) in terms of the relational morphism \\(\\sigma^{-1}\\pi\\).) This allows them to obtain a general theorem describing a basis of (pseudo)identities for \\({\\mathbf V}\\circ{\\mathbf W}\\) by substituting for all variables in each identity in a given basis for \\({\\mathbf V}\\) elements of \\(\\widehat F_A({\\mathbf S})\\) having all the same idempotent image under \\(\\pi\\). As examples of applications, bases of identities are given for specific Mal'cev products and the decidability of \\({\\mathbf V}\\circ{\\mathbf J}_1\\), \\({\\mathbf V}\\circ{\\mathbf N}{\\mathbf i}{\\mathbf l}\\) and \\({\\mathbf V}\\circ{\\mathbf J}\\) is established when \\({\\mathbf V}\\) is decidable, where \\({\\mathbf J}_1\\), \\({\\mathbf N}{\\mathbf i}{\\mathbf l}\\) and \\({\\mathbf J}\\) are, respectively, the pseudovarieties of all finite idempotent and commutative semigroups, nilpotent semigroups, and \\({\\mathcal J}\\)-trivial semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$1C2F38F5-8DE4-42C6-BE3B-08D11F4EB251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$73ED68FA-A0FD-47A9-93E0-08BC5F986C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$BBDE9FB0-E744-458A-B34D-EE647A5F79A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$EFB19490-FB14-4A93-87B8-86AA6418EC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$512D36AE-D811-4266-B30F-BDDE84B5A4B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b15e9bd9d6e998eeb6513eb2240b0b6a6998869","datavalue":{"value":"922324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$E89116CE-2912-44C5-B4C8-EE2C8B7425CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fc2b6f2debfde210f96bb45a876c2a4dbf7b80","datavalue":{"value":"ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$476F76BC-EC39-417F-84FE-84DE68DD8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b42f215c767e26acd90421573f88e41385c6b4","datavalue":{"value":"pseudo-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$874CE944-16BF-4677-BB67-48E8A122724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6e53cd633352deaa8aed997db776b0b0d7bf7e","datavalue":{"value":"pointlike subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$E20BF500-A596-4091-B183-3B8652A6C67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$F8A1B0EB-ACDE-4028-AE88-F91C0011DA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f990d622313cd3bf928933ec5c145f5519b73b0","datavalue":{"value":"free pro-\\({\\mathbf V}\\) semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$18873306-B9D6-4E42-8827-C5DE66AD8918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$D46C30C6-31DF-4FFE-B65B-CEBDFEFD425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$B16E966C-8ECC-4D7D-BC87-906D1E0A1DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb762d1ea7877089c13bef3068a60d0c553f9af","datavalue":{"value":"Mal'cev products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$19A426B1-3152-4A2D-A7F8-F4F5A4964BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$AD149BAB-6097-48C4-B5E8-ED7B2743EBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6095a683b4a79232d5a50824d8d9dffcc4700b27","datavalue":{"value":"commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$37300648-24C7-437E-B44E-5EE31D7A3A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281171dc9a16fbbe8af8167c835ddb4a7d91fd41","datavalue":{"value":"nilpotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$7293EBE2-657B-433F-A0ED-A60034056A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512391acbffa025f6ea119297371fed44ebd3b4c","datavalue":{"value":"\\({\\mathcal J}\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922482$5DE8B903-D17C-4148-B536-E46A835065FA","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":"Q1922482$2BBD3687-45D0-4283-9369-4C12A011F843","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":"Q1922482$8DFB9A1C-2C04-484A-B0DC-2110D72DD103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84ba4f8cb2807f0e2a32f1f8816e4157273e2648","datavalue":{"value":"W2004986871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$353867B4-8F40-4CDC-8CD7-B6B7860569C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18b16b5de0206ac544443cddd41492ebea5eb62a","datavalue":{"value":"10.1006/JABR.1996.0192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922482$B1FA5EC2-90C3-41B1-8D72-07FCAD3B20AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4220eb1d8490bb7e6b6a43ae2e255b3a0daa7cf8","datavalue":{"value":{"entity-type":"item","numeric-id":716398,"id":"Q716398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a50aeee8cd58368487981471ff221d7576019e6","datavalue":{"value":{"amount":"+0.8433406949043274","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":"Q1922482$C71F0AFB-0DC0-49D8-972A-884DF4815DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d641296c6e05fa0d1ea6c735097144f141e6a66","datavalue":{"value":{"entity-type":"item","numeric-id":4474460,"id":"Q4474460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d8f79fe0a09ad54fca9a35767f4d36b9cf45a5","datavalue":{"value":{"amount":"+0.8031224608421326","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":"Q1922482$88271907-94EA-4015-971D-334D04635374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a76e475a5804f9ef8d51d7663ad5b4f2d3db8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1910267,"id":"Q1910267"},"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":"Q1922482$6530D03D-CFEC-40AD-B761-02EAC82F3A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a86e66ac391fff35db9e202086837d278d20717","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56a47592ba52d4382b45eba7ff441e4e49c9596","datavalue":{"value":{"amount":"+0.7942979335784912","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":"Q1922482$7095CF4C-2C5D-47C9-A7E0-DABA34EA8E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb3303e7bde233350169ca009487086e44a1f73","datavalue":{"value":{"entity-type":"item","numeric-id":3754190,"id":"Q3754190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56a47592ba52d4382b45eba7ff441e4e49c9596","datavalue":{"value":{"amount":"+0.7942979335784912","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":"Q1922482$A3D50F1E-CFA0-4100-B5DF-7B3A4762BF3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1922482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1922482"}}}}}