{"entities":{"Q1188317":{"pageid":1199066,"ns":120,"title":"Item:Q1188317","lastrevid":46260274,"modified":"2025-12-24T10:29:12Z","type":"item","id":"Q1188317","labels":{"en":{"language":"en","value":"Injective endomorphisms of \\({\\mathcal G}_ X\\)-normal semigroups: Infinite defects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 40479"}},"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":"Q1188317$DF7B36A0-7B7B-4ACD-AB9B-7137F68D347C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c576e7a878028671e25da87a3b202886546e588d","datavalue":{"value":{"text":"Injective endomorphisms of \\({\\mathcal G}_ X\\)-normal semigroups: Infinite defects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188317$F30FDC5A-5ADE-43FB-8440-85E5BC3D9DC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239b9de2cd021a4fdf46227d200e7f4ac8421827","datavalue":{"value":"0787.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188317$180C1BA3-4E03-4D6B-8D60-779DCA7994C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91dd44ce794ba9a563e38faa39bc70684bdaf692","datavalue":{"value":"10.1007/BF03025744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188317$F4306A7A-343E-41F6-AD81-CF3BEFD8176B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca0423dca6905b18135d4d0d35769c6b93012d7","datavalue":{"value":{"entity-type":"item","numeric-id":688964,"id":"Q688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$E8D0B8DA-FB7F-4E1A-AFDD-3629F927FEA7","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":"Q1188317$B6AE131F-6314-4753-863A-E81743043C8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca50ef95d1c0114d462b29b2a7069fa309fbe2aa","datavalue":{"value":{"time":"+1992-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1188317$E2FEBCCD-5D64-4BA4-9FFB-96C4767E8E23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f606bebb5b06fb13ce2395f730319e5d51088ca5","datavalue":{"value":"https://eudml.org/doc/135166","type":"string"},"datatype":"url"},"type":"statement","id":"Q1188317$56B297BF-229B-4A2D-83D4-C898339B1581","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dba5d67bc81f850b8df4f65e6deb7219ac63c8b1","datavalue":{"value":"Let \\(X\\) be an infinite set and \\({\\mathcal G}_ X\\) be the symmetric group on \\(X\\). For a mapping \\(f: X\\to X\\), the defect of \\(f\\) is defined by \\(\\text{def }f = | X - f(X)|\\). A semigroup \\(S\\) of transformations of \\(X\\) is said to be \\({\\mathcal G}_ X\\)-normal if for every \\(h\\in {\\mathcal G}_ X\\), \\(hSh^{-1} \\subseteq S\\). Injective endomorphisms of \\({\\mathcal G}_ X\\)-normal semigroups of one-to-one transformations with infinite defects smaller than \\(| X|\\) are described. To formulate this exactly, let us bring some more definitions. For \\(f\\in S\\), denote \\(\\text{shift }f = | \\{x\\in X: f(x) \\neq x\\}|\\). For \\(T\\subset S\\), define \\(\\sigma\\text{-def }T = \\{\\text{def }f: f\\in T\\}\\). Denote \\(\\eta = \\min\\{\\alpha: \\alpha > \\text{def }f\\), for all \\(f\\in S\\}\\). If \\(\\alpha\\) is an infinite cardinal, let \\(\\Delta_ \\alpha\\) be the congruence on \\(S\\) such that \\((f,g)\\in \\Delta_ \\alpha\\) if and only if \\(|\\{x\\in X: f(x) \\neq g(x)\\}| < \\alpha\\). For \\(\\alpha \\in \\sigma\\text{-def }S\\), denote \\(S(\\alpha) = \\{f\\in S: \\text{def }f = \\alpha\\}\\) and \\(\\mu(\\alpha) = \\min\\{\\beta: \\beta >\\text{shift }f,\\;f \\in S(\\alpha)\\}\\).   Theorem. Let \\(\\varphi\\) be an injective endomorphism of \\(S\\). There exist (i) a subset \\(W\\) of \\(X\\) with \\(| W| = | X|\\) and a partition \\(\\{X_ i: i \\in I\\}\\) of \\(W\\) such that \\(| X_ i| = | X|\\), \\(| I|\\in \\sigma\\text{-def }S\\) or \\(| I| \\leq \\nu = \\min \\sigma\\text{-def }S\\), (ii) a homomorphism \\(\\tau: \\Omega \\to {\\mathcal G}_ I\\) such that for every \\(\\beta \\not\\in \\ker \\tau\\), \\(\\mu(\\gamma| I|) = | X|^ +\\), for each \\(\\gamma \\in \\sigma\\text{-def }V_ \\beta\\), (iii) a set of bijections \\(h_ i: X\\to X_ i\\), \\(i\\in I\\), and (iv) a group homomorphism \\(\\xi: S\\to G_ \\mu = \\{h\\in{\\mathcal G}_{X-W}:\\text{shift }h<\\mu\\}\\) with the associated congruence \\(\\Delta_ \\alpha\\) on \\(S\\), \\(\\alpha \\geq \\eta\\) satisfying \\(\\text{shift }\\xi(g) < \\mu(\\gamma| I|)\\), \\(g\\in V\\), a \\(\\Delta_ \\alpha\\)-class, \\(\\gamma \\in \\sigma\\text{-def }V\\), such that given \\(f\\in V_ \\beta\\), \\(x\\in X\\),  \\[ \\varphi(f)(x) = \\begin{cases} h_{r(\\beta)(i)}fh_ i^{-1}(x), &\\text{if \\(x\\in X_ i\\),}\\\\\\xi(f)(x), & \\text{if \\(x\\in X- W\\).}\\end{cases}\\tag{*} \\]  Conversely, given (i)-(iv) the mapping defined in (*) is an injective endomorphism of \\(S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$131DEC95-20DD-4127-98FB-9E5CB42335AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188317$62FC56DE-2FC9-49C3-BB95-9B4C52DAA916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddf04e277d963011ae6cc7ef58581f27dce52854","datavalue":{"value":"40479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188317$82DD6A6A-CD4A-4D06-AAF1-0AA4905EF885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141f9d10ff96906f1666207dec991a0bad92b908","datavalue":{"value":"infinite set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$E0CF27AA-0CDF-4A26-9C07-3CB58B533DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$118A47C6-8339-4EDD-B7A5-3AA2DB0BA363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f127d45a980854c5f039296a37b2b445f211d1","datavalue":{"value":"defect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$0C133779-CCA1-40CB-A5C8-E522FB864CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9890cfdbc005f6acdaa64bbf2430bf3508373d","datavalue":{"value":"\\({\\mathcal G}_ X\\)-normal semigroups of one-to-one transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$1F6DC5F6-9011-4921-9DE6-CBB409810D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$BCA1EDC3-1BA0-4160-B39B-885EA68507D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c1d13dffde89511dbd0e19d11c6ccae5cc500c","datavalue":{"value":"injective endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188317$C8E78774-11A2-4933-9930-EB98289BCD44","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef68fee2e6e72e454d6e43e42ddd9c8809ddc677","datavalue":{"value":"Q114233711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188317$EA9349FF-C3C2-49B3-8E65-B07321F01157","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$027B8CB1-560E-4227-BA8A-B6695CA8B42D","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":"Q1188317$012BCEE6-639F-43CA-B74F-4935A208219A","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":"Q1188317$666139CA-A712-45AB-9ABF-F5F1A1D3648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3407d8d5231656d0680e0dc017b66d576e0ae597","datavalue":{"value":{"entity-type":"item","numeric-id":3216810,"id":"Q3216810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$AE2A82D9-FB1A-4828-85E8-3B85AFEC8CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6aa187132338ac89747be77ba9a86a85e351df4","datavalue":{"value":{"entity-type":"item","numeric-id":3762513,"id":"Q3762513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$7E07733C-B507-4C46-BD37-6648B9994A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3084b393ce4382d65a2b7fc37a80c2251ddf99","datavalue":{"value":{"entity-type":"item","numeric-id":4731380,"id":"Q4731380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$933F1646-1574-4219-A3F7-E99638DAA1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb1d14a34be0a4c87629eac5611d1adcb18b5080","datavalue":{"value":{"entity-type":"item","numeric-id":3361047,"id":"Q3361047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$4ADEE14C-A458-4F27-BBB1-F0F9B1F589CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337d0df0cc71b96a6fd529e3b96d771b12a79412","datavalue":{"value":{"entity-type":"item","numeric-id":4324833,"id":"Q4324833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$540D95C6-2247-4AAA-80C7-18DDEF002839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12713f7346349eff6df0cdccaa76546f34a8721","datavalue":{"value":{"entity-type":"item","numeric-id":3478625,"id":"Q3478625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$56951BC2-69EC-4CCA-9298-8D45459C30DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40aa87281ec1462a558b87e83e5abb28e754f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":803290,"id":"Q803290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$9345DA9E-2BE6-4005-B853-D299D966B74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37b0c36a0393afc694c360f60268407ac52fc28","datavalue":{"value":{"entity-type":"item","numeric-id":5507596,"id":"Q5507596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$B85B30F1-BAC1-496F-88A9-D5C8A349D3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b06027ad8817280ce597e7a3302f7809479dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2535383,"id":"Q2535383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$8F2D987A-C734-45F8-B364-573A601437C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d863f0b5a0ee23058bafedfbfb1a5202309794","datavalue":{"value":{"entity-type":"item","numeric-id":1067013,"id":"Q1067013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188317$C39C8B8F-6293-417D-8CBA-369A807D95D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fee2e60408599f0ea29982cf68c230599dba44","datavalue":{"value":{"entity-type":"item","numeric-id":4324833,"id":"Q4324833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d864f4b64793abce3977ae37f339278b05c050","datavalue":{"value":{"amount":"+0.975627899169922","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":"Q1188317$B50D8364-9DDC-4D2D-9FEE-BC9E7F90912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1fc1537eac3d259c6dd2709c6eaa2104ffada6","datavalue":{"value":{"entity-type":"item","numeric-id":803290,"id":"Q803290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9373458586826d53d3254f83fac63622810196","datavalue":{"value":{"amount":"+0.8589932322502136","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":"Q1188317$EB9EDE19-0072-41BD-8275-F03CD6333E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c08062704d3f5a3966692b26b13f4c033c6088","datavalue":{"value":{"entity-type":"item","numeric-id":3624617,"id":"Q3624617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb41a63780dc781d0deda22554a9b4ca155aa56","datavalue":{"value":{"amount":"+0.8167586922645569","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":"Q1188317$598A24B1-8E54-4325-9CF8-06DFA804BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e8d81558cc5c80bac990f6ddea41cad8752951","datavalue":{"value":{"entity-type":"item","numeric-id":3224987,"id":"Q3224987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae39ab0053d4bb739925ecdffe98c3a8aa4fe3f1","datavalue":{"value":{"amount":"+0.8042166233062744","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":"Q1188317$CE80C00D-8272-4216-8A85-61B900FE848C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1188317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1188317"}}}}}