{"entities":{"Q579319":{"pageid":581086,"ns":120,"title":"Item:Q579319","lastrevid":62925999,"modified":"2026-04-11T09:01:33Z","type":"item","id":"Q579319","labels":{"en":{"language":"en","value":"The cancellation problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014851"}},"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":"Q579319$7C624AD5-36B2-40BD-9E26-30609185BF8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ee29ebab95de4849f48aadfe852781adce0652","datavalue":{"value":{"text":"The cancellation problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579319$31663FB4-EF01-4343-8AAC-3A0770654F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db8f0a51556e77d9a1b42f115b6efe954dce3d6d","datavalue":{"value":"0625.12012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$18AC755B-A6BB-42BC-B21E-14C146728B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"373a0d92188ea347aeff836f01b254fabd3d9797","datavalue":{"value":"10.1016/0022-4049(87)90059-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$4A408DAC-B6D7-4051-B7BB-857E21FC1837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b80dcdf5daf2226db5fc9004012b8337fa6917","datavalue":{"value":{"entity-type":"item","numeric-id":186503,"id":"Q186503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$842F8118-F87D-4CB6-8191-C7B06BF68FCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$CE1517CC-6540-4E27-A2A3-1FBB824FC5A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q579319$71522574-7D5D-47AF-BFD3-2965E57DDA09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2dcbdca8c235ce4809e80c65899dfb9d351107e","datavalue":{"value":"Let k be a field. The author considers the following cancellation problems.    (i) Let \\(K_ 1/k\\) and \\(K_ 2/k\\) be finitely generated field extensions. If \\(K_ 1(x_ 1,...,x_ n)\\cong K_ 2(y_ 1,...,y_ n)\\) where \\(x_ 1,...,x_ n\\) and \\(y_ 1,...,y_ n\\) are algebraically independent over \\(K_ 1\\) and \\(K_ 2\\), respectively, then is \\(K_ 1\\cong K_ 2\\) over k ?    (ii) Let A and B be affine domains over k. If \\(A[x_ 1,...,x_ n]\\cong B[y_ 1,...,y_ n]\\) where \\(A[x_ 1,...,x_ n]\\) and \\(B[y_ 1,...,y_ n]\\) are polynomial rings over A and B, respectively, then is \\(A\\cong B\\) over k ?    The author proves the following results for problem (i). Let \\(L/K_ 1/k\\) and \\(L/K_ 2/k\\) be field extensions. Suppose that \\(K_ 1(x_ 1,...,x_ n)=K_ 2(y_ 1,...,y_ n)\\) and trans. deg. \\(K_ i/k\\leq 1\\) for \\(i=1,2\\). Then (1) \\(K_ 1\\cong K_ 2\\) over k. (2) If \\(K_ 1\\neq K_ 2\\), let \\(k_ 0\\) denote \\(K_ 1\\cap K_ 2\\). Then for \\(i=1,2\\), \\(K_ i/k_ 0\\) is finitely generated with transcendence degree 1, and \\(K_ i/k_ 0\\) is a regular extension with genus zero.    Let k be algebraically closed of characteristic 0 and let \\(K_ 1/k\\) and \\(K_ 2/k\\) be finitely generated field extensions. Suppose that \\(f: K_ 1(x_ 1,...,x_ n)\\to K_ 2(y_ 1,...,y_ n)\\) is an isomorphism over k. If the Kodaira dimensions of \\(K_ i\\) are nonnegative, then f': \\(K_ 1\\to K_ 2\\) is an isomorphism over k where f' is the restriction of f on \\(K_ 1.\\)    Let k be algebraically closed of characteristic 0 and let \\(K_ 1/k\\) and \\(K_ 2/k\\) be finitely generated field extensions. Suppose that \\(K_ 1(x_ 1,...,x_ n)=K_ 2(y_ 1,...,y_ n)\\) and trans. deg. \\(K_ i/k=2\\) for \\(i=1,2\\). Then    (1) \\(K_ 1\\cong K_ 2\\) over k;    (2) \\(K_ 1=K_ 2\\) if \\(K_ i | k\\) is not ruled, \\(i=1,2;\\)    (3) when \\(K_ i/k\\) is nonrational ruled over k \\((i=1,2)\\), then either \\(K_ 1=K_ 2\\) or \\(K_ i=k_ 0(t_ i)\\) where \\(k_ 0=K_ 1\\cap K_ 2\\) and \\(k_ 0/k\\) is an algebraic function field of one variable.    The author proves the following results for problem (ii). Let A and B be commutative integral domains with \\(k\\subset A\\) and let Q(A) and Q(B) denote their quotient fields. Suppose that \\(A[x]=B[y]\\). Then    (1) if trans. deg. Q(A)/k\\(\\leq 2\\), then Q(A)\\(\\cong Q(B)\\) over k;    (2) if trans. deg. Q(A)/k\\(=3\\), Q(A) is finitely generated over k and k is algebraically closed of characteristic 0, then Q(A)\\(\\cong Q(B)\\) over k.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$F72FD48B-6169-4141-9F0E-970A2EF14E69","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e07ef5aa4c4d1030ce09a6b25a088938e6f20289","datavalue":{"value":{"entity-type":"item","numeric-id":167728,"id":"Q167728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$D157ABA5-06D8-4B0B-B560-6FB858843A3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$5AA962ED-E36F-4222-9208-0DACD17DE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$6FCB4315-1E3F-4B95-B5F6-4307A935015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$8DA6E499-C41B-40D8-A0B6-1808BF1944F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$013A0A2C-A604-4D18-8EAB-0212FBE196AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b42e866ed0a84aee72d03d5ec9938b716803081","datavalue":{"value":"4014851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$B16810C5-E350-438A-B5FD-23A67A4DDF04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f350206bca8d14a67568755903736a884610a92","datavalue":{"value":"birational cancellation problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$160D3A5E-8BDC-47DD-8784-7030F678D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d019fc79a959db1d1764a40a016c1eb3e5837a8","datavalue":{"value":"biregular cancellation problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$804A164B-16F6-4BFE-8EA2-02003D68FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a09a6822baa282061a2d33f6a135d47cf16e4f","datavalue":{"value":"finitely generated field extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$96E429B5-29B2-419E-9F91-7B4A3D34E618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5edb0cf49ac8a7c68e34d80b3a768581cdc7cfb","datavalue":{"value":"affine domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$060E21CA-55CE-4A6F-9136-691667E6254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324d0cb51641b0e078eab73714d5298f10ee9892","datavalue":{"value":"transcendence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q579319$60DF8C3E-3C0E-48F6-9689-759D844ACBDE","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":"Q579319$71F06E10-A491-4A38-A7A5-F15A5CB7231A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94bc3969d674f3dc1fafa8e594816f79137a14be","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90059-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q579319$2F0151D7-F130-4BEE-9CFC-F08E0FF6DA8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60ff43721a908d4299fb1308d3d474ef84f789c5","datavalue":{"value":"W2064736243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579319$5DAD15B5-BDB4-4DEB-9C1F-463E802C8C76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c7479447c2e52f8dda0f52bfe78f3125067fb","datavalue":{"value":{"entity-type":"item","numeric-id":766421,"id":"Q766421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$A8BDB709-8D02-4AAC-B678-A802C8AD662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f51bac6764f4cc46a235bf58c164830ff3c5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1073863,"id":"Q1073863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$B8D4949B-949D-40DC-AECA-E7B2538CBF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526574fc59d6a0f0ee599067ed0b2a9df2c6a80c","datavalue":{"value":{"entity-type":"item","numeric-id":5810622,"id":"Q5810622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$BB1DED7D-C47F-4256-9BE4-FC2617823530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff688f2fe8f772795f26b751616f7ccc710bb891","datavalue":{"value":{"entity-type":"item","numeric-id":3310736,"id":"Q3310736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$485D1954-F9A3-45F1-974C-F6B87FB85715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64e77a630b8af1c46f06b67a254f5adb7285ae3","datavalue":{"value":{"entity-type":"item","numeric-id":5577214,"id":"Q5577214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$8CD69549-4950-46FA-BEB3-82B33ECA4D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f033301cd9439a5efa4ac9952db64a565fb3e964","datavalue":{"value":{"entity-type":"item","numeric-id":2521161,"id":"Q2521161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$07989A21-94A3-490A-B75A-BC00F09447B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$D5670952-7BA1-49AE-AC6E-E804B4767AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0a007845f4bdec3e72a0bebc623e5c540ab852","datavalue":{"value":{"entity-type":"item","numeric-id":4123440,"id":"Q4123440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$44E8564E-B17B-4F16-9BDF-E34094D22152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5b8b852207df4ea0e88261c25d18f291e8381c","datavalue":{"value":{"entity-type":"item","numeric-id":1218891,"id":"Q1218891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$0B7886D0-FFA2-405A-8CE0-90B8B9BB5256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50837b5f300ba0e3cd6fe5e8fe7edca224bfb538","datavalue":{"value":{"entity-type":"item","numeric-id":3333164,"id":"Q3333164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$03A92E94-C8F5-4146-9F99-10C137BE9004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff96cb006e6450aa831883e17d511df767b8a2e","datavalue":{"value":{"entity-type":"item","numeric-id":5523732,"id":"Q5523732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$70BD041D-9F9F-4482-9EA9-067F2519AD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2acab526282f257e6bcff15e147450c9f26d2113","datavalue":{"value":{"entity-type":"item","numeric-id":3674782,"id":"Q3674782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$B71295F3-0E52-4C67-909F-B0CFF8760181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7977ab26904b27134014b87920db1077fbad2dd","datavalue":{"value":{"entity-type":"item","numeric-id":2625272,"id":"Q2625272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$DC271636-641C-4F0F-9276-A9CF3BCC46FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63aaa05d0eccfb84c25fb281cc21250bb06f0a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4074988,"id":"Q4074988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579319$168CB0F9-EBC8-4F21-99E9-90EB7A5D7BCD","rank":"normal"}],"P1643":[{"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":"5d4884b84666118a10f52d5073e7c86c9094ede3","datavalue":{"value":{"amount":"+0.9072258472442628","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":"Q579319$7DDF375C-46C3-4449-A3C7-43FB291FD008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adad753f20cff46472daa392942a4893bd569c35","datavalue":{"value":{"entity-type":"item","numeric-id":706005,"id":"Q706005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab265c4157252660f39100c9664eb50f40a7c13","datavalue":{"value":{"amount":"+0.8580321073532104","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":"Q579319$FF9B880E-ACEE-40C4-9888-0F466EB81420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df338e8da583b2bf8e3a0e840e934f664d2eec03","datavalue":{"value":{"entity-type":"item","numeric-id":3797289,"id":"Q3797289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ddcbc0cf8bd22aae92d872d6969a8eb1ec9fed1","datavalue":{"value":{"amount":"+0.8568626046180725","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":"Q579319$124BAECC-E1E4-40FD-8A21-5B99DF67E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd72358ea00bb0d79c515c3417c5297f26be9dd","datavalue":{"value":{"entity-type":"item","numeric-id":5470009,"id":"Q5470009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2c3cbc06075fd2461a810d42767fd8b4d85749","datavalue":{"value":{"amount":"+0.8491630554199219","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":"Q579319$16224E73-60BD-465C-A0D1-5FAE20E86A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a7d2642b99ac0d2865814fc3c60c0c66bff8f0","datavalue":{"value":{"entity-type":"item","numeric-id":2474268,"id":"Q2474268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf3b0954aea328198cd69ca2331bb197b9b9a9f","datavalue":{"value":{"amount":"+0.848555326461792","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":"Q579319$A2DB749E-7768-427B-B943-15C054A212DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The cancellation problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_cancellation_problem"}}}}}