{"entities":{"Q1265539":{"pageid":1276289,"ns":120,"title":"Item:Q1265539","lastrevid":70034058,"modified":"2026-04-13T11:59:34Z","type":"item","id":"Q1265539","labels":{"en":{"language":"en","value":"McAlister semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1203896"}},"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":"Q1265539$DD494C63-0BDB-421D-942B-0142A41717F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5e8e0f3ed89683c3254923688df847589f3311a","datavalue":{"value":{"text":"McAlister semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1265539$B35548B5-9167-460A-BD86-049CF5D95C26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd3edef3e47e6e7192e0a8e90bfa4ab5e497b571","datavalue":{"value":"0907.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$6CE63BEF-19ED-4FB3-A5F5-1A3F7998C89C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$5EBD0E8E-1D3B-4255-A2CD-D655605C478A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$91237170-A0D8-4134-8ADF-CC20C6285261","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ac6288c4dd54f19de1f60f43de451f11c91c5d5","datavalue":{"value":{"time":"+1999-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1265539$8ED58813-4D00-4D60-BAF2-6F6886AE4916","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28da1af3fb8c1d75da96d1db52ba4b00d7dbab7d","datavalue":{"value":"For a positive integer \\(n\\), let \\(\\Sigma_n\\) denote the alphabet consisting of letters \\(x_0,x_1,\\dots,x_{n-1}\\). A triple \\((\\alpha,\\beta,\\gamma)\\) of words over \\(\\Sigma_n\\) is allowable if \\(\\alpha\\) is a prefix of \\(\\beta\\) and \\(\\gamma\\) is a suffix of \\(\\beta\\). Let \\((\\alpha,\\beta,\\gamma)\\) and \\((\\alpha',\\beta',\\gamma')\\) be allowable triples over \\(\\Sigma_n\\). If there exist \\(\\delta,\\delta'\\in\\Sigma_n^*\\) with \\(\\delta\\alpha'\\gamma=\\beta\\) and \\(\\alpha'\\gamma\\delta'=\\beta'\\) then define \\((\\alpha,\\beta,\\gamma)\\otimes(\\alpha',\\beta',\\gamma')=(\\delta\\alpha,\\delta\\beta\\delta',\\gamma'\\delta')\\) else \\((\\alpha,\\beta,\\gamma)\\otimes(\\alpha',\\beta',\\gamma')=0\\). If we set \\((\\alpha,\\beta,\\gamma)\\otimes 0=0\\otimes(\\alpha,\\beta,\\gamma)=0=0\\otimes 0\\) for all allowable triples \\((\\alpha,\\beta,\\gamma)\\) over \\(\\Sigma_n\\), then \\(\\otimes\\) is a binary operation on the set of all allowable triples over \\(\\Sigma_n\\) with added \\(0\\). Let \\(M_n\\) be a groupoid on the set of all allowable triples over \\(\\Sigma_n\\) with added \\(0\\) and with the operation \\(\\otimes\\).   The aim of the paper is to give properties of \\(M_n\\). It is proved that \\(M_n\\) is a combinatorial, completely semisimple, \\(0\\)-\\(E\\)-unitary inverse semigroup that it is not strict inverse and all \\(\\mathcal D\\)-classes of \\(M_n\\) are finite. The lattice of all two-sided ideals of \\(M_n\\) is isomorphic to the lattice of all two-sided ideals of a free semigroup over an \\(n\\)-element set with added zero. Further, \\(M_n\\) divides the square power of the polycyclic monoid \\(P_n\\) and \\(M_n\\) is isomorphic to the inverse semigroup over \\(\\{x_0,x_1,\\dots,x_{n-1}\\}\\) with the presentation identities \\(x_i^{-1}x_j=x_ix_j^{-1}=0\\) for all \\(i\\neq j\\). The monoid \\(M_1\\) is isomorphic to a free inverse semigroup with one generator and thus \\(M_n\\) are natural generalizations of a free inverse semigroup with one generator. The monoids \\(M_n\\) for positive integers \\(n\\) were first defined by \\textit{D. B. McAlister} [Trans. Am. Math. Soc. 182, 85-117 (1973; Zbl 0273.20046)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$6EB4DF90-F1ED-4E99-8C19-FD4E617D4DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$437E1410-B5F9-461A-8ECD-5B2283F99E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$50292F1D-5D26-4FBD-B4A2-63D4DF7A0B02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c449405129a8e6f060130e67167da1ba37023a0c","datavalue":{"value":"1203896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$5DD26975-7DB7-4593-B771-0AD2D5F6E03B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$505435F1-7BB4-46F9-A632-1149F84F275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927c6f96f17fc7f4c2402b7b295163f5953bccb5","datavalue":{"value":"bicyclic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$DA821436-667A-4F7B-9DDE-FD784A647F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16f9c5ed08e46d7b330e406eccc3cf99d5fa8b47","datavalue":{"value":"polycyclic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$3BA3F06C-8EFE-4866-BA4A-B1458B149032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$144212F4-67CE-40D1-8703-5815D37E0911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2767f153c05849d3ab535095a92dd4696f2b60a2","datavalue":{"value":"lattices of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$34E574C6-24C6-47A9-A953-F9DDA946D77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$CAA12999-43E6-4099-A0C5-D018D10885E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265539$07806FC4-FD51-4EB1-AB8D-556DC8B3A7B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$3CAF2C1B-9F22-4F26-B4B7-4B4C7608AE30","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":"Q1265539$100341E9-2E25-4111-B90D-939BE6D5846C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3906d616abaef074baeaeb5b5ea1c90829981d62","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7301","type":"string"},"datatype":"url"},"type":"statement","id":"Q1265539$C542CD73-7C66-4218-B805-0B4D8C35F5C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcb5374d1a5a8006ba4b26a4a4ef00e0276ef8a0","datavalue":{"value":"W4213076102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$3DE10DAB-35CB-43EB-97BB-1C28C8E86279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9a5b377e368bc3aa52a8373dbf1b1c1e128aa8","datavalue":{"value":{"entity-type":"item","numeric-id":798782,"id":"Q798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$55685702-719E-4DAB-B885-21CC10B7F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780610de9d89a23766447be07e4aea603f57ce42","datavalue":{"value":{"entity-type":"item","numeric-id":798783,"id":"Q798783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$ECB2D143-33F7-4618-8973-77C9496D6968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f3ba5cd5770b6f70d9beac2b5ed0ca71f49545","datavalue":{"value":{"entity-type":"item","numeric-id":1254709,"id":"Q1254709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$D7CB088E-94DE-4773-9823-B85B145C676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52df0880c0858127f95c8a9c863c0f3dc2fd1384","datavalue":{"value":{"entity-type":"item","numeric-id":5673096,"id":"Q5673096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$75108C6F-D53D-4597-B042-95AFE0B55712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$C5118AA6-AD37-4807-8438-6EE1315A93B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af327652191f5148f986c54a48fba35769e5b165","datavalue":{"value":{"entity-type":"item","numeric-id":1366988,"id":"Q1366988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$A538EF2E-0DAD-42D6-B89A-F71D6B400692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8373afc01e1125b92396d5acb94467c4c1dc88bf","datavalue":{"value":{"entity-type":"item","numeric-id":5181880,"id":"Q5181880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$44672196-C613-408C-89E5-BB7B766EA9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad802a99c6d7faf6dfebc1ddfe208ac1c527d89","datavalue":{"value":{"entity-type":"item","numeric-id":5606625,"id":"Q5606625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$B1CED7C2-22FC-4557-B2C5-8BC830A16C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$3F9DC06D-CB9E-46F9-828A-ABCA98F0A212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b016188c2356926f157aec6c4f477950aa3709","datavalue":{"value":{"entity-type":"item","numeric-id":3728243,"id":"Q3728243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265539$53A585AA-B352-4A6D-829C-438997646958","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8627a03b9079a08b36d0acea7a9a954e7da856e0","datavalue":{"value":"10.1006/JABR.1997.7301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265539$1E63CD57-B3B0-419C-83ED-2CAE40D2200F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bbbb3b07cc7cd8eaef0c086f6f1e3bd429d85f","datavalue":{"value":{"entity-type":"item","numeric-id":5429977,"id":"Q5429977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f238f354c78f170bfa03b28dc6ddfa95a7dd84","datavalue":{"value":{"amount":"+0.7565886378288269","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":"Q1265539$05751927-A9C1-4187-A0C0-62CF8D7A0E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34754d7cd5588cb72d8cee3156d7ed8727b69fb0","datavalue":{"value":{"entity-type":"item","numeric-id":4734028,"id":"Q4734028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8bf82e044b1b4a4affa83296a13f0a16275a73","datavalue":{"value":{"amount":"+0.73891681432724","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":"Q1265539$63C2EFBD-760A-449C-8BE0-6323C5398992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b8062d4cf1406d49b8d714d7bf6d08eb3918ccb","datavalue":{"value":{"entity-type":"item","numeric-id":555754,"id":"Q555754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb84a4605e49a468e938a230d1df360e5b267d4d","datavalue":{"value":{"amount":"+0.7323715090751648","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":"Q1265539$B2555E0E-1A40-4B45-B8D6-7339B70FFE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e07ff43aa1b6e47fb397405a59ed18082ffa7","datavalue":{"value":{"entity-type":"item","numeric-id":5895308,"id":"Q5895308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ed5a0a03114eac5a76ddf4ca6c20ae5237bb43","datavalue":{"value":{"amount":"+0.7319505214691162","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":"Q1265539$59037A30-CA6B-448C-B7CD-BD4790EED451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae50a528b4620a71e0815d02b49a9c3fc7d095dd","datavalue":{"value":{"entity-type":"item","numeric-id":3325919,"id":"Q3325919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a384f072659907cae1f576568141ec63282f8433","datavalue":{"value":{"amount":"+0.7317212224006653","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":"Q1265539$49679D84-97FF-4975-B12E-3D46B243CFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"McAlister semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/McAlister_semigroups"}}}}}