{"entities":{"Q2759634":{"pageid":2770373,"ns":120,"title":"Item:Q2759634","lastrevid":57994185,"modified":"2026-04-03T09:22:34Z","type":"item","id":"Q2759634","labels":{"en":{"language":"en","value":"Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1683597"}},"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":"Q2759634$E2A8EC0C-41C1-4B09-95C7-0B3D35CB3592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36080f3e9177cd5a6cd8037d7dba7886c1c2bcbf","datavalue":{"value":"0992.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$F2CBB770-1FC2-4069-91C1-2E5D51621C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34643aab32c97aead45dbf93929039f9009f4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2457367,"id":"Q2457367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759634$FE47A337-6F59-411F-B4AE-C0C1A3C11D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759634$DF3CCDB6-CFAC-4514-8C0F-2DF70D8DFD51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"850a13e887cb62fbfd1afa1a3e219c0532d66719","datavalue":{"value":{"time":"+2002-03-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":"Q2759634$02507C43-D9E4-47E7-B271-6A1EBEDC115B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3824dac0c39c4e3ca3d0e371688c05bf35262a4","datavalue":{"value":"https://arxiv.org/abs/math/0304305","type":"string"},"datatype":"url"},"type":"statement","id":"Q2759634$8870731A-D937-4237-B1C8-B727924AE021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$A5C62814-5860-4C9C-A7CD-0D5B442134CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$0E418ABF-38F7-48E5-ADEE-0F923E320719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5206f46c6ca666840f8b4128198bef996fcacb","datavalue":{"value":"57M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$3AF5A9D7-9E68-40CB-B097-B945FA7DDFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$0AAA72D8-43B1-44F2-993C-FE8F7D1A5536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2330c38ebc595d4b3d1b551c375902d52e1e85d","datavalue":{"value":"1683597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759634$C7BEACF3-D45B-442E-B2BF-0EA76AB4F8FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379ffaf93aa58ddffc1c1866b3c7f57093845817","datavalue":{"value":"balanced presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$9BDB7083-40CC-4A1E-B2D6-A0D174CD422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7451ed6c506c8bf371614084bfb5b7b9b71420","datavalue":{"value":"Andrews-Curtis conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$668134FB-A4E5-4668-BD70-6DDBA4B8B32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d45f1ca85cad6345c32170b42d98d67727b2978","datavalue":{"value":"Nielsen transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$29DD1004-1FB3-4F7A-8066-814CCCF89101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9c934dadf1a7dae732777752c8977d60f5a9459","datavalue":{"value":"presentations of the trivial group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$81514D79-188E-4AB1-8D8F-D809B45FD1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$6767E047-B897-4A3B-9125-D33B7C39A6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f50a5cde18ac24cb465dfedc6efb8b72354c0d0","datavalue":{"value":"generic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$1E2AA0AE-F9F0-476A-9638-6D3B0A82A3E4","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":"Q2759634$472701DF-2561-4538-882B-80CA96F03126","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d2b6d83f11116d9c54d8447aa333e99b423fdba","datavalue":{"value":{"text":"Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2759634$31F6A0FB-3E59-420D-937E-6317CD4DF07F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d07b9f5fced0606268d41ca4ab35d3583bd877a","datavalue":{"value":"It is proved that every balanced presentation of the trivial group with two generators and with total length of the relators \\(\\leq 12\\) is equivalent to the trivial presentation. This means that the tuple of relators \\((r_1,r_2)\\) can be reduced by a sequence of elementary Nielsen transformations and conjugations to the trivial tuple \\((x_1,x_2)\\) of generators. In other words the well-known Andrews-Curtis conjecture (ACC) is true in the case considered. Note that a number of presentations proposed before as potential counterexamples to ACC satisfy the assumptions above.NEWLINENEWLINENEWLINEThe proof of the main result is based on computer computations with the software package MAGNUS. Some generic algorithms are applied.NEWLINENEWLINEFor the entire collection see [Zbl 0959.00030].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759634$422ED995-7E40-4702-8AD7-156E3468DF50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c75e46d52756574cc2c3b6666627a330102767ca","datavalue":{"value":{"entity-type":"item","numeric-id":338846,"id":"Q338846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759634$01FC32DE-B78B-4715-AA69-B616BE7A0F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd18bd4a73280016ca0678f2b860c941ff9ed9d","datavalue":{"value":{"entity-type":"item","numeric-id":3152680,"id":"Q3152680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d323473903b6782a6b8a88d990575858f1860d","datavalue":{"value":{"amount":"+0.8820204734802246","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":"Q2759634$B1171D70-2F9F-4FBF-8B95-7A99357C4C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b92351c568dd3f7931f998ba366336e7bfecc","datavalue":{"value":{"entity-type":"item","numeric-id":5292702,"id":"Q5292702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bafb56e7ce6ec58b4311e6197fe878a5c6d26d8","datavalue":{"value":{"amount":"+0.8742803335189819","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":"Q2759634$38D2667C-7ECE-48AB-8A75-BB1B0EC31196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb326d5031a4c577191adad3955a3eb6f051dfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4609814,"id":"Q4609814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14233c50ad1f8098cdea3ee609aa7e5cfc4a4e8b","datavalue":{"value":{"amount":"+0.8558306097984314","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":"Q2759634$3E519B70-1644-46CD-9CC1-C059596AE1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406cd1abe97379921b73f8bf9688558b35f8b9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4484940,"id":"Q4484940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401a662ee944a0fc1b49223564a4f7e90bff297d","datavalue":{"value":{"amount":"+0.8499068021774292","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":"Q2759634$5D470402-97E9-4723-A93B-8F6D625B0FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0188ba082532afe29079e21a5160689c4bc88cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2505540,"id":"Q2505540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d1d06baab6725e90fc19b7a5c1969a07112c49","datavalue":{"value":{"amount":"+0.8448525667190552","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":"Q2759634$CF2152F9-EC7A-426B-BA4E-D39A52E2ABFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2759634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2759634"}}}}}