{"entities":{"Q863476":{"pageid":865324,"ns":120,"title":"Item:Q863476","lastrevid":50008471,"modified":"2026-01-12T15:05:13Z","type":"item","id":"Q863476","labels":{"en":{"language":"en","value":"Regular semigroups with inverse transversals."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118912"}},"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":"Q863476$6D176EE8-492D-4332-8CB9-3E2A060D6E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38ff6a2c23bb7e7f11b3f54afe200303a4fca521","datavalue":{"value":{"text":"Regular semigroups with inverse transversals.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863476$2F79BC50-5038-4185-8683-CC7908718854","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8de7e7c83164daaa6d64664a036180d43081b9c1","datavalue":{"value":"1129.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$DB486EE2-C295-4671-90BA-65A65908B412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06419efd716697b9e003ce806d170f1642b286e1","datavalue":{"value":{"entity-type":"item","numeric-id":863475,"id":"Q863475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863476$3A600130-D5E4-477E-97DA-FCEAEE7170E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863476$9879ED08-E058-43C6-99BD-D50F81492E53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6721e2b1eb987ba2390f9abdb34c9100dded7229","datavalue":{"value":{"time":"+2007-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863476$AEDF3239-9BC3-4838-A995-C464D3CB0DD0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f37690f56fd3a3238cb63e01024db3adeee6c620","datavalue":{"value":"An inverse subsemigroup \\(S^\\circ\\) of a regular semigroup \\(S\\) is called an inverse transversal of \\(S\\) if \\(S^\\circ\\) contains an unique inverse \\(x^\\circ\\) for every \\(x\\in S\\). Let \\(E(S)\\) denote the set of idempotents of \\(S\\). A subsemigroup \\(T\\) of \\(S\\) is full if \\(E(S)\\subseteq T\\). If \\(C\\) is the regular subsemigroup generated by \\(E(S)\\) then denote \\(\\prec\\!e\\!\\succ=\\langle E(eCe)\\rangle\\) for each \\(e\\in E(C)\\) and define for each \\(a\\in S\\) a partial mapping \\(\\lambda_a\\colon\\prec\\!aa^\\circ\\!\\succ\\to\\prec\\! a^\\circ a\\!\\succ\\) by \\(x\\mapsto a^\\circ xa\\). Denote \\(I=\\{e\\in C:e=ee^\\circ\\}\\), \\(\\Lambda=\\{f\\in C:f=f^\\circ f\\}\\) and for \\(e\\in I\\), \\(f\\in\\Lambda\\) let \\(T_{e,f}\\) be the set of all isomorphisms \\(\\alpha\\colon\\prec\\!e\\!\\succ\\to\\prec\\!f\\!\\succ\\) such that \\((eE^\\circ)\\alpha=E^\\circ f\\). Denote \\(T_{C,C^\\circ}=\\bigcup T_{e,f}\\) and define for \\(\\alpha\\in T_{e,f}\\), \\(\\beta\\in T_{g,h}\\) the product \\(\\alpha\\circ\\beta=\\alpha\\lambda_f^{-1}\\lambda_{fg}\\lambda_g^{-1}\\beta\\).   Let \\(K\\) be an inverse semigroup, \\(C\\) a semiband with inverse transversal \\(C^\\circ\\) such that \\(E(K)\\subseteq C^\\circ\\) and \\(T\\) a full regular subsemigroup of \\(T_{C,C^\\circ}\\). For any \\(a\\in K\\) let \\(\\varphi_a\\) be a transformation on \\(I\\cup\\Lambda\\) such that \\(l\\varphi_t=t^\\circ lt\\), \\(\\varphi_a\\varphi_b=\\varphi_{ab}\\) for any \\(l\\in I\\cup\\Lambda\\), \\(t\\in C^\\circ\\), \\(a,b\\in K\\). Define \\(T*K=\\{(\\alpha,a):\\alpha\\in T_{e,f}\\), \\(a\\in K\\), \\(e^\\circ=aa^{-1}\\), \\(f^\\circ=a^{-1}a\\), \\((e^\\circ le^\\circ)\\alpha^{\\circ\\circ}=l\\varphi_a\\}\\) (it is required that all products exist for every \\(l\\in I\\cup\\Lambda\\), \\(c\\alpha^{\\circ\\circ}=a^{-1}ca\\), \\(c\\in\\text{dom\\,}\\alpha^{\\circ\\circ}\\cap C^\\circ\\)).   The regular semigroup \\(T*K\\) has inverse transversal \\(T^\\circ*K\\simeq K\\) and \\((T*K)/\\mu_{T*K}\\simeq T\\); here \\(\\mu_{T*K} \\) is the maximal idempotent-separating congruence on \\(T*K\\). If \\(S\\) is a regular semigroup with an inverse transversal \\(S^\\circ\\) and \\(C=\\langle E(S)\\rangle\\), then \\(S\\simeq T*S^\\circ\\), where \\(T=\\{\\lambda_s\\), \\(s\\in S\\}\\) is a full regular subsemigroup of \\(T_{C,C^\\circ}\\) with inverse transversal \\(T^\\circ=\\{\\lambda_s\\), \\(s\\in S\\}\\subseteq T_{C,C^\\circ}^\\circ\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q863476$1C0BE527-28DD-4B5C-8D52-044311CB0663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$13632F27-F89E-458D-BB8D-19274BDCC9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$FAFEB560-0F1E-4003-A3B3-078BF38E89AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c8efff5451c96654e12fefa339b035993a98aef","datavalue":{"value":"5118912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$331C18AF-C30E-44BC-8C1C-3BCE6116F5DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q863476$24BDD8FF-6DFE-4633-B45E-AED693FA497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb2f24d0a76517711b4ec6db444122ccae04208","datavalue":{"value":"inverse transversals","type":"string"},"datatype":"string"},"type":"statement","id":"Q863476$85296AD6-920D-4865-BA52-7D2477595AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q863476$0EC8E7DA-6260-412B-9C70-4423CE233556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q863476$B42605BE-549E-4448-8C3C-20C646222269","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863476$6B7414AB-233A-4853-B234-23137ED7B0EB","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":"Q863476$9875A315-150B-4B5E-BB66-6382E4F5001C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"596d27103f0d043a0bc323491b176ff15b6947fb","datavalue":{"value":"https://doi.org/10.1007/s00233-006-0641-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q863476$74212848-C48D-44E1-8BEA-8CF0A5B0C653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0f077f333cf625b26f627e28117fb69f47b9703","datavalue":{"value":"W2146212207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$FF3A3904-1D62-4EA7-A2F3-3FE363395203","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12fab8da5141d007d1b4773f7b9beb0110d4c3cc","datavalue":{"value":"10.1007/S00233-006-0641-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863476$FCDBFA75-D444-4C99-B4DF-09635C68F9EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f264ed5d86126a72723fc9a95467307d2f363ad","datavalue":{"value":{"entity-type":"item","numeric-id":1402905,"id":"Q1402905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ca913a877fb432eb64f8697f27435a8919b425","datavalue":{"value":{"amount":"+0.9142274260520936","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":"Q863476$1819B07D-F9AE-4E0D-9FCF-AD73D0EFA44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954ad9f99da1b4ae708db4bd0fbd995a4fe6e42e","datavalue":{"value":{"entity-type":"item","numeric-id":1769499,"id":"Q1769499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967412536804d72c683174392d3277019e553abb","datavalue":{"value":{"amount":"+0.8945327997207642","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":"Q863476$88CDFE4A-E154-46AD-9569-A4D893B179B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac293bf3f64afe0b9f7673a5a4f8044df4a303","datavalue":{"value":{"entity-type":"item","numeric-id":3800298,"id":"Q3800298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bf667e86a6436f0b899cf7546614a3a1383f06","datavalue":{"value":{"amount":"+0.891103982925415","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":"Q863476$EF77F76B-CAAC-410C-942D-7AFAAEAD1B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d1cb608c7ee3ab07404c0af9fe91b981ef08b7","datavalue":{"value":{"entity-type":"item","numeric-id":3791366,"id":"Q3791366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b331689771ae98acf0b1891c612133d7790181","datavalue":{"value":{"amount":"+0.8846341371536255","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":"Q863476$1E61CB85-6376-4110-8189-EB081A876410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e969029c669674075eba831abab6791b5c7482c7","datavalue":{"value":{"entity-type":"item","numeric-id":3322301,"id":"Q3322301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823f944c9654189fb28e47797a3759fd5b5e0965","datavalue":{"value":{"amount":"+0.8790116906166077","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":"Q863476$23806C8A-2112-4312-B84B-1B1049EF3FDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:863476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:863476"}}}}}