{"entities":{"Q479320":{"pageid":481087,"ns":120,"title":"Item:Q479320","lastrevid":62249418,"modified":"2026-04-11T04:47:41Z","type":"item","id":"Q479320","labels":{"en":{"language":"en","value":"Completeness of the ring of polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377288"}},"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":"Q479320$BB5C7967-967A-40DD-9520-89343D7A957E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"162149e07c2a12746d793bd66662ad83dde887f1","datavalue":{"value":{"text":"Completeness of the ring of polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479320$81971A79-AD14-45D6-9BF2-5E0C0C3D7E0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"151806a73c218dfcbfcab6f3b6281e265ce62c13","datavalue":{"value":"1320.13032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$E1A0839E-A2EA-4872-97D7-BEA7AF442555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a75d71158c3cd122f7bb8d48f1510fe8055dd9","datavalue":{"value":{"entity-type":"item","numeric-id":227484,"id":"Q227484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479320$D60009D5-A5D0-4730-8638-282783D9DB72","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":"Q479320$DF6AE07A-D5FA-4377-B6A3-28BBCCE44B6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479320$17AB0F64-F055-4C7C-A1C5-EE8C51052427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"980ee1fa72fce1fbcd032cacb971fff0b7fe8971","datavalue":{"value":"https://arxiv.org/abs/1312.5509","type":"string"},"datatype":"url"},"type":"statement","id":"Q479320$01F0842B-DB73-4DA2-A229-04EA31ACF99A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d40b985d8f348e81214f5402c0875e2dd40ecb9","datavalue":{"value":"Let \\(k\\) be a field. Let \\(R = k[x_1, \\ldots x_n]\\) denotes the polynomial ring in \\(n\\) variables. Set \\(d = 0\\) if \\(k\\) is finite, otherwise \\(d\\) is defined by the cardinality equation \\(|k| = \\aleph_d\\). A recent conjecture of L. Gruson (priv. comm., 2013) states:  {Conjecture:} \\(\\mathrm{Ext}^i_R(K,R) \\neq 0 \\iff i = \\text{inf}\\{d+1,n\\}\\).  This conjecture generalizes for all \\(i\\) the following two 40 years old conjectures,  {Conjecture}. With same notation, let \\(m \\subset R\\) be a maximal ideal. Then the following bi-implications hold:  {a} \\(\\mathrm{Ext}^1_R(K,R) \\neq 0 \\iff n = 1 \\text{ or } |k| \\leq \\aleph_0\\) [\\textit{C. U. Jensen}, Bull. Am. Math. Soc. 78, 831--834 (1972; Zbl 0256.20069)].  {b} \\(\\mathrm{Ext}^1_{R_m}(K,R_m) \\neq 0 \\iff n = 1 \\text{ or } |k| \\leq \\aleph_0\\) [\\textit{L. Gruson}, in: Sympos. math. 11, Algebra commut., Geometria, Convegni 1971/1972, 243--254 (1973; Zbl 0291.13007)].  The work under review proves these latter two conjectures. In fact, as discussed in the introduction to the paper, both these conjectures are implied by Theorem 4 of the work:  {Theorem}. Assume \\(|k| \\geq \\aleph_1\\), that \\(n \\geq 2\\), and that \\(R = U^{-1}R_0\\) is a localization of \\(R_0 = k[X_1, \\ldots X_n]\\) with a multiplicative subset \\(U \\subset R_0\\). In addition, assume that every maximal ideal of \\(R\\) contracts to a maximal ideal of \\(R_0\\). Then \\(R\\) is complete.  The proof of this theorem is presented in a series of lemma and part of it is true in a more general setup where \\(R\\) is an integral domain. The proof depends crucially on the following result of \\textit{L. Gruson} [in: Sympos. math. 11, Algebra commut., Geometria, Convegni 1971/1972, 243--254 (1973; Zbl 0291.13007)]:  {Proposition}. Assume \\(n = 2\\). The localization \\(R_m\\) of \\(R\\) at any maximal ideal \\(m \\subset R\\) is complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q479320$90190A3A-508D-489A-B000-A45B6A6DFD7D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d1c01bc00089e8672908367656b9cc22ed6267d0","datavalue":{"value":{"entity-type":"item","numeric-id":515584,"id":"Q515584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479320$161B658A-3FBC-4592-AB50-D1AD0E0AE10E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e60bc2db4afa42b59916c01f920d658b244bf8fc","datavalue":{"value":"13J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$B13D9BE8-B5CF-4AE9-B930-AA7BCF23BC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a397bf06d7410fefed6c6de922d496ba3a1b3792","datavalue":{"value":"13B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$0489EFDA-F1DC-4B41-AEA4-F1B2639307D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b87bd5fc0ca3474217338f84a3e7efb06fefaff","datavalue":{"value":"6377288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$93B2B107-2AE8-406E-9ED2-54E70C0A059B","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":"Q479320$0F5EBD3C-2815-4FC3-92A2-755DC3C9D57F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66fd2520b32b6e15542fd60a9f313acd50878ba4","datavalue":{"value":"W1997613618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$BA30E322-6CE4-4D0B-BBD2-1348C8E5178E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a81e0602affb7c13a979747299b17f31c73eefc","datavalue":{"value":{"entity-type":"item","numeric-id":4041674,"id":"Q4041674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479320$F36F810D-06BC-4BC6-8AF8-E25D48EA9EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c2a1480587e28fdb3d9095ab9fe00035f85d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5670827,"id":"Q5670827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479320$F39DAB98-FEB0-49F7-9A24-D3ADAF9EF790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bd77fd8ae99723a0e76d648ea06b8a2fcc8b124","datavalue":{"value":"10.1016/J.JPAA.2014.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479320$F9BF5348-4452-4013-9B18-484B6D4E13F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d037025564b636308038b6b815e9593d4c706b","datavalue":{"value":{"entity-type":"item","numeric-id":4372358,"id":"Q4372358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c484ad856a6a305c4f6481449e46b0be3538a6","datavalue":{"value":{"amount":"+0.67619395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$5ED6C9DF-927F-4257-9EDF-4D3C08E71E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e32a5c49fdadb43d494bc7e5af31e96a52c5504","datavalue":{"value":{"entity-type":"item","numeric-id":2689451,"id":"Q2689451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b7fbf78cc5d25ae4cbe48f94250da6cf570a9f","datavalue":{"value":{"amount":"+0.6746672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$F2938791-6CCF-4CA6-B2BD-EA9A40D8A76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cb3046955e9f95a54f98b00136527f41308046","datavalue":{"value":{"entity-type":"item","numeric-id":6053101,"id":"Q6053101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa531170db4657816ff8de4d03d950c3e5b0b80","datavalue":{"value":{"amount":"+0.6612684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$B9AEC456-2B8A-4EBD-B772-2C4F6C8F39D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396a082f555264d59f7b1cea6cb41189cddf5d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4239728,"id":"Q4239728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6a2d501c85957cadc3441fce7806667f41e6a3","datavalue":{"value":{"amount":"+0.65572906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$4B76BE70-3284-4C5A-B545-215811AE5808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4656e5fd2ac3ec10f7664a682bb79e1d009bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5409973,"id":"Q5409973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca41bcc26c363d1ce8c72fc8e902bbf03ff7dfa","datavalue":{"value":{"amount":"+0.65200484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$8A073A05-E722-45A3-A19A-A686ABAA12C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74978eedce460fbde98e31656cdac9f91e82689b","datavalue":{"value":{"entity-type":"item","numeric-id":3717183,"id":"Q3717183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26012b833d4bac9d30c051d52e0412220228afa","datavalue":{"value":{"amount":"+0.65100086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$97D04E3F-46D9-4E45-BCBF-50E82F42A481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec606a2b52b5bea556f055ed9f249a5b73fdf45","datavalue":{"value":{"entity-type":"item","numeric-id":1100241,"id":"Q1100241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa54616461fdc1843a4820b32fb76912ac8dae4","datavalue":{"value":{"amount":"+0.6468518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$33E2A6D0-7445-45F9-A3FF-583A6ADB2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64c89de25d08c2bb2ab156e118d6a24ab8a4af9","datavalue":{"value":{"entity-type":"item","numeric-id":2777975,"id":"Q2777975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4112cec97383a00c4a5775d4ab496b9e5b963e9","datavalue":{"value":{"amount":"+0.6427124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$3ACB27F2-6980-4CA3-8FF4-5E468150A691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93dedb46bc03988486f29dade2d515cd746877b9","datavalue":{"value":{"entity-type":"item","numeric-id":6185724,"id":"Q6185724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b373eb910244db3bcd86aa36ea0b65fcdeb45e34","datavalue":{"value":{"amount":"+0.64092326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$C38D3019-44E4-4991-9C46-CA3EC098BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fc4e8441f884b1f16dbd501e0313a9b1c67583","datavalue":{"value":{"entity-type":"item","numeric-id":392515,"id":"Q392515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afcf50f5027058eb96d5dbce1f062d1499a47b9b","datavalue":{"value":{"amount":"+0.6390695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479320$365EF78E-9848-47A0-A7BE-120E98CE6184","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of the ring of polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_the_ring_of_polynomials"}}}}}