{"entities":{"Q2918685":{"pageid":2929405,"ns":120,"title":"Item:Q2918685","lastrevid":85129727,"modified":"2026-06-03T05:59:34Z","type":"item","id":"Q2918685","labels":{"en":{"language":"en","value":"On monoids of monotone injective partial selfmaps of integers with cofinite domains and images"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092469"}},"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":"Q2918685$51E7751A-5D03-4949-A06D-7063F9EA68C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01d5807e4ba19475b0deb1df9c06f41cd43d24c0","datavalue":{"value":{"text":"On monoids of monotone injective partial selfmaps of integers with cofinite domains and images","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2918685$3C6B2083-719D-4875-AF6E-BB0EF0FC4EBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6b2cc4470d6ddf87e762024ad883af75ff04a6f","datavalue":{"value":"1256.22001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$6633E2EA-B829-41D6-9496-D53DE5FA21CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1565c5fa120e517e8beb52146311e184f0c7f6","datavalue":{"value":{"entity-type":"item","numeric-id":255118,"id":"Q255118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918685$EBC5819A-7052-4FA6-A43C-75708B2C5CBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9729edc44a1ae56f3c7012175ffbc192b6821a5a","datavalue":{"value":{"time":"+2012-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2918685$1B56C8E7-6FB3-43E7-8B5A-08E2B4F58FC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cb47ce5e03eb26b6ecfa29e90d7abbd7071776c","datavalue":{"value":"https://arxiv.org/abs/1209.0587","type":"string"},"datatype":"url"},"type":"statement","id":"Q2918685$43A7A859-C261-4617-96A2-06787B45DEB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$396E8080-EF95-4D44-861A-5F0FBFC3EEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$63526209-545C-4B97-86AC-A769A43EAEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$B1009637-99E8-431E-9FC2-6E76D92573D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e88fdf34888612b8b0daa8ca187798d4a51fd08","datavalue":{"value":"54D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$CF6A6221-8EAA-432E-A612-734084313553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4388e9a976e18bebff2edd807ee73ae25eae8b00","datavalue":{"value":"54E52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$3FE832F3-B76A-4DB3-B13C-50A97AF88262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe26fcf5dbf78028c0aa5fbe161ef60c0a1a7ec","datavalue":{"value":"54H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$E159C2B5-08AB-4559-9737-E7B24AAFCCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$BB8BF9F6-F89C-42FB-BD11-3955651FDD8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ba3cd3983741332f94f6e5ecabf569437dacb8","datavalue":{"value":"6092469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$27F6CA8A-E230-44DC-8213-903E574C99EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa0fe38129969d1ae2cf5f9092f5ceab22da44c","datavalue":{"value":"topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$7E5F540A-3387-4A40-A892-2CC81876F1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3727be482536e986f55b5e08d15e2cce8870b62b","datavalue":{"value":"semitopological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$E8F19D52-A359-48E2-BDE0-CACCF94171D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50bdb18aa4732eb67bc84d36718cfd8be03fcd83","datavalue":{"value":"semigroup of bijective partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$5C219B35-3A93-4AC7-A4B2-746E49427B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f1a003a4867db85309130f352a55047de06c99","datavalue":{"value":"topological inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$627D44C3-050D-4925-87B0-E21BDA6F5BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$C8230EC7-5CC9-4BCB-B156-762DA043C975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2ee3ed3b964f2641ac99197578fdef183d2a034","datavalue":{"value":"bicyclic semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$9B06C3F5-F240-4A3E-97CB-38EEF431FA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6549f641aeb982e65253f09e1ca8205abeafb9a5","datavalue":{"value":"embedding of of topological semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$97EDB1CC-F2E2-40BF-8394-2CF1B4365848","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c8cf86647719857ba2503e84e225635c5826a7ad","datavalue":{"value":"Q114053032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$91DB8883-C0CC-4527-980A-41B0B7F870C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0810960081712d02613508243b8a992994b56144","datavalue":{"value":{"entity-type":"item","numeric-id":818390,"id":"Q818390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918685$56AE5C20-31B3-43ED-BC10-0E1FA38D1664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e92ad84072131137eaa27c5ec1c4b5559c97a58","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918685$AA66CE16-510D-4893-B725-18DCDFC522AA","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":"Q2918685$F12D11BE-36E6-4169-B74D-D9A5E3DCA70C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f53d8a554f39e11986fc0395ad213937d9e90439","datavalue":{"value":"W1994095589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$C5A21B03-63EE-4CFB-AEA9-5AF5A3F69111","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d97d34cf22d625742a6b4dd28367226a484f5b2","datavalue":{"value":"10.1515/GMJ-2012-0022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918685$5D77B93B-2826-4C93-B3B4-0CDDDC5E0A76","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ff3ded8b28508747af572fab2649e6d0a745ad0","datavalue":{"value":"To state the main results of this paper, first we need to recall some necessary definitions. Then we state the main results. For a topological space \\(X\\), a family \\(\\{A_s|s\\in\\mathcal{A}\\}\\) of subsets of \\(X\\) is called \\textit{locally finite} if for every point \\(x\\in X\\), there exists an open neighborhood \\(U\\) of \\(x\\) in \\(X\\) such that the set \\(\\{s\\in \\mathcal{A}|U\\cap A_s\\neq \\emptyset\\}\\) is finite. A subset \\(A\\) of \\(X\\) is said to be \\textit{codense} in \\(X\\) if \\(X\\setminus A\\) is dense in \\(X\\). A space \\(X\\) is said to be a \\textit{Baire space} if for each sequence \\(A_1,\\cdots,A_i,\\cdots\\) of nowhere dense subsets of \\(X\\), the union \\(\\bigcup_{i= 1}^\\infty A_i\\) is a codense subset of \\(X\\). A semigroup \\(S\\) is called \\textit{bisimple} if \\(S\\) has only one \\(\\mathcal{D}\\)-class, where \\(\\mathcal{D}=\\mathcal{L}\\circ \\mathcal{R}\\) (\\(a\\mathcal{R} b\\) (\\(a\\mathcal{L} b\\)) if and only if \\(aS^1=bS^1\\) (\\(S^1a=S^1b\\))). A \\textit{semitopological} (resp. \\textit{topological}) \\textit{semigroup} is a Hausdorff topological space together with a separately (resp. jointly) continuous semigroup operation. An inverse topological semigroup with continuous inversion is called \\textit{topological inverse semigroup}. A Hausdorff topology \\(\\tau\\) on an (inverse) semigroup \\(S\\) such that \\((S,\\tau)\\) is a topological inverse semigroup is called (\\textit{inverse}) \\textit{semigroup topology}. Let \\(\\mathbb{Z}\\) be the set of integers with the usual order \\(\\leq\\). A partial map \\(\\alpha:Z\\to Z\\) is said to be \\textit{monotone} if \\(n\\leq m\\) implies that \\((n)\\alpha\\leq (m)\\alpha\\) for \\(n,m\\in\\mathbb{Z}\\). By \\(\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z})\\) we denote a subsemigroup of injective partial monotone selfmaps such that \\(|\\mathbb{Z}\\setminus \\mathrm{dom} \\alpha|\\) and \\(|\\mathbb{Z}\\setminus \\mathrm{ran} \\alpha|\\) are finite.NEWLINENEWLINEIn this paper, the authors study the semigroup \\(\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z})\\) and they show that \\(\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z})\\) is bisimple and all of its non-trivial semigroup homomorphisms are either isomorphisms or group homomorphisms. Also they prove that every Baire topology \\(\\tau\\) on \\(\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z})\\) such that \\((\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z}),\\tau)\\) is a Hausdorff semitopological semigroup is discrete and they construct a non-discrete Hausdorff inverse semigroup topology \\(\\tau_w\\) on \\(\\mathcal{F}^\\nearrow_\\infty (\\mathbb{Z})\\). As the main results in this note, the authors prove that the discrete semigroup \\(\\mathcal{F}^\\nearrow_\\infty(\\mathbb{Z}) \\) cannot be embedded into some classes of compact-like topological semigroups and they prove the following:NEWLINENEWLINETheorem. Let \\(S\\) be a topological semigroup which contains \\(\\mathcal{F}^\\nearrow_\\infty (\\mathbb{Z})\\) as a dense discrete subsemigroup. If \\(I=S\\setminus \\mathcal{F}^\\nearrow_\\infty (\\mathbb{Z})\\neq\\emptyset\\) then \\(I\\) is an ideal of \\(S\\).NEWLINENEWLINECorollary. If a topological semigroup \\(S\\) satisfies one of the following conditions: (i) \\(S\\) is compact; (ii) the square \\(S\\times S\\) is countably compact; (iii) \\(S\\) is a countably compact topological inverse semigroup, or (iv) the square \\(S\\times S\\) is a Tychonoff pseudocompact space, then \\(S\\) does not contain the semigroup \\(\\mathcal{F}^\\nearrow_\\infty (\\mathbb{Z})\\) (and hence the semigroup).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2918685$87075B73-C3EC-4849-9829-50339D4F069E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25117c9b5d1c52c89018ec184cb28c95ac6221f4","datavalue":{"value":{"entity-type":"item","numeric-id":263860,"id":"Q263860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918685$F1D30EC7-60D0-4948-B075-E7E5C725108F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd52beb504ac35a185c3919c61cb60550f42ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2941843,"id":"Q2941843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0372ea38372bb05db5bac679ea896ba21edda93","datavalue":{"value":{"amount":"+0.907594621181488","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":"Q2918685$F70EE5A8-E531-41CB-BE35-4F6E6668F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80253f23560696769f245782a7b16bda4ba1b27a","datavalue":{"value":{"entity-type":"item","numeric-id":3106360,"id":"Q3106360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b27f5ae70307b942f7a231b8981c11274e6263","datavalue":{"value":{"amount":"+0.9039297103881836","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":"Q2918685$7225371F-1A5A-4860-8501-A87497524FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dad0fc627cca1699b534640806fd6c29e95e055","datavalue":{"value":{"entity-type":"item","numeric-id":5219891,"id":"Q5219891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f83aa1f3f280e44d0aff86a17a3ac7293478208","datavalue":{"value":{"amount":"+0.8677999377250671","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":"Q2918685$B5AD41D6-0F4F-4313-A2A0-23458584656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09974154f9e89ecbfc564b08955aaeabdd2a5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3118236,"id":"Q3118236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3795cf4fcaa462a2f97f0094dc3f48d06352a451","datavalue":{"value":{"amount":"+0.8532137274742126","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":"Q2918685$4BFBE4F4-F6A8-4BFF-B43F-EB9EBB4FC492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b12c86aed2336d6f2e1ca709469ffe60d5665d","datavalue":{"value":{"entity-type":"item","numeric-id":3465431,"id":"Q3465431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d5e8f889862bdc689a0801971c85b54d902183","datavalue":{"value":{"amount":"+0.8303229808807373","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":"Q2918685$DBC3A192-B543-4F7E-8689-D355D54D53A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On monoids of monotone injective partial selfmaps of integers with cofinite domains and images","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_monoids_of_monotone_injective_partial_selfmaps_of_integers_with_cofinite_domains_and_images"}}}}}