{"entities":{"Q1084512":{"pageid":1095264,"ns":120,"title":"Item:Q1084512","lastrevid":69600858,"modified":"2026-04-13T08:07:28Z","type":"item","id":"Q1084512","labels":{"en":{"language":"en","value":"On regular semigroups. II: An embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3979374"}},"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":"Q1084512$36114CB2-0BC5-45D2-945B-A0EE57918597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"633e3858b57fe9c1c29abafedbeb70553d801532","datavalue":{"value":{"text":"On regular semigroups. II: An embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084512$349CB6C8-8FA8-4767-895B-E5512768CCE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74dfc61f271870cf3972e574c26c485b9113d64c","datavalue":{"value":"0606.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084512$B7FD9572-5708-44C2-AD58-EDEA715B9849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e285758b89660d40b7789a8fbe441682d6c1d9e","datavalue":{"value":"10.1016/0022-4049(86)90042-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084512$38042C6E-DB06-4852-B728-F3B4A823B582","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$E1D5641D-8A17-456C-8D30-7B8B996C63A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$B7710E40-4B5E-47B2-A473-3DB23E12940D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1084512$516DD25A-DFE2-45E2-8E99-40D8606EEB08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c73fbc2ffb75a5f168232377313c1f2d721c7ef","datavalue":{"value":"The core (a word suggested by Mario Petrich) of any regular semigroup S is the subsemigroup of S generated by E(S), where E(S) is the set of idempotents of S. For each \\(e\\in E(S)\\) by \\(\\prec e\\succ\\) is denoted the core of the regular subsemigroup eSe.    The main result is the following Theorem I. Any regular semigroup S is embeddable in a regular semigroup T such that (i) S is full in T, that is, \\(E(S)=E(T)\\), and (ii) for all idempotents e,f\\(\\in S\\), we have e\\({\\mathcal D}f\\) in T if (and only if) \\(\\prec e\\succ\\) is isomorphic to \\(\\prec f\\succ\\). Moreover, T can be taken such that further, for all e,f\\(\\in E(S)\\) with \\(\\prec e\\succ\\) isomorphic to \\(\\prec f\\succ\\), each isomorphism from \\(\\prec e\\succ\\) onto \\(\\prec f\\succ\\) is the restriction to \\(\\prec e\\succ\\) of some inner partial automorphism of T with domain eTe and range fTf. If S is finite, then T can be taken to be finite also.    This theorem answers affirmatively Question H3 of the Proceedings of the 1979 DeKalb Conference (1979; Zbl 0446.20034). For inverse semigroups the result is due to \\textit{N. R. Reilly} [J. Aust. Math. Soc., Ser. A 23, 28- 41 (1977; Zbl 0365.20071)]. Theorem I enables the author to solve seven problems of the form ''characterize the idempotent-generated subsemigroups of bisimple regular semigroups'' posed in a previous paper of the author [Part I, J. Algebra 24, 1-24 (1973; Zbl 0262.20074)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$3672985B-6816-4F5E-B774-1C5389BD8C91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084512$843FF0AB-2205-48E0-BF01-07C641BF6F82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac83f69ec32ee59eae5eab3db766f7c53b03f79a","datavalue":{"value":"3979374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084512$4CD8A792-BCBD-436C-AC02-62141FB2ECFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274d092672a414a51cbf1f9c6392a720be1e7927","datavalue":{"value":"core","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$744BC659-CB10-44E8-9580-E6A30463911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$8740EFFC-EA11-45A9-84C6-FBB1C039FACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$A3FAC8A0-80C1-4684-A6D1-814749636026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e82becb927bef5cf0e01324d4402fd5aa7b4396","datavalue":{"value":"inner partial automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$FD2EEB9E-EF6A-430B-A970-D02D4150F014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d149e3b5fed450ef5c973ba6a18d10e2926575a0","datavalue":{"value":"idempotent-generated subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$60E146C1-B8EA-4944-A3B3-FD985183D22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2c3c0c101a290ff770888d685e98c2de376b56","datavalue":{"value":"bisimple regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084512$B2EB4EB7-7B66-4893-9815-082381B212FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a066249482762766d1fa9fadef0b74f57645a4d6","datavalue":{"value":{"entity-type":"item","numeric-id":593749,"id":"Q593749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$38D7467C-1B2E-4098-BBC0-437D27848969","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":"Q1084512$8E42A2B2-FB6D-4493-B45B-46E5949532C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a18c2f049aaba787739608a16f7a93906716d900","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90042-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1084512$A1372E89-FEE2-4648-BAC8-9CBC60412B44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b6a94affcd3633054489e919471ba24fc569a19","datavalue":{"value":"W2045368084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084512$3CF61855-040E-4D06-9E74-D95593239B72","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":"Q1084512$440160F3-5433-4EE5-95F7-E64B7824A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaf77e32bd90d60621ba2981d987ddb85c56219","datavalue":{"value":{"entity-type":"item","numeric-id":5655578,"id":"Q5655578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$2FEDB44B-4D74-4DD8-A166-CA5D45EE9AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94ad15e9814ec16bfebfd540f51e6dbc3fe95d9","datavalue":{"value":{"entity-type":"item","numeric-id":2547965,"id":"Q2547965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$C6388201-D42A-4C39-8084-3F8F2D175B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8acf95012a2b79ce6775ee703f185f112c067","datavalue":{"value":{"entity-type":"item","numeric-id":5673101,"id":"Q5673101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$901935E4-F98B-468E-8404-BA54A01A84C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ea144f0efa674fff3a16b3eeac9e8778aefc0","datavalue":{"value":{"entity-type":"item","numeric-id":5677704,"id":"Q5677704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$57739A50-F8E9-4AB0-9FA3-4953E43F0B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2568387e8a51ba2ead403de0de66af2c3ee38092","datavalue":{"value":{"entity-type":"item","numeric-id":2560900,"id":"Q2560900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$7FA11410-B3BF-4AB5-A847-00D2ABFD83B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b3e6cfa95a970d93b6657ae872883bb51d4123","datavalue":{"value":{"entity-type":"item","numeric-id":4185047,"id":"Q4185047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$2675A44F-123D-4AEC-9A4F-C4473C122668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989fc6b9f1a9ff2913336309341a650e60ae01c4","datavalue":{"value":{"entity-type":"item","numeric-id":5510801,"id":"Q5510801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$011D3AE8-0668-4DB0-BF63-2AF1600732A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7fb248243d49ec17a5cef161c9577b3e436661","datavalue":{"value":{"entity-type":"item","numeric-id":5560314,"id":"Q5560314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$0FB4B7DA-2B7D-4521-A6CC-06F167F6133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$3715220C-7506-4043-BB4D-8D62CDC14A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642beef80e0d677eed4340b327f16cbdedcb5952","datavalue":{"value":{"entity-type":"item","numeric-id":3929783,"id":"Q3929783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$5D1E1595-2AB1-410A-B185-0832F2B52771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef7c756ddf1ebbd75ac9200ade4db916d188aea","datavalue":{"value":{"entity-type":"item","numeric-id":3663529,"id":"Q3663529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$5D1119DB-9476-4659-8F75-2A308F8CBAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56295e1d201501d2747f4ec37925e5a2eec9f65c","datavalue":{"value":{"entity-type":"item","numeric-id":5524420,"id":"Q5524420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$151617E9-AB41-4677-B50A-B130098694CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa1d72413a1b84a5d4b86f6c3faed6a835cc16cb","datavalue":{"value":{"entity-type":"item","numeric-id":5540491,"id":"Q5540491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$27D318AB-F088-46B2-A0A0-270023805E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a3603328fee72750c8328c3f2480eef936b140","datavalue":{"value":{"entity-type":"item","numeric-id":5623906,"id":"Q5623906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$39C665A1-F9AD-4C13-A491-F708A963F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e79d808a66e45b97c3f793f44237685ae767d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4750869,"id":"Q4750869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$C296C650-2C88-4BBB-A794-D0A59E63059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee95221c1a9a0df287344ef8aa5573717d65993","datavalue":{"value":{"entity-type":"item","numeric-id":4141426,"id":"Q4141426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084512$9F664383-B8EC-4EF8-AC91-9274C02D2DE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a7bf1eb392bd69ed45fb876353ccb7404a774d","datavalue":{"value":{"entity-type":"item","numeric-id":3395628,"id":"Q3395628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202d9c5428cacd4dc8ca70205923ae3201230319","datavalue":{"value":{"amount":"+0.829450249671936","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":"Q1084512$996D3132-5420-4AC5-BF27-486A29887A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff17f0553a98e3944d81f5110d5d92a49d008067","datavalue":{"value":{"entity-type":"item","numeric-id":5962334,"id":"Q5962334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c0f5e2ea48f44b780fcd6db651fedf52274fe7","datavalue":{"value":{"amount":"+0.817810595035553","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":"Q1084512$7F78E722-5E2A-45DD-88BC-281D87DF08CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd98d280f3bf0266b6016a397f366fcb2e9a43b","datavalue":{"value":{"entity-type":"item","numeric-id":3473291,"id":"Q3473291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32e1873a4a5b6a9593183054e71b2fc087ba8db","datavalue":{"value":{"amount":"+0.81607985496521","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":"Q1084512$FEF83900-F15A-4493-9508-349BE0C9EA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197078c91b82e81d8c2353473a9f0310bf881ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3553719,"id":"Q3553719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8770a3646239f9a06d855688881426112d1b6a19","datavalue":{"value":{"amount":"+0.8122756481170654","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":"Q1084512$83D58E1C-C880-4438-9BA3-987BC21733E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be258a5dfb6c309160d1a9d69111d4cc3ed95087","datavalue":{"value":{"entity-type":"item","numeric-id":1345745,"id":"Q1345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d16e493d11701ce67e114b96e7187cad2ace03","datavalue":{"value":{"amount":"+0.8107900023460388","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":"Q1084512$695467BF-C7EF-441D-87DD-4B72B45DC484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On regular semigroups. II: An embedding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_regular_semigroups._II:_An_embedding"}}}}}