{"entities":{"Q1917528":{"pageid":1928270,"ns":120,"title":"Item:Q1917528","lastrevid":69299160,"modified":"2026-04-13T06:05:05Z","type":"item","id":"Q1917528","labels":{"en":{"language":"en","value":"Some combinatorial properties of infinite words and applications to semigroup theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897608"}},"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":"Q1917528$80733CB9-5751-4201-B764-58BCE2E73076","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2f35fd63c9d6cdadec16b060ebe3ce1873155f","datavalue":{"value":{"text":"Some combinatorial properties of infinite words and applications to semigroup theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917528$104E0CE1-74CD-4129-A6A0-4B1349D50801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fde65eb45c78865d6fb73f135c5673f4b8ed47da","datavalue":{"value":"0852.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$EF210FC4-2AB3-4425-A514-C64D77136D63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa70513a0e01dcc42a631fba77d8f4a2f2e7889","datavalue":{"value":"10.1016/0012-365X(95)00140-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$DFF800FF-8C4F-41DB-9745-4AF6B8375D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b3dd73e5cf0171018b379710c367d3e877e4563","datavalue":{"value":{"entity-type":"item","numeric-id":355960,"id":"Q355960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$6DFF52E3-F93D-4269-9D22-DF0B1C2577EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52f17c2cd460f5ac810f2c03192e70dd7240742","datavalue":{"value":{"entity-type":"item","numeric-id":213204,"id":"Q213204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$A86C0274-DDB4-491A-90BD-E004F4D77D0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$4D409167-E84B-4044-88CD-1315A1C2C0C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de90f2fb62ce582a6d325b4c112b8bd95345e057","datavalue":{"value":{"time":"+1996-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917528$7D029AF3-0EB1-4CCC-9DC1-970CC7FC27E8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f09776f9acd3cf1c0fbbb97eb1bea2d65bef0578","datavalue":{"value":"The main result, which generalizes a theorem of de Luca and Varrichio, is that a finitely generated semigroup \\(S\\) is finite if and only if \\(S\\) has the \\(\\omega\\)-iteration property, which means that for each infinite sequence \\(T\\): \\(s_1,s_2,\\dots\\) of elements of \\(S\\) there exists \\(n\\geq 1\\), depending on \\(T\\), and \\(i,j\\in\\{1,2,\\dots,n\\}\\) such that  \\[ s_ns_{n-1}\\dots s_2s_1=s_ns_{n-1}\\dots s_{i+1}(s_i\\dots s_j)^2s_{j-1}\\dots s_2s_1. \\]  The proof makes use of bi-ideal sequences and Ramsey's Theorem. Earlier in the paper, theorems of Konig and of Shirshov are the inspiration for a new proof of the result of Restivo and Reutenauer that a finitely generated semigroup \\(S\\) is finite if and only if \\(S\\) is periodic and permutable. The proof is based on the notion of a word \\(x\\) being \\(n\\)-divided, meaning that \\(x\\) can be written as a product of \\(n\\) factors which is greater in the lexicographic ordering than all words \\(x_\\sigma\\) formed by permuting these factors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$5D7E8368-0D61-45F6-A58E-F1E33C666CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$C6FA3D6B-723A-4283-A449-4A08789C96AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$86D4A597-5A2C-46C4-A998-BDB8EB395EFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b981e5a81d3327ededf48f33258234758850af3","datavalue":{"value":"897608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$60B89051-B78E-468B-BC5C-F982003922D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe3e4890b9491f7a13dd1ef089958ae9dd2c2b8","datavalue":{"value":"periodic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$74E4CF77-E1FD-48F7-BDF6-68AADAD9C2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d849fb37eaed68816f73eae7bc8f37520a98219d","datavalue":{"value":"permutable semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$237C7274-24C9-4DA5-8814-F73723310392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$2D30C8E7-C448-4442-AE07-4CD6BB5CBE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6fa6ec53ec54a82fd6df228bb88283e54078f1","datavalue":{"value":"\\(\\omega\\)-iteration property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$AEE5049B-5D31-4A54-8DC3-D64B09D2446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3c0c59193b30c40e4fef3dc02841173cfa1dec","datavalue":{"value":"bi-ideal sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$A52B2FA9-6FCC-4C97-A6EF-C38673DDB37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aacdf68dc6c024c917ceba88b5d1883af9f945d","datavalue":{"value":"Ramsey's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917528$75F0EBEE-9909-41CD-AF22-710BFDFA6DD6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$07E249EB-7BA4-4ED8-8420-0A7AACBC2ADA","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":"Q1917528$59FAC1C2-E908-44D8-B642-60977D0F6669","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3486a2205118699eebd830fbed601b19f7b9845e","datavalue":{"value":{"entity-type":"item","numeric-id":5515397,"id":"Q5515397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$564F606F-10F3-4F96-A0A3-6BC77764EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e053050c5bf6b407e89c08d0ab77b9dc03f0d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5896192,"id":"Q5896192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$808FA240-8351-492B-93D0-FD4A0D345811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e41930ba9b1fd9ddcc0c32232df557efc5af58","datavalue":{"value":{"entity-type":"item","numeric-id":1177143,"id":"Q1177143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$3A3FF833-6E7D-4D94-ADA6-432C316283F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5305d28ff811f6413f3c590ad34719d5d9f930b8","datavalue":{"value":{"entity-type":"item","numeric-id":3994320,"id":"Q3994320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$75734D93-5AEF-42EA-A2F0-AA69D299B8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4616330ea25014ebea8156ecb856ba422786dab","datavalue":{"value":{"entity-type":"item","numeric-id":1173706,"id":"Q1173706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$BBC0EE2E-5317-445B-955E-251E6E9AD37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9995fcf574923026db62022a0bb2d71442bcab1b","datavalue":{"value":{"entity-type":"item","numeric-id":3937604,"id":"Q3937604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$87831FA4-F53E-4E5E-971B-AD55A69BDA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0755527dc26ccf06e69cd62ec76a91e4b8d0335c","datavalue":{"value":{"entity-type":"item","numeric-id":3903002,"id":"Q3903002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$FCDE94E1-8064-4FE6-A2F7-E805975BAEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c89fcecb6410957b316a73b4c0aecb817a2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1084511,"id":"Q1084511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$CAD0F0EB-73DD-4690-9BAA-CA5B1B064AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15821cad4aa93854b1bff9ae0dde3d563d79b3a","datavalue":{"value":{"entity-type":"item","numeric-id":1112079,"id":"Q1112079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$C6A21A5E-2FC6-40AE-BB70-9272D8D96BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6e49eb2569ef230b1ecc39f657e463eda40a55","datavalue":{"value":{"entity-type":"item","numeric-id":1175762,"id":"Q1175762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$4A63A124-E816-43A4-8ED6-3B275CECF20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9261203dd9d0cba47f595d5c10a25b919e17074","datavalue":{"value":{"entity-type":"item","numeric-id":4286025,"id":"Q4286025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$993CBEB5-64EB-4B79-B9C4-1DE08A89AE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93dc9d319947c0965e49e706ddd96ac0ac6cd5d","datavalue":{"value":{"entity-type":"item","numeric-id":1813302,"id":"Q1813302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$DD7D19D5-200D-483D-8602-A6B4E948D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$B8DB2980-8289-4773-A404-C45E50E75A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$712442D5-54B1-4222-A411-099A5DF81A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8af90ec7d57c8f3e8c6335d970aaf3fd817c686","datavalue":{"value":{"entity-type":"item","numeric-id":3986721,"id":"Q3986721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$977C6A5B-79C0-4333-9247-D7873C32EB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdd9c5c725aab0098be93be7d11f0c2ed7d1bbe","datavalue":{"value":{"entity-type":"item","numeric-id":4006441,"id":"Q4006441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$DCF6C3D2-3FAB-4033-9D0A-92D6C3AE2DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7104e1508241a027c3f023b8ca095860bc9c60a5","datavalue":{"value":{"entity-type":"item","numeric-id":3686059,"id":"Q3686059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$51E3B86D-6C96-43DE-9813-CDA3AF9CED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb94f2b2c398f4c051f812d816854da023516c3f","datavalue":{"value":{"entity-type":"item","numeric-id":797705,"id":"Q797705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$2FC954E4-5902-4116-86D2-2D07A487F775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab88ad1d96d6aeab889667d7029243f441fe4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1079380,"id":"Q1079380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$914D8360-AA5F-4C07-BB3C-98CE29E40187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b175b8fe6b340eb87ba231e284abaf3ed15030c","datavalue":{"value":{"entity-type":"item","numeric-id":3877867,"id":"Q3877867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$C0623902-9B60-43BD-8ED4-46CEBEEEEF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c60f76870074e66da82545cad2fccffb36bc51d","datavalue":{"value":{"entity-type":"item","numeric-id":910247,"id":"Q910247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917528$42D15167-2AF9-4D53-800E-14A994314C3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7760e130225fb04ed5af45dce0381ca982110eaa","datavalue":{"value":"https://doi.org/10.1016/0012-365x(95)00140-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917528$41A8A9B8-EB65-4BC9-B60E-E76AC52BD9FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0916ed2bb74c5cf61b3f2531a7c94d99cae67722","datavalue":{"value":"W2040224306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917528$F6A1DBCA-AF89-4EBB-9CC0-8FB190616614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a878f0ffb0e3cf8695e6e44c593e7a573a67d039","datavalue":{"value":{"entity-type":"item","numeric-id":3994320,"id":"Q3994320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3bab44678663c9d44f8732c7ff5b41a20ab791","datavalue":{"value":{"amount":"+0.8522478938102722","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":"Q1917528$22B92D60-A145-4D7C-87E8-4B590D334CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b7b8ae9bad8e632980ec1a4bde1707dbd5cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4391161,"id":"Q4391161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2edb1719f77a57393c634d8df0e57aa25b832329","datavalue":{"value":{"amount":"+0.8519679307937622","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":"Q1917528$03604F7E-3780-4135-BBC4-511F4B599844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d065dec723107b74728484af70548c6ac021a769","datavalue":{"value":{"entity-type":"item","numeric-id":3472309,"id":"Q3472309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a5334b30fc56c01ee6de2952d0a870f7276273","datavalue":{"value":{"amount":"+0.8341531753540039","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":"Q1917528$3B879984-F5BC-4EBD-94BE-44888E5FE71F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some combinatorial properties of infinite words and applications to semigroup theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_combinatorial_properties_of_infinite_words_and_applications_to_semigroup_theory"}}}}}