{"entities":{"Q1282238":{"pageid":1292988,"ns":120,"title":"Item:Q1282238","lastrevid":68759469,"modified":"2026-04-13T01:52:20Z","type":"item","id":"Q1282238","labels":{"en":{"language":"en","value":"Decomposition theorem on invertible substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1270291"}},"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":"Q1282238$27D3EBFC-3FB0-4268-AC1B-573CB0F02085","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c18987c9012fc4f8f8bb7f05e06734be42c21e3","datavalue":{"value":{"text":"Decomposition theorem on invertible substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1282238$A44E2A22-DE36-4403-80FC-C360C520854B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df4c75c798fca19c4f4833e1ac61bb16834c9611","datavalue":{"value":"0924.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$98F90698-14B3-469A-A5FC-45C53BA4D81C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a63d3d2fe3ee9c1c5028dfb6e0b9083987f85c","datavalue":{"value":{"entity-type":"item","numeric-id":1282237,"id":"Q1282237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282238$F37209E4-79D6-4394-A58D-95B89A0C5652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c71626662d6be63e63197eda398559341acf326c","datavalue":{"value":{"entity-type":"item","numeric-id":193658,"id":"Q193658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282238$EDFF6DA9-4101-44A1-97E4-3B20BE46B95B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"903611b45fdefcb5db6a1d6c4d381fc130c82383","datavalue":{"value":{"entity-type":"item","numeric-id":189326,"id":"Q189326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282238$28BC0850-19EE-424A-B2D8-273B34E85A8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e77efa021c5841554657777a21e1e793eef3b007","datavalue":{"value":{"time":"+1999-07-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":"Q1282238$0C3EA33E-9348-473A-A187-4E27B6E0231A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39917d46f8f2962a36d829e557d7ef45c58618c0","datavalue":{"value":"A substitution on \\(\\{1,2\\}\\) is exactly a morphism of the free group generated by \\(\\{1,2\\}\\) such that the images of 1 and 2 do not contain any symbol \\(1^-\\) or \\(2^-\\). A substitution is thus called invertible if it is furthermore an automorphism of this free group. \\textit{Z. Wen} and \\textit{Z. Wen} proved [C. R. Acad. Sci., Paris, S\u00e9r. I 318, No. 4, 299-304 (1994; Zbl 0812.11018)] that the monoid of invertible substitutions is generated by the following three substitutions:  \\[ \\begin{cases} 1\\to 2\\\\ 2\\to 1\\end{cases}\\qquad\\begin{cases} 1\\to 12\\\\ 2\\to 1\\end{cases}\\qquad\\begin{cases} 1\\to 21\\\\ 2\\to 1\\end{cases}. \\]  In the paper under review the authors give a new proof of this result and a geometrical characterization of the invertible substitutions. Note that two other characterizations of the invertible substitutions are known: (1) they are exactly the morphisms that send any (resp. one) Sturmian sequence to a Sturmian sequence [\\textit{F. Mignosi} and \\textit{P. S\u00e9\u00e9bold}, J. Th\u00e9or. Nombres Bordx. 5, No. 2, 221-233 (1993; Zbl 0797.11029)]; (2) they are exactly the morphisms \\(\\varphi\\) such that \\(\\varphi(12)\\neq\\varphi(21)\\) and \\(z=\\varphi(21121121211212)\\) is balanced, i.e., for any two factors (subwords) \\(u\\) and \\(v\\) of \\(z\\) having the same length, the numbers of 1's in \\(u\\) and \\(v\\) are either the same or differ by 1 [\\textit{J. Berstel} and \\textit{P. S\u00e9\u00e9bold}, Bull. Belg. Math. Soc. -- Simon Stevin 1, No. 2, 175-189 (1994; Zbl 0803.68095)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$88046D80-2EDE-452D-8AC7-B7F4E1BF84DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"845abdf0c3e7df8eeaf94dc258fde16321cf5952","datavalue":{"value":{"entity-type":"item","numeric-id":187638,"id":"Q187638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1282238$B1A6F1B3-4CC3-466F-BBAC-762572883FCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$671EA200-0CC3-4A01-8331-970A0138EA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$572405E8-4A2B-46A5-9921-BD58C9E65EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$049D0CF9-4716-491E-9ACF-A66A9A17B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$007222EF-C843-4D7E-9033-B963346EFC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$E2F76430-BEAE-4C00-9049-2C1F5B9F937D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e972a4fe54689e7889656d7c19f9b9e90be513b6","datavalue":{"value":"1270291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1282238$A3052CA0-1679-4505-8636-42003A5DE371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6ee695a66704dd5e6b23ca8f0d7f47e5d44fc5","datavalue":{"value":"balanced words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$F38223B3-43B2-4A42-807D-72067808E38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$9A5F4D27-0E23-4B43-BD14-9C604F874AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$FAA687D7-21E9-474F-98A8-05C44ED62B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e9b620f87bf5431eaa45919f6ec753d06810ad","datavalue":{"value":"monoids of invertible substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$D7C97F69-5443-4F03-AD08-0D130F715C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b57ce57a65b481eee18b5bf67453a334f1f2ce","datavalue":{"value":"Sturmian sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1282238$30993B71-7E39-4E8C-B5C8-379F00EF285D","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":"Q1282238$B768902D-1A01-487F-841B-6A9656C171DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e5ba72ccf50c47030b13f7940ad9292c452e36","datavalue":{"value":{"entity-type":"item","numeric-id":4352503,"id":"Q4352503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a2d8fcee57e6de07f4da2c9696eb36937aa831","datavalue":{"value":{"amount":"+0.874709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$CD3F3A43-F84B-4832-B193-391DA0B2026A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b66bea4d43f90c80961e53b32d39eddfa0631ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4945924,"id":"Q4945924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4538cdaeca068dfc43c73edae678c23cdcfc59","datavalue":{"value":{"amount":"+0.87366855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$D8306788-CA1E-445D-953A-04A84EA299AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650ac2bf785086fc7e010a1f6e40bdedcef4114a","datavalue":{"value":{"entity-type":"item","numeric-id":1600203,"id":"Q1600203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dfbb1597e79cf3366e7894b773acad39c6258a","datavalue":{"value":{"amount":"+0.8694185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$ADFFD58C-C23A-484D-B649-139EFC6EA010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546bfda30934f6cd240e8643cc8c4ebf4a73741d","datavalue":{"value":{"entity-type":"item","numeric-id":1600155,"id":"Q1600155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3ceecbcd85dddf25c82be2ca5246e073f72aa1","datavalue":{"value":{"amount":"+0.8674253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$E7534FA1-561A-4737-A584-32618FC44252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e324ceadb4034043b16398fb45ee2f749382c7c1","datavalue":{"value":{"entity-type":"item","numeric-id":5219129,"id":"Q5219129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920a3b6074d38b1aaaf71c963f3718662d6d715e","datavalue":{"value":{"amount":"+0.86357605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$6706E8BF-4A60-4ABE-8347-D7AB128141D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eb8cd4e7a158d7c5efc424c329212b959c9aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4025467,"id":"Q4025467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f00c2a2b06a4b3096a18545708648370468c4e0","datavalue":{"value":{"amount":"+0.86345905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$E3EDD63C-5541-4329-B990-EE031F002544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a273ab4ee8141bdc890bc2616570de46a24a966","datavalue":{"value":{"entity-type":"item","numeric-id":1953426,"id":"Q1953426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb36ec7ea63c34948ffd75a257337a2a9a8ef149","datavalue":{"value":{"amount":"+0.86260873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$811A7EB8-76FC-4409-B574-D7215B45AB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19407441588f1d5f8b663da02ff519f9b8aa41db","datavalue":{"value":{"entity-type":"item","numeric-id":6046991,"id":"Q6046991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c332f76792f817f5c191e2dcf8773dd5be902ce","datavalue":{"value":{"amount":"+0.8605838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$49BF1FE1-66CB-49F0-BE4B-8D49CE29CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcaa7992af216795db4cd264a888ac03bc1a5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5111891,"id":"Q5111891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db889b1a0241a8140ec379c00809b5383d19a6e","datavalue":{"value":{"amount":"+0.8605114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$DB7BBB4C-1AEA-4E69-8245-75F48727E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440a08075ee5a5fd3f8d7fc111646d004407be3f","datavalue":{"value":{"entity-type":"item","numeric-id":3695190,"id":"Q3695190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f403d059ebe388dac7b801e2695ccc84e0ce73","datavalue":{"value":{"amount":"+0.85685813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1282238$E2C77221-B596-40DF-8047-D302CD875AC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decomposition theorem on invertible substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decomposition_theorem_on_invertible_substitutions"}}}}}