{"entities":{"Q722557":{"pageid":724406,"ns":120,"title":"Item:Q722557","lastrevid":63837681,"modified":"2026-04-11T15:53:28Z","type":"item","id":"Q722557","labels":{"en":{"language":"en","value":"Inverse subsemigroups of finite index in finitely generated inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6911209"}},"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":"Q722557$5AED90F1-C5E7-4657-8DBD-114DCF63B5E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1565bc61ae22acaa25cca459166e4d4885fc93bc","datavalue":{"value":{"text":"Inverse subsemigroups of finite index in finitely generated inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q722557$05248508-EF70-4CCC-8C8E-0F6074DC9ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23df3a66bda5bddc5793b17424cb8df5c66a898","datavalue":{"value":"1447.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$EF585A9A-7D9B-4C64-A3FB-C2275091D994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a5be8ea9946e9980b62350f3296f634b8c0d2e","datavalue":{"value":{"entity-type":"item","numeric-id":700922,"id":"Q700922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$5FBD5CC0-560B-4FE6-8378-18D8CB18E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf377618c0ec534f9fcb74a017d9974c22276917","datavalue":{"value":{"entity-type":"item","numeric-id":263885,"id":"Q263885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$2D797697-D601-4AE4-AD65-84727448A71B","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":"Q722557$4D27ED9A-4F49-4D23-B009-2958EC5B764B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c11ebaf7be0aa0574d40db26aec7772df0b741f","datavalue":{"value":{"time":"+2018-07-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":"Q722557$C8348D1E-9031-47F2-83C5-B548633A9F52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03c5b1988a188dd3ffb690a4623efb4decc4e4d6","datavalue":{"value":"https://arxiv.org/abs/1608.04254","type":"string"},"datatype":"url"},"type":"statement","id":"Q722557$C4260170-E331-48A1-9AC0-E409C2DB1E9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"663a930ec3ec756c6f2d09dde98729227fda0bca","datavalue":{"value":"Let $S$ be an inverse semigroup. A subset $A\\subseteq S$ is called \\textit{closed} if for any $a\\in A$ and $s\\ge a$ one has $s\\in A$. The \\textit{closure} of $B\\subseteq S$ is the set $B^\\uparrow=\\{s\\in S\\mid \\exists b\\in B: s\\ge b\\}$. A subset $L\\subseteq S$ is said to be \\textit{full} whenever $E(S)\\subseteq L$. An \\textit{atlas} in $S$ is a subset $A\\subseteq S$ such that $AA^{-1}A=A$. A \\textit{coset} in $S$ is a closed atlas. \\par It was proved by \\textit{B. M. Schein} [Izv. Vyssh. Uchebn. Zaved., Mat. 1962, No. 3(28), 164--176 (1962; Zbl 0228.20062)] that $C\\subseteq S$ is a coset if and only if there exists a closed inverse subsemigroup $L$ of $S$ such that for all $s\\in C$ one has $ss^{-1}\\in L$ and $C=(Ls)^\\uparrow$. In this case one says that $C$ is a \\textit{right coset} of $L$. If $C$ is a right coset of $L$, then it is shown that $L=(CC^{-1})^\\uparrow$. There is also an equivalent characterization of $C$ as a left coset of some closed inverse subsemigroup $K$ of $S$. \\par The union of all the (right) cosets of a closed inverse subsemigroup $L$ of $S$ may not coincide with $S$. More precisely, this holds if and only if $L$ is full. The closed inverse subsemigroups $L$ of $S$ whose union of right cosets is a closed inverse subsemigroup of $S$ are also described. \\par The \\textit{index} $[S:L]$ of a closed inverse subsemigroup $L$ of $S$ is the cardinality of the set of right cosets of $L$. It coincides with the cardinality of the set of left cosets of $L$. If $K$ and $H$ are closed inverse subsemigroups of $S$ such that $K\\subseteq H$ and $K$ is full in $S$, then $[S:K]=[S:H][H:K]$. Observe that $S$ is $E$-unitary if and only if $E(S)$ is closed. In this case $[S:E(S)]$ coincides with the cardinality of the maximum group image of $S$. \\par One of the main results of the work is the following theorem: a finitely generated inverse semigroup can have only a finite number of closed inverse subsemigroups of a fixed finite index. Another important fact is that a closed inverse submonoid $L$ of finite index in a finitely generated inverse monoid $M$ is finitely generated. Such inverse submonoids $L$ are also characterized as recognizable subsets of $M$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q722557$797C8384-C298-4402-AB7A-D7168655A132","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"03b1aa900b3de5a0925aa217159ab1892f44684a","datavalue":{"value":{"entity-type":"item","numeric-id":344882,"id":"Q344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$C9486384-3A20-4067-AB67-3AFB04E1BB83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$5DC56AC1-B2DC-4B8E-AD37-EB6350B643DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$610F24AA-C0DD-479C-8EE0-305816103783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c6602c9fff0d9fc56ecc84ffbbf5e1a718d0493","datavalue":{"value":"6911209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$187C3EE4-E2B8-4320-82B4-BB6FA14A4E52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q722557$DA21BF9B-52DC-4F0F-B043-68C678490A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0772b7736e068420ecbe75c706a7e650e4f555","datavalue":{"value":"coset","type":"string"},"datatype":"string"},"type":"statement","id":"Q722557$624DFDF0-F233-43A8-B99B-DC301425422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d75c8a20bcaf61c890fbc54a84a6c941bad1c17","datavalue":{"value":"index","type":"string"},"datatype":"string"},"type":"statement","id":"Q722557$6898DD55-9490-4167-953D-AB168F4CCB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c276693de46a56d8c90df7fa9976704f268ef4a8","datavalue":{"value":"recognizable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q722557$35042806-99C6-4C76-BBA3-DAD04F3F37C0","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":"Q722557$DD9B859C-E51F-4400-8DDD-EE8E3C31A398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c897067990827e37e0053c30a5d3b43c9a7bb0f1","datavalue":{"value":"W2963348521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$36B60DED-617B-496F-A740-B108F9FDEDAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"999968a37f79519f4778fc7fdfc8575cbc2c2685","datavalue":{"value":{"entity-type":"item","numeric-id":4085266,"id":"Q4085266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$6E612121-0B08-4B6C-B23F-E9AEC2ACBDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb2d8cd58680a602311867b5d850f3e81076479","datavalue":{"value":{"entity-type":"item","numeric-id":3139887,"id":"Q3139887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$85ADEAA9-D809-4D5B-832B-4130B2F54638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$BD1335B7-DA53-4581-8343-535E824746CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6cb15a3e7f5b6f451d15ff64565e95e94af0ae","datavalue":{"value":{"entity-type":"item","numeric-id":5840046,"id":"Q5840046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$C298D8E1-4527-4CF2-8AF4-A9B069AC4771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05be222e65600b6184145de46f54233f7adac12a","datavalue":{"value":{"entity-type":"item","numeric-id":3828188,"id":"Q3828188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$1F5D7761-D377-4506-AA54-D21D9E4B8A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaeb3a8e047dbdff458da3a3a6a28427bbb2685b","datavalue":{"value":{"entity-type":"item","numeric-id":5792501,"id":"Q5792501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$C7CD5E0C-87DD-47A3-9512-A2061099DC2A","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":"Q722557$163465AC-A29D-4630-8267-ABA630981F1E","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":"Q722557$71B5D2F9-9357-417D-B52B-F4BC55E04F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653a847b0e494a47307ab3dabe8253959a47e518","datavalue":{"value":{"entity-type":"item","numeric-id":4039407,"id":"Q4039407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$33DCCF3C-D7A9-4F6E-831F-61AD006A89F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ccb759190ed6fe5a6f7e7ca0faf992aa8f2107","datavalue":{"value":{"entity-type":"item","numeric-id":4061136,"id":"Q4061136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$3C1C6D13-D4F5-4172-8187-A40D992690E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$BCA72532-B8C0-4D38-87B6-0DC11B054833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d712afce67335859ecf5b2ecf3bf038245726e","datavalue":{"value":{"entity-type":"item","numeric-id":1144952,"id":"Q1144952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$11E4699A-7A53-48AA-A2AE-3033309625FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48203f407ade36b64aa219affda7eacf7cf3ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5635621,"id":"Q5635621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$02D24EF6-1E7F-4EF0-9926-19F4CCA38F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722557$D316D7BA-B267-4ECE-AE04-71D14C7FAFC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"875db7cc765c7551bf6d7d6fe621c1cc8478b442","datavalue":{"value":"10.1007/S00233-017-9886-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722557$7E352122-CC9F-4812-A7E9-3EEAA3F9BA08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be764fc8ec9fb1348e0907d16dfdb68e4467f5fb","datavalue":{"value":{"entity-type":"item","numeric-id":4594732,"id":"Q4594732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b21d0bb382a640eadc3c0e4b01803ebb6ed7109","datavalue":{"value":{"amount":"+0.8023573160171509","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":"Q722557$FFAF4B6B-D74B-4AB5-8C9B-A6C81FA59CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1af322a43185a826d68065f3ffc1ccc5c89cee","datavalue":{"value":{"entity-type":"item","numeric-id":4026901,"id":"Q4026901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d41c4bc9b7aad3a9c3c77ee1ceed86a44f71b9c","datavalue":{"value":{"amount":"+0.7674276232719421","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":"Q722557$84970214-E24B-4CD2-BBA2-3CB003CBEB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2de60085b49ee06110b8070eab2abfd0766091","datavalue":{"value":{"entity-type":"item","numeric-id":1270378,"id":"Q1270378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3542206fca9dd7eda54175d0dc6199c2628c9c36","datavalue":{"value":{"amount":"+0.767322301864624","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":"Q722557$32E94359-FA4C-4480-B9C3-880A42D51A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9bd0e0c25f7417063a64a65fadb0ad625aff3a","datavalue":{"value":{"entity-type":"item","numeric-id":5478640,"id":"Q5478640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e461a98331893f3c078e93b7406b7ad68974ab","datavalue":{"value":{"amount":"+0.7668265104293823","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":"Q722557$9A9E8B72-E3B7-408C-9747-C229506E0261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"910a6ff12985cd24ccd91a404c0964fd0a108ed8","datavalue":{"value":{"entity-type":"item","numeric-id":2009666,"id":"Q2009666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ccd6881ad7e970c066a0c1bc255bd61b993863","datavalue":{"value":{"amount":"+0.7649628520011902","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":"Q722557$D3C5A67C-11E1-4813-AE91-18AE57DB2857","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverse subsemigroups of finite index in finitely generated inverse semigroups","badges":[]}}}}}