{"entities":{"Q5959487":{"pageid":8136289,"ns":120,"title":"Item:Q5959487","lastrevid":97739351,"modified":"2026-06-05T15:19:36Z","type":"item","id":"Q5959487","labels":{"en":{"language":"en","value":"\\(Q\\)-transformations and \\(Q\\)-equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1729022"}},"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":"Q5959487$E111BE9A-085F-487D-A6B2-135A857039E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b82107cb526fb998c84c9a888fc76c714a843cc3","datavalue":{"value":{"text":"\\(Q\\)-transformations and \\(Q\\)-equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959487$E3EE5988-0E33-42CC-A35F-40011F78DAC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"576d4d8aef1e96068105d6213a5fcdee6343b455","datavalue":{"value":"1001.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$86351F07-D948-4D82-AF3D-F03CBE7AE07B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c8e07a8a703eb6609b614a2a87c0617765da609","datavalue":{"value":"10.1023/A:1026683910833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$738A6D83-4509-41B0-A875-FA16BD1B5CB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1aea3febb17fa541967889304b7c088a871368e","datavalue":{"value":{"entity-type":"item","numeric-id":2202590,"id":"Q2202590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959487$EB2BB2F1-F410-461C-8EC8-4AE1BB3801AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959487$C9B18386-5F45-47F5-BAD6-80C6ECE67E1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5fbc16e366ffb1f12a89d1e74ac2844b6efae70","datavalue":{"value":{"time":"+2002-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5959487$D4C9863E-2C78-41EF-B0F1-6BA499613D8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ed0c2395fe70e30589bd85a609294630ec8e609","datavalue":{"value":"By a `balanced' code of a group, in this paper, the author means a group \\(G=\\langle a_1,\\dots,a_n\\mid R_1,R_2,\\dots,R_n\\rangle\\) generated by \\(a_1,a_2,\\dots,a_n\\) and relations \\(R_1,\\dots,R_n\\). The `Extended Nielsen operations' are the usual Nielsen operations of the set of relations together with conjugations by words in the generators. A \\(Q\\)-transformation of the code is a finite sequence of extended Nielsen operations. Two codes are called \\(Q\\)-equivalent if one can be transformed into the other by a \\(Q\\)-transformation. A \\(Q\\)-trivialization is a \\(Q\\)-transformation transforming a code into the trivial code \\(\\langle a_1,a_2,\\dots,a_n\\mid a_1,a_2,\\dots,a_n\\rangle\\). It is still open the well known Andrews-Curtis conjecture, that any balanced code of the identity group admits a \\(Q\\)-trivialization.   In this paper the following theorem is proved: Two balanced codes of the identity group are \\(Q\\)-equivalent if and only if one of them can be transformed to the other by a finite sequence of the following transformations: (1) \\(R_i\\to R^{-1}_i\\) and \\(R_k\\to R_k\\) for \\(k\\neq i\\) (inversion); (2) \\(R_i\\to WR_i W^{-1}\\) and \\(R_k\\to R_k\\) for \\(k\\neq i\\) (conjugation); (3) if a reduced word \\(R_i\\) is of the form \\(RR_j\\), \\(i\\neq j\\), and if \\(R\\) is cyclically reduced, then \\(R_i\\to R\\) and \\(R_k \\to R_k\\) for \\(k\\neq i\\) (truncation). The proof is purely combinatorial.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$26ACFBD3-92AE-4C78-9223-D9430C7C047D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$C5BBCAB1-CAA1-4E72-B114-A6571D97568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$021A6AFB-5876-4252-B937-3BE36ADD7A96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d2447a800ce347cd7f6945bae8ad26ce9031050","datavalue":{"value":"1729022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$BCB5122C-37AA-452B-AD2F-C7957692D805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee00097d7b0fa4ffe1eed1e5355f2ee2a304cd","datavalue":{"value":"genetic codes of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$DA4C8E1D-D731-4EF7-B53A-ED48F93E817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e403ab3dd6cb5e53ac13088afed4fa2814be765a","datavalue":{"value":"\\(Q\\)-transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$3666D742-FD8D-4C7E-A2CE-DA66CA1D300D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43dd5704843dd77ced10ddf56e394718458e0ef6","datavalue":{"value":"\\(Q\\)-equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$E49CCE20-6743-4333-BE25-156F4C238DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379ffaf93aa58ddffc1c1866b3c7f57093845817","datavalue":{"value":"balanced presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$5B8D8CBC-B05A-41FA-8736-7299484DF6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9b453003c2552b8e0b3fa011ae178f3bfae602","datavalue":{"value":"extended Nielsen transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$9A218D96-4AB6-4A90-B40D-05F92874EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$0EF42998-FDB7-4DF0-81E2-0E5C224268EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$F63ECB41-0E3D-47EB-B012-C015AC06F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7451ed6c506c8bf371614084bfb5b7b9b71420","datavalue":{"value":"Andrews-Curtis conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959487$5BF0C27D-A22E-483C-BF4A-9FCC7E6153F5","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":"Q5959487$E0669EAB-2E70-43B7-AE0B-315A6B7CEC5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23e87f6febde5e23534c38e71019d4a42c60b324","datavalue":{"value":"https://doi.org/10.1023/a:1026683910833","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959487$BB47F1F8-DCA7-4E5F-BBD5-273C989E7FE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"252a9a58e4e53c6b8b838d07104a29016afacdc6","datavalue":{"value":"W86712600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959487$AD4B4835-14A8-4B59-9A5B-CC3A84D5724C","rank":"normal"}],"P1643":[{"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":"59a306cb8f7c3d9951b4169e348ff6d1f9f7765b","datavalue":{"value":{"amount":"+0.7978379726409912","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":"Q5959487$E2737A65-8BED-4E90-AAD6-1C11E2A08FA4","rank":"normal"},{"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":"95a9ff1ef1387cc536eeb4486de7370ac83ea3a6","datavalue":{"value":{"amount":"+0.7965977787971497","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":"Q5959487$85AA5F96-EE30-4150-AC64-79CC9D77437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f4d72953c0cc859472fae6f726f23f0a94a312","datavalue":{"value":{"entity-type":"item","numeric-id":5754108,"id":"Q5754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fee14055e51f06dbbb5cb6f31bb5b211c7d1f4","datavalue":{"value":{"amount":"+0.7886268496513367","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":"Q5959487$982D73DF-DC0E-4ABE-8B75-B74C17E84711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7538bfc7be845b2e74b87b333ec8b3f34d72e5c9","datavalue":{"value":{"entity-type":"item","numeric-id":1063111,"id":"Q1063111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62276bc973b3682e9352ec554ecd968351d8022e","datavalue":{"value":{"amount":"+0.7823150157928467","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":"Q5959487$11FD1111-CB93-4803-9192-367ECB7C1E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238a5def6c8d95fffde1dd4e80a21432c47a35e4","datavalue":{"value":{"entity-type":"item","numeric-id":2759634,"id":"Q2759634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e64eebedb265aa2e16e800ee7d2b5ecb1c41fb9","datavalue":{"value":{"amount":"+0.7777715921401978","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":"Q5959487$BB46C523-8F16-46D2-861D-FCE9E76AD469","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(Q\\)-transformations and \\(Q\\)-equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(Q%5C)-transformations_and_%5C(Q%5C)-equivalence"}}}}}