{"entities":{"Q1924519":{"pageid":1935261,"ns":120,"title":"Item:Q1924519","lastrevid":69674694,"modified":"2026-04-13T08:38:00Z","type":"item","id":"Q1924519","labels":{"en":{"language":"en","value":"Binary words avoided by the Thue-Morse sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 936969"}},"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":"Q1924519$C51609F7-4AD1-4063-942B-3DCFD29022A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"852b52aeb58d44dea131389499abdc6015e07c20","datavalue":{"value":{"text":"Binary words avoided by the Thue-Morse sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924519$8B247950-02E6-4CDF-9EA0-105B7C0D9FA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3045bdade6b8c25ecbfe2044860b826b3f45abd0","datavalue":{"value":"0859.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$50A847AD-166A-4945-9741-7E993A45B87C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f68391b96d1c355a062621dd7425d574a1df2de","datavalue":{"value":"10.1007/BF02574136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$525EFC1A-9B81-4E2C-A986-6227D733CB10","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":"Q1924519$A3868B85-0A5A-4577-9A52-C44F9C789C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e8527683b5e6eb833b2200eee60facc4858bfb7","datavalue":{"value":{"time":"+1997-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924519$10DF8B40-BF7D-4E25-BE7D-D8DD7784ECDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b11664446909ffec714e784378ac244a6bf1a7","datavalue":{"value":"https://eudml.org/doc/135485","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924519$F3E0B25A-87D2-4029-9610-E0024A0AC7CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4778ce8342d0c6b55b554d6faceb26a2a4fb9e9","datavalue":{"value":"Let \\(A=\\{a,b\\}\\), \\(\\Sigma=\\{x,y\\}\\) be binary alphabets, \\(A^+\\), \\(\\Sigma^+\\) the corresponding free semigroups. A word \\(W\\) avoids a word \\(U\\) (resp. \\(U\\) is avoided by \\(W\\)), if \\(W\\) does not have subwords which are homomorphic images of the word \\(U\\). The sequences \\(U_n=\\phi_n(a)\\), \\(V_n=\\phi_n(ba)\\) of Thue-Morse words \\(U_n\\), \\(V_n\\) are defined by the endomorphism \\(\\phi\\) of \\(A^+\\): \\(\\phi(a)=ab\\), \\(\\phi(b)=ba\\). Define sequences \\(S_k\\), \\(T_m\\) of words in \\(\\Sigma^+\\) by \\(S_k=1(\\phi^k(x))\\phi^k(x)\\phi^k(y)\\phi^k(x)0(\\phi^k(x))\\), \\(T_m=1(\\phi^m(x))\\phi^m(y)\\phi^m(x)\\phi^m(y)0(\\phi^m(x))\\), where \\(0(W)\\), \\(1(W)\\) denote the first and the last symbol of a word \\(W\\).   The main theorem: The collection of binary words avoided by the Thue-Morse sequence is the fully invariant ideal of the semigroup \\(\\Sigma^+\\), generated by the set \\(\\{xxx,xyxyx,xxyxxy,xyyxyy,\\;S_{k}\\) \\((k\\geq 1),\\;T_m\\) \\((m\\geq 2)\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$D71A37C6-C947-427F-B7D3-CC8422F4E38D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$02178684-B54C-4474-88CB-107DCF96E0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$356CCC5A-CD8D-4B11-892F-341CF27282A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$428A7F5A-CC6C-481D-B8AD-D170035FD7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$55FBC9DB-57A2-4C37-BE3F-C5FBAD4A31A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de237f14df76187897fd4c7ea3c6849b3e42e2b1","datavalue":{"value":"936969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924519$79EDD092-2A50-476B-86A3-937DEA30005A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d103f9f6660404d1de3db18fb78c48499f9496","datavalue":{"value":"avoided words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$CFE5451D-6AD7-4B98-BBE2-DB86EA5CB106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1dd973ea67aa2d1d52a892858c49918dc57e1e","datavalue":{"value":"Thue-Morse sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$07EBF237-51E2-4CBD-AA6E-C62FD74D0203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45060fddee4e7ac836bdac40328c4180b8788a4","datavalue":{"value":"binary alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$250B5EDB-2855-4166-A2EF-13DBFA1034D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$15D3FA2F-ED48-469E-8A0B-CA7BFFB99D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70c33e9f63749b5b750f58bffef1b52a7d82155","datavalue":{"value":"Thue-Morse words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$9F622C40-3ACB-41C0-A2B9-33457829B4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9abfaf462bfeafdf676acf9e3d1b33cef37181ec","datavalue":{"value":"binary words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924519$3B62B15D-ED12-4AFC-BA5A-980E1FF6BF2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8106f8271fee56e664d7c347202a9ebb5e69ffe3","datavalue":{"value":{"entity-type":"item","numeric-id":444678,"id":"Q444678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$6FF95C0A-C4F0-4713-9189-5B31C1ED641E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$B8282138-F0D8-4D77-A197-EECA3ECD8774","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":"Q1924519$80B8CAEA-E742-4ADA-AE05-D41AB8BBB340","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7183512e2829a55f36b5e7ad58903f071c8748","datavalue":{"value":{"entity-type":"item","numeric-id":1137038,"id":"Q1137038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$49FB093B-29A5-4897-97DB-EB1A50D0BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d5bc440b7d66f171204ac0728d34298f69953b","datavalue":{"value":{"entity-type":"item","numeric-id":1323331,"id":"Q1323331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$A2E0838E-CE46-4C6E-806A-12A5C02E4A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65d84871ecf66f08ca30c81f96485678593bbb3","datavalue":{"value":{"entity-type":"item","numeric-id":4024637,"id":"Q4024637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$9A9DA4D5-2926-4BDF-9B6F-D37243E12F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d91af4c0ac2900e53cae10e8db9e393340ca32","datavalue":{"value":{"entity-type":"item","numeric-id":2653273,"id":"Q2653273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$79A90C5D-DE14-4779-A188-BA6E9833006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6397b0459e4b59017759e272fe7fd547caa52e","datavalue":{"value":{"entity-type":"item","numeric-id":1186515,"id":"Q1186515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$AD30395E-69E0-4FF8-BF9B-B9A93D9D9E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd1e9d9b0085495b57674a32799aa49a546c48c","datavalue":{"value":{"entity-type":"item","numeric-id":4894097,"id":"Q4894097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924519$886AABB2-56B7-4171-8AA7-3EF9DA5CC07A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e4c15835dbc79221e5d3c841f4721916208516","datavalue":{"value":{"entity-type":"item","numeric-id":1380288,"id":"Q1380288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267460a94595195a89803338b119655f33615f0","datavalue":{"value":{"amount":"+0.9042301177978516","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":"Q1924519$06B9964C-4591-4252-B583-09E5BA96DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e766737d8c8f26e8cb001de9a3b90b230275cb6d","datavalue":{"value":{"entity-type":"item","numeric-id":1123274,"id":"Q1123274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267460a94595195a89803338b119655f33615f0","datavalue":{"value":{"amount":"+0.9042301177978516","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":"Q1924519$223577D9-C4BC-4226-9E24-F2E8F59C1DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf0f2f392e4353dfe4d5cebb0000bb6bb644379","datavalue":{"value":{"entity-type":"item","numeric-id":5024669,"id":"Q5024669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965bed2fd8372ceee9af962fd1c5625dca7e79e9","datavalue":{"value":{"amount":"+0.7903750538825989","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":"Q1924519$9637D181-4721-45AF-B556-F0A5BE71CDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2b6fcaf66603bd8732bbf51e5290af7c398a97","datavalue":{"value":{"entity-type":"item","numeric-id":3779777,"id":"Q3779777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2334f65c3047941f0c7d9f1c727c44e124fa202c","datavalue":{"value":{"amount":"+0.784105122089386","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":"Q1924519$26C366E4-B6DA-4272-8FBA-0815F8972259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0d08b54a83694ff1ff383415c69079a07c18c2","datavalue":{"value":{"entity-type":"item","numeric-id":3774970,"id":"Q3774970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f6aa555c3376d3e83e197089750d2bc82b7176","datavalue":{"value":{"amount":"+0.7759398221969604","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":"Q1924519$36FC22D1-24D4-482B-8EC2-EC9CC2D788C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary words avoided by the Thue-Morse sequence","badges":[]}}}}}