{"entities":{"Q1880644":{"pageid":1891386,"ns":120,"title":"Item:Q1880644","lastrevid":69181863,"modified":"2026-04-13T05:18:54Z","type":"item","id":"Q1880644","labels":{"en":{"language":"en","value":"Commutators and squares in free groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2104399"}},"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":"Q1880644$FDA2399D-14DA-4B48-A861-7915798D0D91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06f66fa9d449cfbefdfaa470ce728a50d66c93b0","datavalue":{"value":{"text":"Commutators and squares in free groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1880644$CCCEC236-3F57-49D8-B5C6-C8ADDFC50CFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c584162aad4854436f7335200923e8f0001838ea","datavalue":{"value":"1055.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$ED21C7D7-3D9B-4468-B19C-3FCB9BB1C33C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc136216a34582d53e8e36362883b1f1af85e271","datavalue":{"value":{"entity-type":"item","numeric-id":554510,"id":"Q554510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880644$BDAA50BC-92F7-4DDA-AEF2-42013041FB37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880644$61057650-5842-49B5-B079-FC35A7AA0C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66dd657ad59bcd37bb46cbbce4d7e88cee6f2b3b","datavalue":{"value":{"time":"+2004-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1880644$BE08182C-C026-4576-BDD4-756C62D03114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7d2acfc22f7a7ebfa9f5f5a53a4f6f0b26d447c","datavalue":{"value":"https://arxiv.org/abs/math/0409087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1880644$C211EE54-B0DB-4AEF-A1A6-B6BC450C5106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a12711ca58dcf0a076fcbd554fdaaee80579ea","datavalue":{"value":"https://eudml.org/doc/124158","type":"string"},"datatype":"url"},"type":"statement","id":"Q1880644$8E356CAC-6EF5-4EA2-9C4D-98327D6331C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"220a079b1a753e660f5dbee640d6bad4b32c9cef","datavalue":{"value":"http://www.emis.de/journals/UW/agt/AGTVol4/agt-4-27.abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1880644$7CBB23BA-484C-4EE7-B449-A3968E75EA25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d37c1deb21e79930eef599c8534bf144c245ae95","datavalue":{"value":"Let \\(\\mathbb{F}_2\\) be the free group of rank 2 generated by \\(x\\) and \\(y\\) and denote by \\([a,b]\\) the commutator \\(aba^{-1}b^{-1}\\) of two elements \\(a,b\\) in a group.   The main result of the paper under review is the following Theorem 1.1. The commutator \\([x^m,y^n]\\) is a product of two squares in \\(\\mathbb{F}_2=\\langle x,y\\rangle\\) if and only if \\(mn\\) is even.   In the case when \\(m=n=1\\) this gives a result of \\textit{R. C. Lyndon} and \\textit{M. Newman} [Proc. Am. Math. Soc. 39, 267-272 (1973; Zbl 0268.20023)] which states that the commutator \\([x,y]\\) is not a product of two squares. The methods of the paper also give a proof of the following theorem of \\textit{M. Akhavan-Malayeri} [Int. J. Math. Math. Sci. 31, No. 10, 635-637 (2002; Zbl 1013.20028)]: \\([x,y]^{2n+1}\\) is not a product of two squares in \\(\\mathbb{F}_2=\\langle x,y\\rangle\\).   The author constructs a homomorphism \\(\\varphi\\colon[\\mathbb{F}_2,\\mathbb{F}_2]\\to\\mathbb{Z}\\) which is invariant under the conjugacy action of \\(\\mathbb{F}_2\\). The theorem of Lyndon and Newman follows from the properties of this homomorphism. This is done as follows: Let \\(K\\) be the wedge of two circles. Then \\(\\pi_1(K)=\\mathbb{F}_2\\). Let \\(\\widetilde K\\) be the universal Abelian cover of \\(K\\). This is the cover corresponding to the commutator subgroup \\([\\mathbb{F}_2,\\mathbb{F}_2]\\) of \\(\\mathbb{F}_2\\). \\(\\widetilde K\\) can be identified with a subcomplex of \\(\\mathbb{R}^2\\) whose vertices are \\(\\mathbb{Z}^2\\) and edges join \\((i,j)\\) either to \\((i+1,j)\\) or to \\((i,j+1)\\). Then consider the simplicial homology of \\(\\widetilde K\\). The author first defines a homomorphism \\(\\theta\\colon Z_1(\\widetilde K)\\to\\mathbb{Z}\\) from the 1-cycles to the integers which is invariant under deck transformations. The homomorphism \\(\\varphi\\) will be defined in terms of this.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880644$0C533947-D6ED-4AF7-A6DD-E05AD676CB47","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebb96cb004791185508e9f447d258889ef519c78","datavalue":{"value":{"entity-type":"item","numeric-id":193089,"id":"Q193089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880644$CA98D26A-C2ED-48CD-B8AB-E8141DB213DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$C4BBBC1A-22F7-4BE7-B5A5-E5ACDA4D9EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$E2A1F129-0452-4F00-B11A-57CF6F9B83BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$8E2149D4-40C8-40A8-B8AC-11A048112D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$FDEF6AA0-1E34-4FA6-9DC3-D383EA0D4F75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2568429b87ded8ffa0b3e56faf2044aa2101e9","datavalue":{"value":"2104399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$85C67B68-6CA4-4016-9163-8F3DD4A0C6A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d35dff3c2d825cf81a94f4926ffc0e1d507da75","datavalue":{"value":"products of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880644$9DB40632-0060-40DC-9F83-4E1F75DCFB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880644$9619270C-CE7B-4FAF-B235-04C0B63684B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a723e63191755989e3a92db3e84ce03df73232","datavalue":{"value":"products of commutators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1880644$3AE32E05-1AA1-447C-9670-D9B084552270","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":"Q1880644$EBBD9E8C-67A5-4EE2-9F83-B7C2AA9B7683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a472ed6da2a6d7b52b7ee3a07a657cfca20863e","datavalue":{"value":"W2111477757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$A0B8AEA7-365C-4E02-B0C5-A2121A3C12B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc413684ccafe15d4e6d69d0eb329f50a0464eae","datavalue":{"value":{"entity-type":"item","numeric-id":700911,"id":"Q700911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880644$2AA25F58-D7D0-4ACC-A064-ECF9BAC5A5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4e66837917989cf734f4ed784ab33e684fc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3213318,"id":"Q3213318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1880644$9E3F6AA7-6F84-4486-97F0-80F39FEA6C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c968964e0cb48e35974afa6354c7ad3cea0fe54","datavalue":{"value":"10.2140/AGT.2004.4.595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1880644$B8B9775A-0A4D-48CF-81DD-B3C025B6B1F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3726f595e41b281c8049d24717c8d95f7d6f5b6","datavalue":{"value":{"entity-type":"item","numeric-id":700911,"id":"Q700911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29baae92ec978854aa8ffd65033f22dd4592d493","datavalue":{"value":{"amount":"+0.740408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$3024736B-8086-4D1A-902F-85EB0AA4B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b9828fcebf8691dbdbec88c15cf575ceb2160b","datavalue":{"value":{"entity-type":"item","numeric-id":4262308,"id":"Q4262308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67956acb9ca004a08bfb309b201ff3b393e420b1","datavalue":{"value":{"amount":"+0.7069217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$04295D2F-E6AD-4767-A034-CC415D069240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7f2dad334ed94c430913cf50f0c2d89e4f4b5b","datavalue":{"value":{"entity-type":"item","numeric-id":4316612,"id":"Q4316612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489988c40746cdd8eca68224335f48cd97bd6a5d","datavalue":{"value":{"amount":"+0.69451463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$1D8F0B66-113B-4E58-818C-E36340FCE5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822f040fbdff03091da97af8947040554db4eac6","datavalue":{"value":{"entity-type":"item","numeric-id":1093009,"id":"Q1093009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55b0007c65f2a860e18034073524268d2d3aea7","datavalue":{"value":{"amount":"+0.6802982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$B5F156DE-44F7-49B8-873E-624EC362BFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3198dde426c1dfc7db369541439cc65e9e032949","datavalue":{"value":{"entity-type":"item","numeric-id":2674717,"id":"Q2674717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fac7b0f8812006285d735996989172289ce009","datavalue":{"value":{"amount":"+0.6724775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$9582A58E-966D-4C5E-B5D2-81182A2D1950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5ef607ef56e5c27e9bb1ce197a0419111bcac7","datavalue":{"value":{"entity-type":"item","numeric-id":4956329,"id":"Q4956329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5a0fbd6a57739d591043d02f57a62caf6a07e1","datavalue":{"value":{"amount":"+0.66422415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$5AC9285A-A55F-442F-9550-E29089EA77E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6954c555ea3f65ab4080e26af16cae8cac836c9","datavalue":{"value":{"entity-type":"item","numeric-id":1612145,"id":"Q1612145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03ed1a00f3040c33c044885e58746c4efd983d1","datavalue":{"value":{"amount":"+0.6640426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$613023F8-AC8A-49C3-8F58-1C6B1B79C48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324a71d5cf1ce06e719c9b41645be1e9702d12c9","datavalue":{"value":{"entity-type":"item","numeric-id":1861464,"id":"Q1861464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868ddc495b31c1c2aa209ad23d989f6a57ae37a6","datavalue":{"value":{"amount":"+0.6600892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$A0C35F4C-CE57-49AE-BB1A-1DA9E8BD9884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3faef4ddf708d93b848ed3789574999c3f3441ff","datavalue":{"value":{"entity-type":"item","numeric-id":791642,"id":"Q791642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9dfee4f59c4354e7e3e1954deae3458a731763","datavalue":{"value":{"amount":"+0.65369046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$2CBAE7C2-578D-4705-8D47-27ADB53CF734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a401c1e60115cdc8bf2753f24c3a168468a85e","datavalue":{"value":{"entity-type":"item","numeric-id":4722864,"id":"Q4722864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cad3ec25182cbd2021c503102123881786b0c9","datavalue":{"value":{"amount":"+0.6526316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1880644$A4ED278D-594C-4319-ABB0-AC275072520F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commutators and squares in free groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commutators_and_squares_in_free_groups."}}}}}