{"entities":{"Q555754":{"pageid":557521,"ns":120,"title":"Item:Q555754","lastrevid":62716410,"modified":"2026-04-11T07:58:34Z","type":"item","id":"Q555754","labels":{"en":{"language":"en","value":"A new construction for free inverse semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174882"}},"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":"Q555754$61B7404B-53B5-49A2-8751-F9B2798309C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af5a49ab599e3664ec3f10d0ca0dae167e6b8cf","datavalue":{"value":{"text":"A new construction for free inverse semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555754$6D16688A-32D9-4F5B-9D36-76341BC0135E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eda8a0f99e79b47f1d22603c83b6bda2196d6895","datavalue":{"value":"1082.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$9952FEF5-8575-4057-A123-C12F26C3343D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ee94f26ceb8a3ea167d9e83d3fa5d38878a8046","datavalue":{"value":{"entity-type":"item","numeric-id":555753,"id":"Q555753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$297D0F87-D69E-4AF2-B6A2-412A7CE4ED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dea7267854c5bcb2fa7a028843ebfb9fc60c804","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$D0515A6D-34CB-4A19-BEEC-E57596768D3F","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":"Q555754$813A6E25-EE2B-49C1-9482-A60EDB412684","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-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":"Q555754$FF2741AB-391C-4896-B296-30913C41AEFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be3ba32603ed5222ba159497b3c23c33c842d2b1","datavalue":{"value":"Let \\(X\\) and \\(X^{-1}\\) be disjoint sets, \\(X\\to X^{-1}\\), \\(x\\to x^{-1}\\) a bijection, and \\(Y=X\\cup X^{-1}\\). The free monoid \\({\\mathcal F}^1\\) on \\(Y\\) is turned into the free involuted monoid on \\(X\\) by considering an additional unary operation. If \\(\\sim\\) is the least inverse semigroup congruence on \\({\\mathcal F}^1\\) then \\({\\mathcal F}^1/\\!\\sim\\) is a model of the free inverse semigroup on \\(X\\). An algorithm is given which finds for every \\(w\\in{\\mathcal F}^1\\) a shortest word on \\(Y\\) in the \\(\\sim\\)-class of \\(w\\). Words which are the shortest in their \\(\\sim\\)-class are characterized abstractly and are called canonical words.   Canonical words which represent idempotents are called canonical idempotents. The set of all canonical idempotents is constructed recursively and a transparent test is given which determines whether given canonical idempotents are \\(\\sim\\)-related. A word on \\(Y\\) is said to be reduced if it does not contain a subword of the form \\(xx^{-1}\\) or \\(x^{-1}x\\). It is shown that every canonical word has a canonical decomposition of the form \\(u_0e_1u_1\\cdots e_mu_m\\). Here \\(u_0,\\dots,u_m\\) are words on \\(Y\\), with \\(u_1,\\dots,u_{m-1}\\) nonempty, \\(u_0u_1\\cdots u_m\\) is a reduced word, and \\(e_1,\\dots,e_m\\) are nonempty canonical idempotents, subject to some further conditions. If \\(w_1\\) and \\(w_2\\) are canonical with canonical decompositions \\(w_1=u_0e_1u_1\\cdots e_mu_m\\) and \\(w_2=v_0f_1v_1\\cdots f_nv_n\\), then \\(w_1\\sim w_2\\) if and only if \\(m=n\\), \\(u_i=v_i\\) and \\(e_j\\sim f_j\\) for all \\(i\\) and \\(j\\).   The solution of the word problem thus obtained is used to give a description of the Green relations and the natural partial order on \\({\\mathcal F}^1/\\!\\sim\\). The authors investigate the birooted tree representing a given canonical word, describe free Clifford inverse semigroups and free monogenic inverse semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$AFB1EC7E-5EA9-4034-A3D6-465EAA6A2E79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$284B1381-713F-498F-B759-300DBD7225B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$850E63DF-42D1-4308-9700-85317B75E527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c4c96165290c46b53ce575cb8f696cea026c1c","datavalue":{"value":"2174882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$E79E24B7-4091-4AEE-A1B6-53C47E83A2D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e96a14a19c31b2e5c3ce720c662694b801071d","datavalue":{"value":"free inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$408EE19E-B179-48A9-B921-1A6C5BD3DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406edf67769269b8f763aa1b5f26e9f706533bda","datavalue":{"value":"canonical words","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$0E891B2A-807D-4F06-9466-5BBF00D54F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde68cba154803111ecc308e50d97a77697228fd","datavalue":{"value":"birooted trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$C002C340-65B6-4A4B-A591-FE4F96EDBE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$AF56323D-7C1A-41AC-9338-5066AFA5892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$7326ACD1-A055-44B3-B83E-507D2560925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q555754$91C118A9-662D-4E8A-90DE-11508BD35FCE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eee9bd9c9ab6ed5b7dd1e7910ae950215efafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$573AC40A-CD8D-41FE-BA47-E0BE69091552","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":"Q555754$4E01675D-587A-4C7A-9FBF-9F4920C1A597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44afb5b93c11ae5afc6530637057c790f4d4fa1d","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2004.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q555754$825ADF78-EE90-40FC-B471-68500A484C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02b7eb4ddc673060d8d5dd6e15164573d0ee3b3c","datavalue":{"value":"W2053723525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$25BDD16E-4F69-4A10-864B-10E63C6733E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d046452b9236ae4f9d8f48ad3b6413294ebdc503","datavalue":{"value":{"entity-type":"item","numeric-id":3141775,"id":"Q3141775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$0F900A23-BD98-4ECB-B3C1-648A90CFC148","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":"Q555754$3AB6021A-6433-4639-B5BB-12C1A2984441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ea953e17130d64a516a22a5b3b4b615853c992","datavalue":{"value":{"entity-type":"item","numeric-id":5608798,"id":"Q5608798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$C9CF405C-983E-48DE-99BA-80175BD9AC5F","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":"Q555754$CA2EA21E-F350-426D-8EE5-E4476E976BBB","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":"Q555754$46567C14-2D46-4588-82BC-73DD7B8ABE71","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":"Q555754$2A58D8AA-CAED-4F27-8E2B-660341264D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d299356d61b26fd8957bf7cde1655b7215bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":5537667,"id":"Q5537667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$DB19DE5D-C66B-4B52-B061-0C6DC88590DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b22d53304e5d7f2c89df4060fbbf81fa8bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5919200,"id":"Q5919200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$1A7F1BF7-0B42-41E9-B63B-57A735128010","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":"Q555754$47BC24D7-55AC-4ADD-A704-2FC5D824A95B","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":"Q555754$F3C873B4-5628-4351-A7CC-9B9F1A72F765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5791eeedca9db7469880e49d54641c3b80c51","datavalue":{"value":{"entity-type":"item","numeric-id":5828006,"id":"Q5828006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$178451B1-EBF6-4D46-B056-B78570D6FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7797e1be4fa363d2c845c4c133ddfb7c33060a8","datavalue":{"value":{"entity-type":"item","numeric-id":5680307,"id":"Q5680307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$F8DD0F97-4E05-46C2-8302-E11147005667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe44b3f6e4ae048bd44468ea28c94dfaf454c20","datavalue":{"value":{"entity-type":"item","numeric-id":5921598,"id":"Q5921598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$56609385-774E-4257-9C3B-11A68265D57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf4cb1572dff8cadd879375a9bce2c718097bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5670833,"id":"Q5670833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$76E9CDD4-AF3F-4C71-9DBA-4E24DB861DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcae7d1b016f8d8c790e0e0c32c77e205366c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4189451,"id":"Q4189451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$2A65A680-445B-472E-A8CD-E86EA3D345DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ca89d9093a9d08af59389e89df877a5f9985d5","datavalue":{"value":{"entity-type":"item","numeric-id":5181881,"id":"Q5181881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$C04B4619-A666-41BA-8889-3AABEB8BE3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26eb87046f6e48749df135cfe9f091dd8d2409","datavalue":{"value":{"entity-type":"item","numeric-id":4056205,"id":"Q4056205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$7FCE3DA3-2B69-4E41-B2DE-683314274AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdb0b5dc7edb708f9dd82aee154a67c321c2674","datavalue":{"value":{"entity-type":"item","numeric-id":5822089,"id":"Q5822089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555754$8567A598-7B41-4D2E-93CB-85B83F482DF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"629fcfe71e96bea6c6fa7f3c3dbdd49e3c807605","datavalue":{"value":"10.1016/J.JALGEBRA.2004.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555754$8F9A5EDA-C9C9-428B-8300-724FC860E2FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f1787720748432b32f297285069c3d75b695df","datavalue":{"value":{"entity-type":"item","numeric-id":790947,"id":"Q790947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884807762aaf20aad837e591726f9d329a58bc76","datavalue":{"value":{"amount":"+0.870224118232727","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":"Q555754$5B1FBA87-FACF-4C09-A8D2-6B4F8828E408","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":"16ffad24606d025a4b4fab075fc812d42aff6973","datavalue":{"value":{"amount":"+0.8415263295173645","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":"Q555754$3B0592DD-A37B-40A0-9EE7-7400027D1738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e19159155ac00e45570004a42885d7368bc0535","datavalue":{"value":{"entity-type":"item","numeric-id":579420,"id":"Q579420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0162902c588eb148d0d9fb5c27fec8b32f80ec85","datavalue":{"value":{"amount":"+0.8327372670173645","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":"Q555754$B0B84222-5329-4D89-A6FB-058C63A1D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ea95b3643dc7078ba5dd14e98895645ff66e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1576307,"id":"Q1576307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca145d931bc5dc10611aee9c8c835791d320fa6d","datavalue":{"value":{"amount":"+0.816433846950531","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":"Q555754$4C3010BE-4FDA-44FC-9783-8733C4E11DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95977a3960b76e807868bf4343c4f57a9e650268","datavalue":{"value":{"entity-type":"item","numeric-id":3636019,"id":"Q3636019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b9c8926f1bde1e9d5fe2a94072a1e0a7b1d0da","datavalue":{"value":{"amount":"+0.803063690662384","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":"Q555754$4EBF65C7-E61C-49F1-9F00-2CDFFDACF16C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new construction for free inverse semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_construction_for_free_inverse_semigroups."}}}}}