{"entities":{"Q7001320":{"pageid":21510900,"ns":120,"title":"Item:Q7001320","lastrevid":97340840,"modified":"2026-06-05T14:25:13Z","type":"item","id":"Q7001320","labels":{"en":{"language":"en","value":"An exotic presentation of \\(\\mathbb{Z} \\times \\mathbb{Z}\\) and the Andrews-Curtis conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8023198"}},"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":"Q7001320$2C196160-8E8E-45CF-8E12-526DCBAACA3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe27cb7b8fae6acc6eef8edcbceb9fb7146e16fb","datavalue":{"value":{"text":"An exotic presentation of \\(\\mathbb{Z} \\times \\mathbb{Z}\\) and the Andrews-Curtis conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7001320$FC63105E-126E-46DB-B3DA-E63D6067BEEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51809876e375cc784181246d04d94b35c8acb9ca","datavalue":{"value":"1562.2003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$9ED02DA8-ECBC-420F-B814-41A83C60653C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f385d66ee4325f9875d08b5b770b3aa4eb3f152f","datavalue":{"value":"10.2140/AGT.2025.25.345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$EC863EDA-B9DD-4508-82E9-9E5FB2144314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18e3760bc48b46f47aa9b8719468f4446eb6665","datavalue":{"value":{"entity-type":"item","numeric-id":303915,"id":"Q303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$A66AA8F0-6ABB-4010-951B-CFB4ED29DDBD","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":"Q7001320$DBE812B6-300F-4A85-88E3-472A49BD7FA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7221f3922fb3228d83e0ca7e1f4252200970e037","datavalue":{"value":{"time":"+2025-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7001320$38B12015-7BC2-4D2C-8D61-14168045669C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1959479ed70d660647f7dcd54711531f9ced251","datavalue":{"value":"Two presentations \\(\\langle x_1,\\dots,x_m\\mid r_1,\\dots,r_n\\rangle\\) and \\(\\langle x'_1,\\dots,x'_{m'}\\mid r'_1,\\dots,r'_{n'}\\rangle\\) are \\emph{Q-equivalent} if one can be converted to the other by a sequence of changing a relator \\(r_j\\) to (i) \\(r_jr_i\\) (ii) \\(r_j^{-1}\\) (iii) \\(r_j^g\\) for some free group word \\(g\\). They are \\textit{Q*-equivalent} if one allows (iv) \\(r_j^\\phi\\) for some free group automorphism \\(\\phi\\), and they are \\textit{Q**-equivalent} if one also allows addition or deletion of a new generator paired with itself as a new relator. The (varying-strength) Andrews-Curtis conjectures assert that any two presentations of the trivial group with \\(m=n\\) generators and relators are Q-, Q*- or Q**-equivalent. This conjecture is still open; the difficulty is that one may not add an arbitrary number of trivial relators, whence all presentations of isomorphic group are Tietze-equivalent.\\N\\NThe contribution of this paper is an example of two presentations of \\(\\mathbb Z^2\\) which are Q**-equivalent but not Q*-equivalent. They are above the minimal Euler characteristic, in that the presentations have two relators while the minimal number is one. Explicitly, they are\\N\\[\\N\\mathscr P=\\langle x,y\\mid [x,y],1\\rangle\\N\\]\\Nand\\N\\[\\N\\mathscr Q=\\langle x,y\\mid [x,[x,y^{-1}]]^2\\cdot {}^y[y^{-1},x],[x,[[y^{-1},x],x]]\\rangle.\\N\\]\\NThe isomorphism of \\(\\mathscr Q\\) to \\(\\mathbb Z^2\\) is proven by a sequence of Tietze transformations.\\N\\NThe Q*-inequivalence is proven by computing the images of the relators in \\(F'_{x,y}/F_{x,y}''\\cong\\mathbb Z[X^{\\pm1},Y^{\\pm1}]=:R\\). They are two vectors in \\(R^2\\) that are in the same \\(\\mathrm{GL}_2(R)\\)-orbit but not the same \\(E_2(R)\\)-orbit, where \\(E_2\\) is the group of elementary \\(2\\times2\\) matrices over \\(R\\).\\N\\NThe Q**-equivalence is proven by showing that the standard complexes of the presentations \\(\\mathscr P,\\mathscr Q\\) are simple homotopy equivalent (namely equivalent by a sequence of collapses and expansions). This follows from the fact that the standard complexes \\(K_{\\mathscr P}\\), \\(K_{\\mathscr Q}\\) have isomorphic fundamental groups and same Euler characteristic, thanks to the fact that \\(\\mathbb Z^2\\) is aspherical -- the author recalls the elegant argument by \\textit{J. Harlander} [Lond. Math. Soc. Lect. Note Ser. 446, 1--26 (2018; Zbl 1435.57014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001320$794D4084-2C36-44AC-8A4B-BF4818A58C02","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"903cde450ed67c23d8b942c8f48fe9eafde5d207","datavalue":{"value":{"entity-type":"item","numeric-id":245335,"id":"Q245335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$DF9BB13B-1474-40EF-B97B-F74EBB2BA389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$0C39035D-91B3-47FD-A759-32F265F41932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$A44E18C9-C52C-47D6-B55B-23FF96E8ACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$D190E5CB-F972-4F7E-951F-0D066F8CFFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28eb67c29813b35faa78a6433a377e4d59f52ef9","datavalue":{"value":"57Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$E076BD23-0104-4EC0-A75A-7925FFF2220E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ba9bf37e1ae908fea945c04150aad3ca7c18139","datavalue":{"value":"8023198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7001320$0C445CCD-4C2F-4426-8168-3F46D5D659C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260bd9818f4b5c075531adb20c6af4b519239eb4","datavalue":{"value":"group presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001320$938A581F-8462-4FEB-9B2C-2EF8C6036132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a43426f2b6e37333c42681bd9e1f9a183c8b6d","datavalue":{"value":"\\(Q^*\\)-transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001320$0B0C4867-A27C-4AF0-BF6A-4B57B503338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394cccacabecda2731ffaa7341ba19a50ea66f70","datavalue":{"value":"generalized Andrews-Curtis conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001320$5E006A49-2159-4BDC-A5E3-18A81D595264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6331466e721236fea89305273b3ef9326563d36b","datavalue":{"value":"simple homotopy type","type":"string"},"datatype":"string"},"type":"statement","id":"Q7001320$0015E22C-2487-4B16-AFBB-2DABB59EBE0D","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":"Q7001320$A99CCE40-4BBE-47FD-A68D-3202E0DAF6F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0484cf0304ec0ace468b74700134fa0368c12efa","datavalue":{"value":{"entity-type":"item","numeric-id":5340526,"id":"Q5340526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$3E4605A7-E06A-4176-8B31-4B7CABFAD3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01442ca5bf1bd88a7eeddaa2361edd626e27c7b5","datavalue":{"value":{"entity-type":"item","numeric-id":3658196,"id":"Q3658196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$143BCFB6-DCB1-488D-AB0B-59A1003BD464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aeb017c27b5e89c14e4f767b969588c9abe4c05","datavalue":{"value":{"entity-type":"item","numeric-id":2556476,"id":"Q2556476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$6A252799-C8EB-454E-8558-445B975D76F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a47557d9e9f03dec58b7ae46e44846efa895cb","datavalue":{"value":{"entity-type":"item","numeric-id":3436925,"id":"Q3436925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$39841550-B541-4413-A015-EC64541E421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654325a035c61c549137fc9cdbb286fbc917db8c","datavalue":{"value":{"entity-type":"item","numeric-id":3043323,"id":"Q3043323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$7EB0875E-282B-4518-9443-B30735629475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f0b46d1eab6242cd7d6de239a4dbe5e6855060","datavalue":{"value":{"entity-type":"item","numeric-id":1818864,"id":"Q1818864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$C4372237-79E3-4940-A9C7-C7F3DA61DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245a3eb7ebb725b19e9b063d44ca5c27d4167c89","datavalue":{"value":{"entity-type":"item","numeric-id":6567144,"id":"Q6567144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$B36312C1-A0DC-4806-807C-30CE9B8B6CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4caee92c48e7bcdf5eb1792c8b72feb91add5f","datavalue":{"value":{"entity-type":"item","numeric-id":5114713,"id":"Q5114713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$7D0D7A7C-FE99-46C1-A9A0-16EB4EAD2F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6d39ee4a9f0afce90c5cb1fb870fe08c9eb0ad","datavalue":{"value":{"entity-type":"item","numeric-id":4292768,"id":"Q4292768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$17DC7407-C7D2-4658-A995-7491A2545C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b837594aeb80516505f8f8ad2334718f5a1e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4292757,"id":"Q4292757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$15E929D5-E229-4B19-99E3-49D167518CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70017082aabe63da3955b2d23143cd67d1680038","datavalue":{"value":{"entity-type":"item","numeric-id":5114714,"id":"Q5114714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$5D21DCE4-E07A-4AF3-AFD1-C9FA0073E667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929e2d26789c93012b5c7401ba98b6574b58ee10","datavalue":{"value":{"entity-type":"item","numeric-id":4292759,"id":"Q4292759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$E4113811-2D9A-4473-81D5-32C0E093A30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648fad69e380de9379494e7bd095adede8e91412","datavalue":{"value":{"entity-type":"item","numeric-id":3978154,"id":"Q3978154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$7112EBB9-EA68-4122-BB1D-F0E297B729B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10affbff61503ac9ef8fb709f14ac4bfc55efe52","datavalue":{"value":{"entity-type":"item","numeric-id":1983590,"id":"Q1983590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$2992DEF7-74C6-411F-B0EA-C016366039C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bb469a5782d185ee1fcf72480cdbd143deaf7c","datavalue":{"value":{"entity-type":"item","numeric-id":5181865,"id":"Q5181865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$4B5B24E4-D5D1-4F2F-A227-BB1D6DAD97EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524b319862091f5439cbb56dd3774cd1a2f7a291","datavalue":{"value":{"entity-type":"item","numeric-id":4089532,"id":"Q4089532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$071F4CEA-9157-4371-AD98-5591152B7978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48833ba88f2d42afafe0a507d645b93029bf97fe","datavalue":{"value":{"entity-type":"item","numeric-id":3152680,"id":"Q3152680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$4FD183AE-29BC-4A8B-A34C-D6B72ACDB0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a857ee9b29bf06cfc01a8dfdda34d2fd0e2713a","datavalue":{"value":{"entity-type":"item","numeric-id":4285469,"id":"Q4285469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$D99D5A75-6757-42FA-B795-5127098D5261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f5aa35186857c0e1aa37742d6fcc0c668e285","datavalue":{"value":{"entity-type":"item","numeric-id":4189363,"id":"Q4189363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$4F9BFA3E-2E47-42AB-BCB7-9FE911EE540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7591f1d56664974baa172317524c304dcfc662","datavalue":{"value":{"entity-type":"item","numeric-id":2536081,"id":"Q2536081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7001320$F32F24BD-C20B-46C1-84F0-9F7CDC01E29B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7001320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7001320"}}}}}