{"entities":{"Q1345745":{"pageid":1356484,"ns":120,"title":"Item:Q1345745","lastrevid":81170840,"modified":"2026-05-06T17:53:57Z","type":"item","id":"Q1345745","labels":{"en":{"language":"en","value":"Covers for regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733186"}},"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":"Q1345745$ADAA6482-909E-41FE-AD10-5ABE8685E1F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ab8273092d4c522952d353586fe4ee23362af8a","datavalue":{"value":{"text":"Covers for regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1345745$2562D2E5-39E2-4128-80BD-EFFD68F4B0AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3377bfe71a1bdda6ca6895de9389ccd4226181e1","datavalue":{"value":"0828.20061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345745$693DDBD0-6E13-42FB-80B3-F34CB9DC9376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345745$83591260-DB53-4964-899C-4F8CFD4EB3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56ad00f90596a419e6205b89497eac935b74afad","datavalue":{"value":{"entity-type":"item","numeric-id":602364,"id":"Q602364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345745$6E8051B0-CDD4-4469-907A-B32168F2CCBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345745$A53CE264-ED8A-4E34-9645-1A57EF0AE7D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1345745$B1D3811B-244A-4759-9EAC-5F7F59D016A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c71f31284a24d0102fe616d389c497d6a09b6a9f","datavalue":{"value":"D. B. McAlister proved that any inverse semigroup is an idempotent separating homomorphic image of an \\(E\\)-unitary inverse semigroup. This important theorem was extended by K. Takizawa (1979) and by M. Szendrei (1980) to orthodox semigroups. \\textit{J. Almeida, J. Pin} and \\textit{P. Weil} finally proved a general covering theorem for semigroups, whose idempotents form a subsemigroup [Math. Proc. Camb. Philos. Soc. 111, No. 2, 241-253 (1992; Zbl 0751.20042)].   The paper under review indicates how these results can be transferred to the class of all regular semigroups. This is done by replacing the set \\(E_S\\) of all idempotents in the regular semigroup \\(S\\) by the self- conjugate core \\(C(S)\\) defined as the least subsemigroup of \\(S\\) containing \\(E_S\\) and \\(xC(S) x'\\) for all \\(x \\in C(S)\\), \\(x' \\in V(x)\\). The covering theorem then states that every regular semigroup is a \\(C(S)\\)-separating homomorphic image of a \\(C(S)\\)-unitary regular semigroup (a proof of this and related results will be published by the first author in J. Pure Appl. Algebra). In particular, it is shown that any finite regular semigroup \\(S\\) has a finite \\(C(S)\\)-unitary regular cover and also a so- called finite type II-unitary cover.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$124DA8CA-6677-4674-B366-0A6897C392F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345745$6C12CAF3-25DB-4B20-AD93-DBF8B5264D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345745$A2AEB0F1-7D6D-4C0F-ACCB-3E38594AFE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345745$06EDEF0A-4A5A-4903-A41F-7C902EC72596","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"292e2dd71d13d788f0ecff47cb9f73c43600fed6","datavalue":{"value":"733186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345745$48CB48BC-8B1E-4997-BA8D-53E7628390F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0680fe0711ce57b53259f49cca5be13a0ed541","datavalue":{"value":"\\(E\\)-unitary covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$AF11D0BB-EFAD-4ACA-9680-D85724209908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$A84EF828-3BBE-4FD5-B0F7-6381EE305B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa15b1eb1b96580fb48db1237fe0db634adf3e87","datavalue":{"value":"idempotent separating homomorphic images","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$CE59C5B2-E9A8-44B2-BEA4-CEA9D2957062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c456dd16d24ba6e3fe4c1aae504bcec32a099bff","datavalue":{"value":"orthodox semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$F084F5FC-9B36-4C0E-9484-1624B616543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f970bfbe1a09184031f8aba5c26ef5f70d7e552","datavalue":{"value":"covering theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$CDB167F5-0AD8-4244-941E-A2BC2C77A293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$20E54FAA-D065-4FCC-8E70-875AD7885EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$92E2830E-C780-46C3-8995-9DC69F054949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872a762fde22c153692859498e8b53251180bdd4","datavalue":{"value":"self-conjugate core","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$E805E670-0186-47CD-825F-8715C3233C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d0e963dad816f43157210bbfa16fefb8bf23cd","datavalue":{"value":"\\(C(S)\\)-separating homomorphic images","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345745$EF6C900D-BB5E-4F21-A3EA-37133C536A74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345745$9286DDCC-78F7-4149-891B-107EDB0E7709","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":"Q1345745$1B72AD9A-A0FD-4F95-BA7A-871BAF31426D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f08fbb4e6265bd6323512999ba01aa3fbc2a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4407425,"id":"Q4407425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1ae9a17d9a9509116fbdecf55795e2a56561fb","datavalue":{"value":{"amount":"+0.8207073","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":"Q1345745$F87D6931-2083-4FF3-BDBE-EA95983595EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff97da5b079f0f088f90d8cecacfcd10cb4a2dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4435541,"id":"Q4435541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00f1bdab2f80167287da4fe6209e95c6e5a5155","datavalue":{"value":{"amount":"+0.81992227","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":"Q1345745$ADED3780-3A9B-4F9F-B649-9D073240D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac28a2427791a74fe2c281089296257a1ff51a","datavalue":{"value":{"entity-type":"item","numeric-id":4391589,"id":"Q4391589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ce714fe30b32c79e59361f2f7d2bdb9fc0bf30","datavalue":{"value":{"amount":"+0.8073143","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":"Q1345745$C8AA683C-CCDE-40EC-8BC9-6BC8EA414B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48848889488daeabc8a5ea56e50dd3242fa53c0e","datavalue":{"value":{"entity-type":"item","numeric-id":1326524,"id":"Q1326524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0208890b4a55e64cb43389cb0df5498a0a403e3e","datavalue":{"value":{"amount":"+0.80573905","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":"Q1345745$CABD0E12-3DDC-42F7-BD19-4D57BFBA0396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f5765123f5d2c5c3def2fbea958fcffc2991d1","datavalue":{"value":{"entity-type":"item","numeric-id":1910739,"id":"Q1910739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d268036ca01c2357688cfd768c4cafc6f4a96449","datavalue":{"value":{"amount":"+0.8007063","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":"Q1345745$8E6C83CD-B5A9-44FF-B75A-63DC548B5647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3deb1ec270e338908ab280e20494c01cca10508c","datavalue":{"value":{"entity-type":"item","numeric-id":1279808,"id":"Q1279808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cedd5d28beda476fada325224390fa774e4382cb","datavalue":{"value":{"amount":"+0.78884363","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":"Q1345745$9818DDF5-91D9-4F41-BA67-37ECD088A73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab44dddf33f8ec0b16c60bfa9456fe92f35a5ca","datavalue":{"value":{"entity-type":"item","numeric-id":2739047,"id":"Q2739047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c1e5fcb5046258cb2a45fc68da861c3611bf0d","datavalue":{"value":{"amount":"+0.7885666","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":"Q1345745$0772EB12-05B5-4C87-A05C-FDFCEB2C8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7307ad0bd91a527fb255175c2a14d27ab7613a","datavalue":{"value":{"entity-type":"item","numeric-id":4286026,"id":"Q4286026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928098944526a80b892964ce0ad58ae38552078a","datavalue":{"value":{"amount":"+0.77452946","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":"Q1345745$253CBEC3-610D-4C62-B4C3-1C37F9EBB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae74c1db31912040da4294c32826fccd31bcf983","datavalue":{"value":{"entity-type":"item","numeric-id":4941745,"id":"Q4941745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728143821b2943a85b044f4a27b0d5c97d3a9267","datavalue":{"value":{"amount":"+0.77371126","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":"Q1345745$59FA166B-9690-496C-8FC1-448C29CEE4A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covers for regular semigroups","badges":[]}}}}}