{"entities":{"Q1858243":{"pageid":1868985,"ns":120,"title":"Item:Q1858243","lastrevid":69129120,"modified":"2026-04-13T04:58:11Z","type":"item","id":"Q1858243","labels":{"en":{"language":"en","value":"Wreath operations in the group of automorphisms of the binary tree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868054"}},"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":"Q1858243$77BB2EB8-19B8-47D8-BAE1-DED83B10EA7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d97746728e4d334cc6b38ebcc1a7eddbe7f6955","datavalue":{"value":{"text":"Wreath operations in the group of automorphisms of the binary tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858243$F070E11A-8D50-4311-ACB7-D5D4728DBFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"674d7ca11aa9a660281bd5ad1a95e754b34cacc1","datavalue":{"value":"1027.20018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$A38CEEE4-8F3A-45B5-BA68-89F00B0157CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4154cc64423aa357a173c6593a496cae1ee3ee65","datavalue":{"value":"10.1016/S0021-8693(02)00050-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$D5C659AD-7339-4E52-B3AB-67EF93F34788","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$422A549E-EBC6-4225-BD8D-80DD6A2E7751","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":"Q1858243$5E30D2C9-D1FB-48BD-914F-46FEC122F453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8ffebaba6834a06450802fa18c04a9edf4d95d8","datavalue":{"value":{"time":"+2003-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858243$EFF0CBE5-CE5A-4EBA-8ADD-6256C5F8CBC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90e23c5604e10711fffe444bcf4b8776fb3473bc","datavalue":{"value":"The group \\({\\mathcal F}_n\\) of finite-state automorphisms is defined to be the enumerable group of automorphisms which correspond to the finite-state input-output automata on the alphabet \\(\\{0,1,\\dots,n-1\\}\\), where automata are a natural interpretation of the automorphisms of the \\(n\\)-ary one-rooted regular tree. The current paper studies the group \\(\\mathcal A\\) of automorphisms of the binary tree and, especially, of its subgroup \\(\\mathcal F\\) consisting of finite-state automorphisms. An operation called `tree-wreathing' is defined on \\(\\mathcal A\\). For a given subgroup \\(H\\) of \\(\\mathcal A\\) and a free Abelian group \\(K\\) of finite rank \\(r\\) this new operation produces uniformly copies in \\(\\mathcal A\\) such that the group \\(G=H\\overline\\wr K\\) generated by them is an overgroup of the restricted wreath product \\(H\\wr K\\). Moreover, \\(G\\) contains the infinite direct sum \\(N\\) of copies of the derived group \\(H'\\), and \\(G/N\\) is isomorphic to \\(H\\wr K\\). This new operation preserves solvability, torsion-freeness, and having finite state. A faithful representation of any free metabelian group of finite rank is obtained as a finite-state group of automorphisms of the binary tree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$EDC6D1FC-9EC0-452E-8D75-BA81E4641D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$4C168F6D-DE7A-4991-AB45-07E6797441CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$294108A8-F967-43A1-A588-904A02485596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$7C88F159-4A59-4F50-AF93-98F50308BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$0CA6B0F0-A4BE-4CA4-9F65-FD49B95A5570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$14187312-58F4-4346-83AD-DA8065CAB96E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae1700402d14e68f8134d440ed97e9dcd8f5923","datavalue":{"value":"1868054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$FAB82E76-5E4F-4291-89CD-A7E6BB888BAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c8c8c4fdc9f91696962efc35a08827e231ad2b","datavalue":{"value":"wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$7CD00D3F-5111-4CBB-A544-3E58195A98C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c2ad3cde97f2e35219d6d1ab946566014fd675","datavalue":{"value":"rooted binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$46ED96AC-804D-417D-A5CE-AE32AC7B6E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$4577173E-EA9E-4036-927F-ACC7338299F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a6b0d9d9d5510ec6bae3b8ec9cc887cbda786b","datavalue":{"value":"pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$54347630-9BAA-4A62-A1DF-8FCC1B19CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$92885ABD-9E05-48A6-88B2-4C28FFCD821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b0dd9f6c68d2865de658b8c3970a418116b508","datavalue":{"value":"finite state automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$45EABEB8-4BF3-4673-8BED-B455BDE49085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771cd2c43341518c2a294e42ebbd9c51e6a586a2","datavalue":{"value":"free metabelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$72978517-BEA2-4A37-AA54-15BA8F3FD12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef94b762c53096119898909fcd6853fb47a5cdd","datavalue":{"value":"faithful representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858243$22CFF254-A4EF-4420-9239-152159C96C65","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff94d5fdea249bb8e0d756e7c72b3e23701c252e","datavalue":{"value":{"entity-type":"item","numeric-id":1408938,"id":"Q1408938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$EF923A98-F8C5-4E1C-8E4F-D0954A62A551","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":"Q1858243$BD84E8F1-A6A2-4728-ADD6-D7D8947E0208","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac3b50076e2cf97bc79d03833f06cd64cb006c7","datavalue":{"value":{"entity-type":"item","numeric-id":1372656,"id":"Q1372656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$27FC8D79-DE5E-4C7B-A05B-F392BFC7FB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f782f4d1a2d99077d7a4aeab7c228747eb67290a","datavalue":{"value":{"entity-type":"item","numeric-id":4354232,"id":"Q4354232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$BA80C5D6-3982-4F4F-9E38-9DCD3E4F2CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44be107f9bbfc3164a9a2e242fe7bd92924447f3","datavalue":{"value":{"entity-type":"item","numeric-id":1279814,"id":"Q1279814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$03300BEA-4ABA-4A54-B7E8-CF261398C378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33cc3b835faa8653ec96b8caccd07309aaf216ec","datavalue":{"value":{"entity-type":"item","numeric-id":4664546,"id":"Q4664546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$57A3596B-D154-414B-84F0-E0D4DA64889E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48614dff2c491808daadfdb5c23810a57721cad","datavalue":{"value":{"entity-type":"item","numeric-id":3241234,"id":"Q3241234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$59762126-1C49-4800-8A46-9FCEDFA98BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf5d88258b72ba99833fda0afd27adf0f09717a","datavalue":{"value":{"entity-type":"item","numeric-id":2783052,"id":"Q2783052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$FEB57F2C-39CE-4D57-9A47-3C8F9FE0252A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dd6560a229f945959a7293d8e86ffe0f59161c","datavalue":{"value":{"entity-type":"item","numeric-id":5829061,"id":"Q5829061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$9ED55F7B-B5D6-420F-9F93-8972C89839EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7052e136ef45381b7573adf4e904649228fe9980","datavalue":{"value":{"entity-type":"item","numeric-id":3342725,"id":"Q3342725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$417385DD-E176-4C5E-ABE9-7CC311B36FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb7a89a82924053d8072d9b2e89e0069fcf74fd","datavalue":{"value":{"entity-type":"item","numeric-id":1580386,"id":"Q1580386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858243$A843A768-82AE-428F-85B2-9CA383FC5A09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e021c85d7d38ac7d64dafe9ba32915920eb458f9","datavalue":{"value":"https://doi.org/10.1016/s0021-8693(02)00050-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1858243$1E7248DC-E2E0-4BF7-9CB4-1FD40A5A18D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d92247b1e3525f077edf46dff653673dc8d6f27","datavalue":{"value":"W2047531200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858243$4C84DBF7-8437-44B5-8022-3546F6D537B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea42915e3330fbb5804cd61e9a5670564cba783","datavalue":{"value":{"entity-type":"item","numeric-id":3379491,"id":"Q3379491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdc80cfb9c2abfd90a8d51cc3b7c0b4701099d4","datavalue":{"value":{"amount":"+0.8236476182937622","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":"Q1858243$16DDD0EC-4646-475E-AAA9-0B26500D9A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17db59263bb0e753e124c4731ccfc284849a0a32","datavalue":{"value":{"entity-type":"item","numeric-id":3077877,"id":"Q3077877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeed0f87c1b80e98d8174fa6d20d3974bcdd8852","datavalue":{"value":{"amount":"+0.8203541040420532","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":"Q1858243$478D462E-BFF7-40D2-908F-2F5CE994F055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e504aad8690e2c268beadefe6a1663a1963f3108","datavalue":{"value":{"entity-type":"item","numeric-id":1372656,"id":"Q1372656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d9c7d6a0f7fc6fef924e0df24281adbf0f3de5","datavalue":{"value":{"amount":"+0.8058610558509827","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":"Q1858243$A2F159FE-C48B-4129-ABDB-41FF2ECD13CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df446ce4fd00dbc3ac6bf4fc867b58f342a4622d","datavalue":{"value":{"entity-type":"item","numeric-id":303986,"id":"Q303986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7239e9777b0dcca4036c4e116ad49640c1bc17e","datavalue":{"value":{"amount":"+0.8050018548965454","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":"Q1858243$52B58213-07F1-434D-AF2C-8288B9E9E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa77f3ab40ec51e2bebd9870a60c711c76e55c7","datavalue":{"value":{"entity-type":"item","numeric-id":4664546,"id":"Q4664546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31985cea1da02145bfb4e75d68bea9972afa30b","datavalue":{"value":{"amount":"+0.7970983982086182","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":"Q1858243$994F3FC0-C310-4A7B-8A16-86F1EFAE4522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wreath operations in the group of automorphisms of the binary tree","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wreath_operations_in_the_group_of_automorphisms_of_the_binary_tree"}}}}}