{"entities":{"Q2347994":{"pageid":2358737,"ns":120,"title":"Item:Q2347994","lastrevid":57869766,"modified":"2026-04-02T21:24:28Z","type":"item","id":"Q2347994","labels":{"en":{"language":"en","value":"Palindromic automorphisms of free groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6444627"}},"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":"Q2347994$C844F909-9824-40C4-AB02-A3F72559F455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e9221f4ec5afe6d82334e246e00f1573e448c3","datavalue":{"value":{"text":"Palindromic automorphisms of free groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2347994$E12EF369-FA35-4A02-96B3-665C0D542352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"453d58fe0fe9f21f7ffddcc8483b5901e7918b48","datavalue":{"value":"1328.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$20D48464-F6EB-450A-A75E-73C6655A8121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f89fc5a369a46a97f2e5fb62b88264b515dfd","datavalue":{"value":{"entity-type":"item","numeric-id":326568,"id":"Q326568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$F324D946-E296-4B6D-89D0-B5D85CFD25B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37dac025d4c1d8c7fa5cc317ee2c3b753b813557","datavalue":{"value":{"entity-type":"item","numeric-id":272342,"id":"Q272342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$076F7BF0-0C3C-4174-826A-1182A5A54AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"654ebed2ad208b80c081df69c35d902c3b56c39a","datavalue":{"value":{"entity-type":"item","numeric-id":260516,"id":"Q260516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$FB70C4AE-E139-4FD6-9A73-1918BC19C59B","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":"Q2347994$0C297791-E36E-4ED9-B23F-47D876A43881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c27cb401e28eca76ae6dea189c2231278f07725","datavalue":{"value":{"time":"+2015-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":"Q2347994$C40F5A21-A4CF-4938-AF28-69345FC935A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"739cac95593f6af89eedfe90aff1d31c53cffa6d","datavalue":{"value":"https://arxiv.org/abs/1411.0240","type":"string"},"datatype":"url"},"type":"statement","id":"Q2347994$C23F033D-39CC-4FCA-946C-CD1C3AC97179","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"713e93ed10a0f1a0b8ebf06a626d1988a98150b8","datavalue":{"value":"Let \\(F_n\\) be the group of rank \\(n\\) with free basis \\(X=\\{x_1,x_2,\\ldots,x_n\\}\\). A palindrome is an element of \\(F_n\\) (expressed in \\(X^{\\pm 1}\\)) that reads the same forwards and backwards. An automorphism is called palindromic if it maps each \\(x_i\\) to a palindrome. The set of palindromic automorphisms (denoted \\(\\Pi A_n\\)) is a subgroup of the automorphism group \\(\\Aut(F_n)\\) of \\(F_n\\) and it is called the palindromic subgroup of \\(F_n\\).   \\(\\Pi A_n\\) was first introduced and studied by \\textit{D. J. Collins} [in Lond. Math. Soc. Lect. Note Ser. 204, 63-72 (1995; Zbl 0843.20022)]. More precisely, there it is proved that \\(\\Pi A_n\\) is finitely presented and that it is generated by the following three types of automorphisms: \\(t_i(x_i)=x^{-1}_i\\), \\(t_i(x_k)=x_k\\), \\(k\\neq i\\), \\(\\alpha_{i,i+1}(x_i)=x_{i+1}\\), \\(\\alpha_{i,i+1}(x_{i+1})=x_i\\), \\(\\alpha_{i,i+1}(x_k)=x_k,\\) \\(k\\neq i\\), \\(\\mu_{ij}(x_i)=x_jx_ix_j\\), \\(i\\neq j\\), \\(\\mu_{ij}(x_k)=x_k\\), \\(k\\neq i\\).   The group \\(E\\Pi A_n=\\{\\mu_{ij}\\mid 1\\leq i\\neq j\\leq n\\}\\) is called the elementary palindrome automorphism group and the group \\(ES_n=\\{t_i,\\alpha_{j,j+1}\\mid 1\\leq i\\leq n,\\;1\\leq j\\leq n-1\\}\\) is called the extended symmetric group.   In the above mentioned paper it is proved that \\(\\Pi A_n=E\\Pi A_n\\rtimes ES_n\\), \\(n\\geq 2\\) and conjectured that \\(E\\Pi A_n\\) is torsion free. In [\\textit{H. H. Glover} and \\textit{C. A. Jensen}, Comment. Math. Helv. 75, No. 4, 644-667 (2000; Zbl 0972.20021)] this conjecture is proved.   In this paper the authors continue to study the group \\(\\Pi A_n\\) and its subgroups. Theorem A: The center of \\(\\Pi A_n\\) is the cyclic group of order two generated by the automorphisms \\(t(x_i)=x_i^{-1}\\), \\(1\\leq i\\leq n\\). A result proved also by \\textit{A. I. Nekritsukhin} [Chebyshevski\u012d Sb. 15, No. 1(49), 141-145 (2014)].   In [\\textit{A. I. Nekritsukhin}, Chebyshevski\u012d Sb. 11, No. 1(33), 199-201 (2010; Zbl 1278.20034)] it is investigated that in \\(\\Pi A_2\\) there are five not conjugate involutions. Here it is proved that these are the only involutions up to conjugacy (Theorem 3.10 in the paper).   A linear representation \\(\\varphi\\colon\\Pi A_2\\to\\text{GL}(2,\\mathbb Z)\\) is defined by \\textit{A. I. Nekritsukhin} [in Chebyshevski\u012d Sb. 9, No. 1(25), 148-152 (2008; Zbl 1276.20029)]. Here (Proposition 4.1 in the paper) it is proved that this representation is faithful. Consequently it arises the problem if \\(\\Pi A_n\\), or \\(E\\Pi A_n\\) is linear for \\(n\\geq 3\\).   Since the symmetric group \\(S_3\\) is contained in \\(\\Pi A_n\\) for \\(n\\geq 3\\), the group \\(\\Pi A_n\\) is not residually nilpotent. However it is proved that some interesting subgroups are residually nilpotent (Theorem 5.3 in the paper).   The palindromic Torelli group \\(PI_n\\) is the subgroup of \\(E\\Pi A_n\\) consisting of those automorphisms that act trivially on the abelianisation of \\(F_n\\). In [\\textit{N. J. Fullarton}, ``Palindromic automorphisms of free groups and rigidity of automorphism groups of right-angled Artin groups'', PhD thesis, Univ. Glasgow (2014)] it is given a normal generating set of \\(PI_n\\). Here it is proved, through a long series of calculations Theorem B: \\(PI_{n}=IA_n\\cap E\\Pi A_n'\\) for each \\(n\\geq 3\\).   The paper concludes with interesting problems concerning the group \\(\\Pi A_n\\) and its subgroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$F9C56976-74CA-4479-A519-A615128214DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"831f88e9d90875bc5ed734a43dde265a8db02e5e","datavalue":{"value":{"entity-type":"item","numeric-id":590422,"id":"Q590422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$2B15EEDA-978F-4FAD-B9D1-D4FCC2628E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$2E138884-B3FB-4DC5-8861-79922E8EA907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$3A13CE31-31E9-40E5-B557-F6352B0E9658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$184E52B8-0A71-4CC2-8617-3ACBA136A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$D31C79A8-1B55-4740-B9C1-F463DFAF8334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9902de3dc53a3b58cc8b24720901a0dec0ea94e","datavalue":{"value":"6444627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$5C29AC2D-F511-406F-8052-96A6080F47F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$7604FFC0-1EB2-4E8F-AC93-C9CB3A4745E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b91dc7c62788539a7a4238bdcb39506894d874","datavalue":{"value":"palindromic automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$AA8199AD-58CF-4261-BB04-41D30B56F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$5F19D632-FF40-43B6-89EC-00D4F1C3DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104cca02d61f08265b77a1d7f5f2443c4b91a02d","datavalue":{"value":"residual nilpotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$6AFBC79D-4293-4535-B160-375D956C0817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1758157e14ffc8ed0908915c5d428662f1bad49","datavalue":{"value":"Torelli group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2347994$341C4297-027D-4EA3-898D-DFC8D13EF4A4","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":"Q2347994$7273CE05-28D5-4F8A-B19B-605A8BC25051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e6fa61fe5a10e09b3de0c0dbd5ef1dd6f3263aa","datavalue":{"value":"W1626752341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$17CB0A50-BE07-405F-96AA-FB1BF2426E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c84d19a697601f2555f92e65d4076a020f5211b","datavalue":{"value":{"entity-type":"item","numeric-id":4867078,"id":"Q4867078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$5C7040FA-534E-4BD3-B9CC-C265C2BAC30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f486c8f22356acefc2f23c9ecd79d2d1b7f8c75b","datavalue":{"value":{"entity-type":"item","numeric-id":907779,"id":"Q907779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$6527C03A-BCBE-4C25-BA97-705B61DD5692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569bf915b139d81bf89b636c896f23eeba25093a","datavalue":{"value":{"entity-type":"item","numeric-id":1596289,"id":"Q1596289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$4CF7CD02-53A0-4407-89EB-20A72F23BDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550c391ace58e43957a0047c73f9e3e640897c70","datavalue":{"value":{"entity-type":"item","numeric-id":3425947,"id":"Q3425947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$7BC8849E-73EF-4962-A6F9-94EF686FC613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$75BCC02B-A847-4C02-808B-2E52C9D6BECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca38c8041d5c266672922eab367adc7412400a5","datavalue":{"value":{"entity-type":"item","numeric-id":2862861,"id":"Q2862861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$8FEC8FE3-16A5-4BCF-888E-0C40DA1AB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac20831bfa82a0d1608736fa46fbf20a835bea8","datavalue":{"value":{"entity-type":"item","numeric-id":2857766,"id":"Q2857766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$6129CF35-AED2-4D2E-86C4-A24138439946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d51d66180c63c6605abd33666989db40cd83a3","datavalue":{"value":{"entity-type":"item","numeric-id":5239577,"id":"Q5239577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$3088D880-8D24-4161-9EBB-7D89F46438D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feaf42133fcfb70a031b7ecda9334439bea207ae","datavalue":{"value":{"entity-type":"item","numeric-id":3067785,"id":"Q3067785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$5B2B8B0A-7A71-462D-9F2B-B3DEDA552DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cd2015a5752cd74b536f039f9c0273faff0499","datavalue":{"value":{"entity-type":"item","numeric-id":1181425,"id":"Q1181425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$BE992AD8-A6C0-40BB-B5A9-0927303A4CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4fb9f91288ccd963dd0f2b5b8e0584f93ebf09a","datavalue":{"value":{"entity-type":"item","numeric-id":5783322,"id":"Q5783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2347994$3330617C-B5DC-49EB-8B7D-543EEB86C743","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d03ddbfbf516921838c644ad0aa1f01d1f03c61","datavalue":{"value":"10.1016/J.JALGEBRA.2015.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2347994$58369681-8045-4504-B161-D20EEB1FE61B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff8fee4c2cd1568717a946cdd979f6b50ba1344","datavalue":{"value":{"entity-type":"item","numeric-id":5239577,"id":"Q5239577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f0adc09da8c0241f155d773aba7c3e14052f43","datavalue":{"value":{"amount":"+0.9239222407341005","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":"Q2347994$621C6177-9272-4B85-830A-24276694A74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ced80a971721b9c5216c8e4ca53354675115650","datavalue":{"value":{"entity-type":"item","numeric-id":1596289,"id":"Q1596289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a42cf7434b3ab0e573f7d613477719ed31670","datavalue":{"value":{"amount":"+0.8868018984794617","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":"Q2347994$A26B7707-A82B-4C0A-9EDD-4F9F830E8CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2fd800f54631911f05c75ac5de478031d7e0ae0","datavalue":{"value":{"entity-type":"item","numeric-id":326570,"id":"Q326570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a42cf7434b3ab0e573f7d613477719ed31670","datavalue":{"value":{"amount":"+0.8868018984794617","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":"Q2347994$63DB9D31-31BC-4705-92D4-6F9B7829A484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473b368a9ad3258f6ebefc3874ec21503d3612c","datavalue":{"value":{"entity-type":"item","numeric-id":907779,"id":"Q907779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae16121dd0c5a6f1501e41938ca1443d1bea78b","datavalue":{"value":{"amount":"+0.8691134452819824","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":"Q2347994$93605A34-9F7C-4DCC-93C0-3F71876CC7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5910df3bc227f53438a61361cb8540b433997f69","datavalue":{"value":{"entity-type":"item","numeric-id":4867078,"id":"Q4867078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b98c58e6259aa9b6286b8e90ce4b85f5a5b8c97","datavalue":{"value":{"amount":"+0.8654472231864929","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":"Q2347994$8A0411E8-3B2C-4DE9-8678-B688137A6E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2347994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2347994"}}}}}