{"entities":{"Q914758":{"pageid":916606,"ns":120,"title":"Item:Q914758","lastrevid":65316066,"modified":"2026-04-12T01:45:03Z","type":"item","id":"Q914758","labels":{"en":{"language":"en","value":"Stably free modules of `big rank' over polynomial rings are free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150351"}},"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":"Q914758$F1FB9966-86BC-4F26-BB58-F83203EB3906","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"913bd872f7adb5930632d9ba07707b454a326f7b","datavalue":{"value":{"text":"Stably free modules of `big rank' over polynomial rings are free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914758$D4A340DC-F814-4BE1-BA5A-A0B3668482E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87efc8184f93fd64bee6eede14c8d7e041a7d395","datavalue":{"value":"0702.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914758$EE27F49B-A871-41F9-9D4B-6529315C7060","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c27becfccf2917ff628919cc2804a860fa7867","datavalue":{"value":"10.1016/0022-4049(90)90034-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914758$8A857C4C-F0F3-4D85-8669-D688070F7374","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db3ba22e0e6fdc8830c5a88e03631a8ebe120113","datavalue":{"value":{"entity-type":"item","numeric-id":914756,"id":"Q914756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$1839BCFB-E72E-4A99-8E8C-AADBDB4FD5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a660d77efa02514e687204d3b34a50a24597097","datavalue":{"value":{"entity-type":"item","numeric-id":914757,"id":"Q914757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$139B51CF-E3C8-4E63-838F-4BCD06E09AE8","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":"Q914758$A9C20953-27EE-4995-AB20-ECEE185461D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q914758$386D8D68-2CE3-429A-AD35-B9D25E4C98C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7466f05d4eacfea405f2133642f9b35c5149fa17","datavalue":{"value":"Let A be a commutative ring with \\(\\dim (A[x_ 1,...,x_ n])=r\\), P be a module over \\(A[x_ 1,...,x_ n]\\) with rank\\((P)=\\rho\\). The authors prove that  \\[  (\\exists d)(\\rho >d\\text{ and P is stably free }\\Rightarrow P\\text{ is free})  \\]  with \\(d=r-n\\). If A is Noetherian, this result is well-known with \\(d=\\dim (A)\\) [\\textit{T. Y. Lam}, ``Serre's Conjecture'', Lect. Notes Math. 635 (1978; Zbl 0373.13004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q914758$4720785E-636B-4F4C-9FE7-BE0D4C351CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6c0d35e6fccd0fb471822cfa3b5bcd398a274a","datavalue":{"value":"13C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914758$5243C8C7-7DD7-4339-A856-89785413E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914758$5389AD52-57AC-4A91-98DF-1054833EA0C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d83eb758333ffdcdfdef9c189e0579da2ef073","datavalue":{"value":"4150351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914758$3923A8E2-CF12-4C9C-A6C7-945A1C98138F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da44fe8a3fc4403b87b2412b71ed6bef8dc0bc7e","datavalue":{"value":"freeness of projective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q914758$B7659C09-0B5E-40B0-959C-2BE3393D681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q914758$1D5FFCFA-11EA-4457-8A1E-BD76872EFC76","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":"Q914758$D2BF9E95-4907-4B85-B2C0-31D5BA31045D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4692171a12438b6a4d117d58d5b11edc0f71fac0","datavalue":{"value":{"entity-type":"item","numeric-id":1073844,"id":"Q1073844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$362E8EF5-9AF9-4378-AD6B-7E4ECFE1BC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81224b2ecef1c129b0d29c888b63bda6e41fc81","datavalue":{"value":{"entity-type":"item","numeric-id":4039904,"id":"Q4039904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$7F66CDFB-9053-4EEB-B249-AE4A62E4E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120b21b0cc71054381a183461ec98245b3cb059","datavalue":{"value":{"entity-type":"item","numeric-id":1244268,"id":"Q1244268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$6EA0DCF8-37CA-411C-BB08-8AFC2D333103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f5aa35186857c0e1aa37742d6fcc0c668e285","datavalue":{"value":{"entity-type":"item","numeric-id":4189363,"id":"Q4189363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914758$68D4D2B3-82F0-4878-903A-C6E48503F67F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ab623c63d4671461b433507a0ccb8aa1d2c23e","datavalue":{"value":{"entity-type":"item","numeric-id":3168742,"id":"Q3168742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f39d6755c40de1598012064136f862e7ccd3baf","datavalue":{"value":{"amount":"+0.8790209293365479","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":"Q914758$3EAB3FB2-2850-478B-B9B7-81BC559D086B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4cd14c363c3a8c15951723c50c5b21085a47d2","datavalue":{"value":{"entity-type":"item","numeric-id":1927934,"id":"Q1927934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc31c27cc94952a9e3641aa2b5811134a028342","datavalue":{"value":{"amount":"+0.8725966215133667","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":"Q914758$20FB68FC-94E1-45E2-814D-D4AA8E5B229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b21371e3f8bd2a5f0ef26b54e374739788ea31","datavalue":{"value":{"entity-type":"item","numeric-id":3103888,"id":"Q3103888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f535a0b675ceaf20471be5ed40e5a6dade384c5f","datavalue":{"value":{"amount":"+0.8359333872795105","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":"Q914758$DCD164D8-FBF5-4089-86D0-8AA49417A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e05e88363a136a336d684766be7039d734c7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3724443,"id":"Q3724443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad79a83180983e553c9186f14b51cd2afd9379f0","datavalue":{"value":{"amount":"+0.8319962620735168","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":"Q914758$1FBA1969-55D0-476F-8049-9DF13E471BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9c0e369eb5b2abae836f2a29946027317f3208","datavalue":{"value":{"entity-type":"item","numeric-id":3570784,"id":"Q3570784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464da2e25c25f57e14f5164a4e99e86f539294bc","datavalue":{"value":{"amount":"+0.8289157152175903","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":"Q914758$BC2AB8A1-9D88-4006-8EBB-1A26740B7833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stably free modules of `big rank' over polynomial rings are free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stably_free_modules_of_%60big_rank%27_over_polynomial_rings_are_free"}}}}}