{"entities":{"Q1046866":{"pageid":1048714,"ns":120,"title":"Item:Q1046866","lastrevid":66029877,"modified":"2026-04-12T07:03:21Z","type":"item","id":"Q1046866","labels":{"en":{"language":"en","value":"The generalized Szendrei expansion of an \\(\\mathcal R\\)-unipotent semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5651948"}},"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":"Q1046866$83474C2D-BA52-47CC-9277-98C611239247","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49db013646fb939f2d5e33ba2872b95c25cf1cf9","datavalue":{"value":{"text":"The generalized Szendrei expansion of an \\(\\mathcal R\\)-unipotent semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1046866$B3C1DD4F-931A-4C1F-ADAE-4976B8EBD219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f9bd5f490fd172e6641ad4c2314f9cc6631a31","datavalue":{"value":"1188.20070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$945F2D46-F0F6-4A10-B73E-EA317BF0D3B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$686C22CC-DE91-4898-A0E0-E1201E36EEBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"687c75732839f2c72eaef9f265e249aec96677a2","datavalue":{"value":{"time":"+2009-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1046866$23FA6138-EE9E-4A50-9E13-C5602599DB17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"554c908474268514b55347586923b9af78486319","datavalue":{"value":"The prefix expansion \\(\\widetilde S^R\\) for a semigroup \\(S\\) was first introduced by \\textit{J.-C. Birget} and \\textit{J. Rhodes} [J. Pure Appl. Algebra 32, 239-287 (1984; Zbl 0546.20055)]. When \\(S\\) is a group it admits the form \\(S^{S\\mathcal L}\\) presented by \\textit{M. B. Szendrei} [J. Pure Appl. Algebra 58, No. 1, 93-99 (1989; Zbl 0676.20045)] which has been extended to both the regular and non-regular cases.    In this paper the class of (regular) \\(\\mathcal R\\)-unipotent semigroups is considered and the same kind of expansion \\((\\cdot)^{Pr}\\) is defined which is called the generalized Szendrei expansion. For an \\(\\mathcal R\\)-unipotent semigroup \\(S\\), its expansion \\(S^{Pr}=\\{(A,s)\\in\\mathcal P_{\\text{fin}}(S)\\times S:s,ss'\\in A,\\;A\\subseteq R_s\\}\\) is defined with multiplication given by \\((A,s)(B,t)=(stt's'A\\cup sB,st)\\) for all \\((A,s)(B,t)\\in S^{Pr}\\). Given an \\(\\mathcal R\\)-unipotent semigroup \\(S\\) the expansion \\(S^{Pr}\\) is also \\(\\mathcal R\\)-unipotent and it is an idempotent pure extension of \\(S\\). A mapping \\(\\tau\\colon S\\to T\\) between \\(\\mathcal R\\)-unipotent semigroups is called a premorphism if, for all \\(a,b\\in S\\), we have \\(a\\tau b\\tau\\leq(ab)\\tau\\) and it is said to be an \\(F\\)-premorphism if it also satisfies the following properties: for all \\(a,b\\in S\\) and \\(a'\\) from the set \\(V(a)\\) of inverses of an element \\(a\\) we have (1) \\(a'\\tau\\in V(a\\tau)\\); (2) \\(\\tau\\) respects the partial order, i.e., if \\(a\\leq b\\) then \\(a\\tau\\leq b\\tau\\). Given a surjective morphism \\(\\theta\\colon T\\to S\\), for any \\(a\\in S\\) there exists a maximum element \\(m(a\\theta^{-1})\\) in the inverse image \\(a\\theta^{-1}\\) of \\(a\\) in \\(T\\). We can consider the mapping \\(\\theta^*\\colon S\\to T\\), \\(a\\mapsto m(a\\theta^{-1})\\), which is clearly a premorphism. The morphism \\(\\theta\\) is said to be an \\(F\\)-morphism if \\(\\theta^*\\) is an \\(F\\)-premorphism.   It is proved that the natural map \\(\\eta s\\colon S^{Pr}\\to S\\) is the initial object in the category of all \\(F\\)-morphisms onto \\(S\\). In the last section, given an \\(\\mathcal R\\)-unipotent semigroup \\(S\\), a description of the languages recognized by \\(S^{Pr}\\) is provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$C5C94AF6-7C8E-44CD-BDB2-82E68532678F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$C9457CA0-753E-4DC0-9DD7-4110375269C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$7FD4F095-5034-4441-9492-75C7FBB19F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$0C4AF978-F522-4846-AE68-65DD28C250CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$4048E9CA-127D-4293-A415-00CE54B5E9AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c3149a57e7a4a1ba72900d5e0912473b80bdbc6","datavalue":{"value":"5651948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$22BB63D8-E0EA-48B0-8CF7-42D0E461664D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e80114092ea5fe5ebd0d86a9bd099d7babf67b","datavalue":{"value":"expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$D2E2E054-19AF-4DD8-AB49-60980104DCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8abbf584b72cee75e906ff138cab22fedc588c71","datavalue":{"value":"\\(\\mathcal R\\)-unipotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$C493955A-58C2-4261-A1E0-74935C8DB781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42132697d8d818d044ec3efe697a333291c2677d","datavalue":{"value":"premorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$45038B71-030B-4C1D-B13E-CC1006FC37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$6B197E60-DDAC-4E36-AF47-CFADAA98C459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23b51a156d35fdb451db3c9a039b5585cd1516","datavalue":{"value":"idempotent pure extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1046866$CBB0F22D-0AE9-479B-8251-2563B22F69C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df5decf3fdaea153fa715ed1862405d0c1c7f94","datavalue":{"value":{"entity-type":"item","numeric-id":195277,"id":"Q195277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$152A2C3D-BF8C-4A74-AA9C-7D230EE25D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$A7EC8C28-EF68-42CC-A667-5E59F87C7D9B","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":"Q1046866$FD87A4E6-2757-491C-8B01-12D597065088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f888b54348e5053fddbe1cc96c4a8b5f19414308","datavalue":{"value":"https://doi.org/10.1007/s10474-009-8025-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1046866$C900F902-70D7-4AA6-A612-417E65EC8795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bf040c0cf8131e4a88c7467425bedbd1c1defbc","datavalue":{"value":"W1994458381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$373F698B-0724-45CC-A1B3-5ABAE5BC25E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62beffdcf83d58ae919edcdc7938200a8d42772c","datavalue":{"value":{"entity-type":"item","numeric-id":2754915,"id":"Q2754915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$3B07B8CB-DE52-41E0-A5CE-0DC5AF3B8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8148bdfbda60ec0f61d6fc560daec012b81869c","datavalue":{"value":{"entity-type":"item","numeric-id":3023564,"id":"Q3023564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$54741369-347D-4BEE-A728-45FA8D0200DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$4BEBAC63-7427-4FC7-BAE7-F0D2E6FC1BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efb5ad33e53d56c2f3fb4cd1e6b1ffcc9e665dd","datavalue":{"value":{"entity-type":"item","numeric-id":1133630,"id":"Q1133630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$8609D30E-E1FB-473A-A261-1068D3F5CCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ccd813bede35521b69cd80b7c26b6a09bbbd54","datavalue":{"value":{"entity-type":"item","numeric-id":5752753,"id":"Q5752753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$0BB343A6-27B7-4BD3-852E-CD251282A3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c83cb05dfadcf6f045ffd57960d5ea87ac08c8","datavalue":{"value":{"entity-type":"item","numeric-id":4237104,"id":"Q4237104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$AB586282-DAC3-4767-B077-B3039BDF27AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854f94271ba1f6fbcee9d868aa05a3f4e7881bff","datavalue":{"value":{"entity-type":"item","numeric-id":3037669,"id":"Q3037669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$8BA1AB62-C431-4316-ACC1-CC084D36A8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71df62590a623407b1465a88b08e62db3b0636e","datavalue":{"value":{"entity-type":"item","numeric-id":2502254,"id":"Q2502254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$04282CD4-1D71-4111-BA88-C3E14C794609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dee0cc4f85242a055ab3e13b3e641c94e473581","datavalue":{"value":{"entity-type":"item","numeric-id":3395321,"id":"Q3395321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$81E23DEF-F710-4DC3-B39B-D243D37BCA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$7B47EF0C-BD5D-45F9-91CD-10CA265FA9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$25A704EB-1AB7-4CDB-BCCD-5C60E9B21242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5484473b49f0476ae7f472a64a7dad4bb4b0efd","datavalue":{"value":{"entity-type":"item","numeric-id":5480050,"id":"Q5480050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$551A603D-8F62-42A4-B2ED-00438150E8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f6ec4fe8dfae994fff88583945fbd9b4461297","datavalue":{"value":{"entity-type":"item","numeric-id":1242998,"id":"Q1242998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$CFC20F5C-5547-45E2-85B9-FD47D1DC66EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9844351f58878ba449a8fd8cf45bb4cc809d46","datavalue":{"value":{"entity-type":"item","numeric-id":599182,"id":"Q599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$34A06FEE-CC19-489A-A04F-79B26B07758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2495c277a45d8d02265ce714e627ad9514a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1122666,"id":"Q1122666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$1588DBF0-728A-4B90-966B-C08313B50B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2ba778e05d1a7da3d7375afb162cdae33a3b29","datavalue":{"value":{"entity-type":"item","numeric-id":1215719,"id":"Q1215719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1046866$73454F09-7119-4E1D-8225-3215999501F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbe21b2c2c2f00f64a1929db044d7b1fc18e73f7","datavalue":{"value":"10.1007/S10474-009-8025-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1046866$BE371C42-2E04-4951-8004-258781392595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd755e4d1880671b69c1c7a5a632e6324673d73","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70944bd85476145e16e82e8763720dc18827a871","datavalue":{"value":{"amount":"+0.8009390234947205","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":"Q1046866$0824FD37-D9F5-4FB6-8016-43196DFD6031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70963f7f1f6c4b88f77313ef5e4bc9da1c483473","datavalue":{"value":{"entity-type":"item","numeric-id":3699025,"id":"Q3699025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de83b60101154d57def6506edaf090e5c7319d2","datavalue":{"value":{"amount":"+0.7977190613746643","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":"Q1046866$BB177F9B-4525-46AD-8AF9-943121A334D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72b245b4052047c896fbb8c481986111555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5752753,"id":"Q5752753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b03f9a2751113aab5f38b33b51122cda2b51f55","datavalue":{"value":{"amount":"+0.7867889404296875","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":"Q1046866$74574F1B-87D3-4C56-BC02-55B3962CDC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50312df100a9ff53418903fbd2b4ee74d780633a","datavalue":{"value":{"entity-type":"item","numeric-id":5480050,"id":"Q5480050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eef7f10d610a96921fccef84faacdfd98cb3c23","datavalue":{"value":{"amount":"+0.7742632031440735","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":"Q1046866$0BF5AF1F-D200-4AF5-B726-A51FBF690FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d114407d134f55ac5fbcd3e93df82006e6a3316d","datavalue":{"value":{"entity-type":"item","numeric-id":5962330,"id":"Q5962330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c35e18b12e52ff8247ed436d10ca69a6bc42a8e4","datavalue":{"value":{"amount":"+0.7666122317314148","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":"Q1046866$372AD60E-C015-401B-AD3B-1577BE719E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The generalized Szendrei expansion of an \\(\\mathcal R\\)-unipotent semigroup.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_generalized_Szendrei_expansion_of_an_%5C(%5Cmathcal_R%5C)-unipotent_semigroup."}}}}}