{"entities":{"Q2361723":{"pageid":2372466,"ns":120,"title":"Item:Q2361723","lastrevid":57880380,"modified":"2026-04-02T22:28:53Z","type":"item","id":"Q2361723","labels":{"en":{"language":"en","value":"A structural property of Adian inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6737976"}},"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":"Q2361723$B3E4C556-F627-44FB-A84F-C6F6EB571B76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1e0e33714f085f34b5087fe8a578cb3ecf43d50","datavalue":{"value":{"text":"A structural property of Adian inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2361723$509BA0C7-F125-489A-AA5F-15E27ACFE8FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43bcc8d61cda24e772384ca82a46cca929aa1d58","datavalue":{"value":"1378.20060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$3577A27D-1F2B-4A20-97AC-976B35D9FAE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75293bd3941e5be3efcc1b3ed881d99f7faa05ca","datavalue":{"value":{"entity-type":"item","numeric-id":1677269,"id":"Q1677269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$83D469CB-4200-4530-A529-C11E2C7EE7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b25768c12c89b4068befee2ede96810160a318fe","datavalue":{"value":{"entity-type":"item","numeric-id":2361722,"id":"Q2361722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$83271F4A-104C-407D-A49F-E2E032233C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a7207080c37638570b9bb7ab458f7b35da15e04","datavalue":{"value":{"entity-type":"item","numeric-id":1122662,"id":"Q1122662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$02E5C7DD-9FB5-4012-949E-BE8E4BEFF491","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":"Q2361723$E76D7932-8A3C-463C-AD9D-CEBB76B12B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"758f9fd6df3ac6c3368addd89bd0f25a24f95ed3","datavalue":{"value":{"time":"+2017-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2361723$D514838F-9416-4BD3-9B6B-5D37BA5BC658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79c93abe0d5805e09aaeb1680659718dbc2385c2","datavalue":{"value":"https://arxiv.org/abs/1511.03720","type":"string"},"datatype":"url"},"type":"statement","id":"Q2361723$7C61378D-AB11-4016-A054-676043AF0B24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9deaa0880c535cb4ebb9ec9f0b525fefca4437fc","datavalue":{"value":"A well-known result of \\textit{S. I. Adian} [Proc. Steklov Inst. Math. 85, 152 p. (1966; Zbl 0204.01702); translation from Tr. Mat. Inst. Steklov 85, 123 p. (1966)] states that the semigroup \\(\\mathrm{Sgp}\\langle X|R\\rangle\\) over a positive cycle-free presentation \\((X|R)\\) embeds into the group \\(\\mathrm{Gp}\\langle X|R\\rangle\\) over the same presentation. This paper is devoted to inverse semigroups over cycle-free presentations. Clearly that an inverse semigroup \\(S\\) embeds into a group \\(G\\) if and only if \\(S\\) is a group. Hence we can not expect that Adian's result remains true for the inverse semigroup \\(\\mathrm{Inv}\\langle X|R\\rangle\\) over an arbitrary cycle-free presentation \\((X|R)\\). However, main result of this paper is a far analogue of the Adian's result [loc. cit.] and states the following: if \\((X,R)\\) is a cycle-free presentation then the inverse semigroup \\(\\mathrm{Inv}\\langle X|R\\rangle\\) is \\(E\\)-unitary. This analogy is based on the classic McAllister theorem which states that each \\(E\\)-unitary inverse semigroup embeds into a semidirect product of a semilattice by a group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$F4CAE6BD-D93C-4F49-A1DB-DB48F116B6FD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fda8ed3af24f29e5120b55427d956276ffcc6fde","datavalue":{"value":{"entity-type":"item","numeric-id":501591,"id":"Q501591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$F17DF706-29A8-4467-A869-7149E83B693F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$77EBD322-B0BB-4E5F-8BA4-05DB9FD14A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$0EF619B3-D7AF-45C6-8603-558F7AED2B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$8F580AC9-AA21-4B87-9A29-7DA3D2190F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7582e476fe5c26c8f65647f039c503b919ed58ea","datavalue":{"value":"6737976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$2B35E109-6052-4082-ABA8-84A6C50A4D40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$F533BC03-412B-4286-B60F-1007B6E74ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b599605b2192672cbadc962d3a50acc0100967","datavalue":{"value":"positive presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$37A0D04A-BF47-4B6B-8ABE-BABC32A25130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2168e29277cf60e58fda6ad1c0e40bbc7d3f3661","datavalue":{"value":"E-unitary","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$62CBF401-510F-4F34-A1A5-1C11D375800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c461369022e59934aede1b34cd22b743cba30044","datavalue":{"value":"van Kampen diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$5EB985AC-6F88-48E9-8561-418E9F91A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"574a3b0ca1a55f6fd91b53f6560bd650e5fe00a9","datavalue":{"value":"cycle-free presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2361723$FADD2B25-4F84-4434-8F14-4EE65A99557A","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":"Q2361723$201D7CD0-A8A4-4D0F-9BD0-FFA067D581CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce01a48c70808fa4ffee2a3bad31c6189d2c7f53","datavalue":{"value":"W2272578506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$C20AED54-9294-439E-9752-AD38BBAF10F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7795687d972198fa91df67bdb280b7afe9a4fce9","datavalue":{"value":{"entity-type":"item","numeric-id":1141761,"id":"Q1141761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$D71BD47A-C598-4C93-A65A-9E7CCB198D86","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":"Q2361723$CBF11729-D5FE-4368-AE0E-551AF845FFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$DA192033-B820-40DF-A06A-A9236BF2AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040415d351156844afd3404e4c23cb0d719d904","datavalue":{"value":{"entity-type":"item","numeric-id":582399,"id":"Q582399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2361723$9DA2A1DA-EF62-4FA7-BBFE-ADD9A54F9DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51a98ec0ede3ea2d387052fa453983f8350b71cb","datavalue":{"value":"10.1007/S00233-015-9767-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2361723$7DA4928A-6878-4282-A545-F3B7331EC95D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11904907173c65e40554f1c87f651d1fdcbe0002","datavalue":{"value":{"entity-type":"item","numeric-id":797702,"id":"Q797702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb91eff15ce7d8e91c2a3bafe999508455b3588","datavalue":{"value":{"amount":"+0.7748028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$BCA9ABF9-5561-4D8C-BA0D-6C3CF0B70B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba165c2530faaae3998eba70fcbb5fd27f07528","datavalue":{"value":{"entity-type":"item","numeric-id":1057989,"id":"Q1057989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626a6324fac2f81745835d8e5f8d6ec29947674c","datavalue":{"value":{"amount":"+0.7734213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$0B0A5CD6-BF42-4FE6-ACD2-02A8375E828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff97da5b079f0f088f90d8cecacfcd10cb4a2dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4435541,"id":"Q4435541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4b50b1988d6caacf1f408ecb8365e6d5a30371","datavalue":{"value":{"amount":"+0.76929545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$AF04F59E-F5AE-462F-8F08-42EA9013EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95313ce16119ea881bfe90dfd90e8dd826464d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5429975,"id":"Q5429975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af093c52f393a8eea294786dd70361fe467c7c0a","datavalue":{"value":{"amount":"+0.7666515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$E8FD7B05-D6B9-4108-B535-8DB8021DB022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532411bc1bf1f069d1a6daa4b6dc0d5d634698a8","datavalue":{"value":{"entity-type":"item","numeric-id":5325081,"id":"Q5325081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a3cb33e78d4e54c6102edb3f29a803489db263","datavalue":{"value":{"amount":"+0.7610488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$2EB38C6E-544F-4144-BC8B-0654BE145750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e976521e75ad0ac597f8be0e6966b22087f652e9","datavalue":{"value":{"entity-type":"item","numeric-id":5137286,"id":"Q5137286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5e363449b504ed7dc8dd29d89e97b3ac62a572","datavalue":{"value":{"amount":"+0.7603067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$242E0DFA-018B-4F33-8E0A-E9479136264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab44dddf33f8ec0b16c60bfa9456fe92f35a5ca","datavalue":{"value":{"entity-type":"item","numeric-id":2739047,"id":"Q2739047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30518ee2478b9fd59d2ca82196090c45c54265c7","datavalue":{"value":{"amount":"+0.759252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$74E88297-7182-4FB2-BE16-C03CD68EF513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a7cf73de3fff436f9c5a3978357ca8c79600a8","datavalue":{"value":{"entity-type":"item","numeric-id":700388,"id":"Q700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3533404491dbb3e351702543f145dd06f6e3b508","datavalue":{"value":{"amount":"+0.75910985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$EE496CA9-DFAD-42F9-A137-2FB056AE8AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8906e04303e06a1d419ba9a8c6b79ad1a88b4ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3390946,"id":"Q3390946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a92b77fbd07c885a1637cf61ed91e7f2546f329","datavalue":{"value":{"amount":"+0.7569266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$0523714D-662B-4224-92ED-BE7B79E70ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f996ac181fe15299c5cc0ffe64028bfba84529ef","datavalue":{"value":{"entity-type":"item","numeric-id":5429972,"id":"Q5429972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cad8a32bb4bb128d0419ebc1bafd7b1387b00c","datavalue":{"value":{"amount":"+0.7562633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2361723$86D1D053-5B89-40ED-80AA-8548BBE51951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2361723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2361723"}}}}}