{"entities":{"Q2724121":{"pageid":2734860,"ns":120,"title":"Item:Q2724121","lastrevid":82975160,"modified":"2026-05-06T22:34:49Z","type":"item","id":"Q2724121","labels":{"en":{"language":"en","value":"A class of counterexamples to the Cancellation Problem for arbitrary rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1615678"}},"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":"Q2724121$F1AF213F-A23A-458F-87EE-FFB164CDB406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fd59100a1c8a86589e8d1127594ea2d47b3fbe4","datavalue":{"value":{"text":"A class of counterexamples to the Cancellation Problem for arbitrary rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2724121$E3AA7AFC-A8DC-42DF-9F98-99893F49DAE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39cab6d91a8e13e29ace161acfd1f742f7d95a17","datavalue":{"value":"1033.14038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$0FD1F14E-9AFE-44DE-84E8-2FBC1053E537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49388b414542f11ad2cb44cd928caa32f6628300","datavalue":{"value":{"entity-type":"item","numeric-id":549172,"id":"Q549172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724121$E5AC741A-58B3-4D82-A0F9-E581D431964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef0d88488203dafe425bd9f9fe6bcd7434ac689","datavalue":{"value":{"entity-type":"item","numeric-id":1107670,"id":"Q1107670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724121$D1BE3260-9923-4B4A-B04F-1E10EB9E8286","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4e7e6beed0836f3254bd6feb94d63063e7bca97","datavalue":{"value":{"entity-type":"item","numeric-id":2724113,"id":"Q2724113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724121$2A322191-2A28-4433-9368-FCC3EF362E9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2724121$BFDC3720-71B3-4291-B1C8-C47E62FDEE25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4e07dfeb4eb45939959f32e8b84a99fd0b289a9","datavalue":{"value":"https://semanticscholar.org/paper/1c250c09aa7b887b1e68257489cdadc118891214","type":"string"},"datatype":"url"},"type":"statement","id":"Q2724121$4C937AC4-F2A5-4B7A-82F2-F4FB9552226A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"543ce39ae5b7fd40554d542c150cad3501c6c92f","datavalue":{"value":"14R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$09311B10-7AC1-4791-BB27-EAC6DD134819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c4b44681f7a1707f0cf17256dc3be888b8d7656","datavalue":{"value":"13B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$2C1D59D2-91B4-4A55-8A94-9F892FEC90D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$DB14091C-0113-464E-B38C-9A7292559AB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83db574ad71d584f5cc0720f375af5e586473bff","datavalue":{"value":"1615678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$5FEA46E3-52F6-4979-8A8A-C9192697C4E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afdeaa2459304789763c5c4feacd4b053fe9246b","datavalue":{"value":"general cancellation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724121$09C5DBB8-E1A5-4534-80ED-E87FCF04E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0d9d0532b9196af79952aa4f332a32d523937a","datavalue":{"value":"locally nilpotent derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724121$F4D968B9-D684-49F4-8FA9-19730839AC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae89466ae8b01982f2739a753a7dbbd251fce06a","datavalue":{"value":"unimodular rows","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724121$458B04CE-61D0-4B5C-A0CC-4F81DA8E8A4A","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":"Q2724121$BB195395-72E3-4401-9511-68FF4D3BC9C6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc150732540da26946ad99db1bf166637b832ad6","datavalue":{"value":"Q124802257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$F50C4092-250F-4634-B864-76991D609608","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2dc4830694be82f4523eb355d273cbd1441a462","datavalue":{"value":"W2018310948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$D41D0310-FD73-4258-9AE8-91BEED16D9F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16c891190c80680286bc2fb706709caaba8f3f27","datavalue":{"value":"10.4064/AP76-1-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2724121$D98FB49F-6773-4394-9807-CBC9D64BF810","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8becb13a743ee5fb06eaee6a67c0cb11343cf206","datavalue":{"value":"The ``cancellation problem'' asks the following question: Let \\(B\\) be an affine domain over a field \\(k\\) and \\(n\\in {\\mathbb N}\\). Assume that \\(B[T]\\cong_k k[X_1,\\dots,X_n]\\). Does it then follow that \\(B\\cong_k k[Y_1,\\dots,Y_{n-1}]\\)? For background on this and other cancellation problems in algebraic geometry see: \\textit{H.~Kraft} in: Topological Methods in Algebraic Transformation Groups, Prog. Math. {80}, 81--105 (1989; Zbl 0719.14030).NEWLINENEWLINENow let \\(A\\) be a commutative ring, \\(B\\) an \\(A\\)-domain, and \\(n\\in {\\mathbb N}\\). Assume that \\(B[ T] \\cong_A A[ X_1,\\dots,X_n]\\). The ``general cancellation problem'' asks: Does it then follow that \\(B\\cong_A A[Y_1,\\dots,Y_{n-1}]\\)?NEWLINENEWLINEIn the present paper a class of counterexamples to the last question is constructed. Namely, let \\(k\\) be a field of characteristic zero and let \\(A\\) be a finitely generated commutative \\(k\\)-algebra without zero divisors. Suppose that there exists a unimodular row \\((a_1,\\dots,a_n)\\), i.e. \\(a_1b_1+\\dots+a_nb_n=1\\) for some \\(b_1,\\dots,b_n\\in A\\), which cannot be completed to an invertible square matrix. [ For example, it was shown by Raynaud and Suslin that this is the case for \\(A={\\mathbb C}\\,[a,b,c,x,y,z]/(ax+by+cz-1)\\) and the row \\((\\overline x, \\overline y, \\overline z)\\).]{} Let \\(B\\) be the kernel of the \\(k\\)-derivation NEWLINE\\[NEWLINE D=b_1\\frac{\\partial}{\\partial X_1}+\\dots+b_n\\frac{\\partial}{\\partial X_n} NEWLINE\\]NEWLINE of the ring \\(A[X_1,\\dots,X_n]\\). The authors prove that \\(B[a_1X_1+\\dots+a_nX_n]= A[X_1,\\dots,X_n]\\), but \\(B\\) is not isomorphic to \\(A[Y_1,\\dots, Y_{n-1}]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2724121$53A2EEB6-E86D-43F2-BCF6-5C7FC1EBEBEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f525c69b0875aab7f3ed337a2d8bf4e1b5418a8d","datavalue":{"value":{"entity-type":"item","numeric-id":411759,"id":"Q411759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2724121$BE5EEB9C-8E62-40CC-8277-FCCD60AF0CE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b6788de6d17e293c1f173c1c790ecfe96cb02f","datavalue":{"value":{"entity-type":"item","numeric-id":2479931,"id":"Q2479931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8445431cf40273279e4473793be986ebe8c867f2","datavalue":{"value":{"amount":"+0.816324770450592","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":"Q2724121$B565599C-76CB-4642-B3CB-8CA3738FA17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e99a209081f99580b5796726467b3df27c90e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5293296,"id":"Q5293296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8906887c43d9076c5218e2985e5824a02daef54e","datavalue":{"value":{"amount":"+0.8096133470535278","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":"Q2724121$4F854AB8-7F06-47F0-9A3A-479BEF2B6113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d8303a30c9a6018acf0bbf1328bdda51112b9f1","datavalue":{"value":{"entity-type":"item","numeric-id":579319,"id":"Q579319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c9ca1ed1d9710f73d34146396c00c870dddc30","datavalue":{"value":{"amount":"+0.8093538284301758","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":"Q2724121$84E2F385-59B9-4090-94FF-F120FCF98C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e864c8d7dd216e36316c93b3fe679c7b5a7b1ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2391098,"id":"Q2391098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1decbe76b1159b5ca946e9673cc3efddc2b1a4","datavalue":{"value":{"amount":"+0.7966512441635132","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":"Q2724121$1DD4A75A-DD48-49AC-B2EA-FF3D0943EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6539e456597eaa03b7a32e07bc1f8e73386c085","datavalue":{"value":{"entity-type":"item","numeric-id":3333164,"id":"Q3333164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42527574eb47597e809b135690d77847f1821ab6","datavalue":{"value":{"amount":"+0.7951467037200928","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":"Q2724121$D706CC8B-3BDB-48B4-82F2-9C156C365BA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of counterexamples to the Cancellation Problem for arbitrary rings","badges":[]}}}}}