{"entities":{"Q2833657":{"pageid":2844387,"ns":120,"title":"Item:Q2833657","lastrevid":42241088,"modified":"2025-06-03T09:12:29Z","type":"item","id":"Q2833657","labels":{"en":{"language":"en","value":"Suslin's lemma for rings containing an infinite field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654814"}},"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":"Q2833657$9E525128-146A-4438-A3E4-C6AF712C7413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3da77d955d613f387a1fe0c49488cd58d31fd94","datavalue":{"value":{"text":"Suslin's lemma for rings containing an infinite field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2833657$F6B4D144-C778-4931-B3EE-ADD73069AD0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48bae1e5aa12a8eb99b45d0566196d500ef6c469","datavalue":{"value":"1365.13046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$3C86BF31-AF8C-49D3-89F2-1EE309627DE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e925ba35bd9f31e4ae1284ecf5005b9f1171ae51","datavalue":{"value":{"entity-type":"item","numeric-id":427774,"id":"Q427774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$31FC0E25-EB4D-4F7B-B151-311F8EEE9B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$1A0981FE-E2A4-405A-A2E7-E99913AD1DA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$43ED2062-F928-4282-BAAD-809EFFE7A99B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2833657$EFCD2D50-32BD-42BA-A60D-4E63487B525E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$2649B117-198E-440E-B665-F68F8872EC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$D78AB07A-5025-45B6-8827-41772F512A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$8C7E2636-4479-47AC-9531-1053F71B74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$DF8B8667-9512-4385-A7A3-282D155276BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca67f1585b66fcf73f9c8dc0a2f581445f3fc4d","datavalue":{"value":"6654814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$E031F8AB-CE99-4E05-A4C5-9280A56B86F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949c3521d17ee6522eed03310657728c8f81f90c","datavalue":{"value":"Quillen-Suslin theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$C84F787F-5ED6-47B8-86A5-1AD522CA2FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed2b4b6733d785962b79b0c8562033bd7177184","datavalue":{"value":"Suslin lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$5310B4F7-CAB7-4431-B511-F2374799BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$0A20913E-38AF-4CDB-9931-9DA09CD5D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$938D41E6-0FA6-41CB-9684-79F14F51A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768cd7dd72dfceab9880fdf5c9505130b6fcbcd2","datavalue":{"value":"resultant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$8A8B3453-AAE2-430B-909A-BBA0722B5EA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$7486F401-AF23-44F5-B896-066A76BEE38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1331ce636b4427ab24b9f0ab61fb95caee6a3a2","datavalue":{"value":{"entity-type":"item","numeric-id":20617,"id":"Q20617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$868083BC-9C9E-4D52-A06A-588FB6EC70C7","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":"Q2833657$7582E9AE-D296-4DDB-A2DD-294805987042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c50982d75ed5fc220ba5f364cc2ddebe50149c6f","datavalue":{"value":"https://doi.org/10.4064/cm5969-2-2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2833657$AD171E5E-1F51-4351-9312-0C9D476E88B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c440868f19c894d7d7d747fdc48c52f375733d3","datavalue":{"value":"W2509175274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$9902E8A9-4F70-480C-A946-5B244BD00041","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"199a280007efad0b068a15e5e804150090a0aca4","datavalue":{"value":"Q124843957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$80D88742-D4CC-4FA8-99DB-8EAE9CBF9215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77085c0df4b8b24df67fdd42f228b5309279c2b4","datavalue":{"value":"10.4064/CM5969-2-2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833657$D8DD8220-52C6-43FA-9974-9CE73A228B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ea79d2e4cf19e47bf8caeb754564606511d43d","datavalue":{"value":{"entity-type":"item","numeric-id":2269945,"id":"Q2269945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd1103663541d2fd676f92c006cb8d69a29d301","datavalue":{"value":{"amount":"+0.87982583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$986309C2-C6B5-4595-9491-1F1D0B63D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12a694e0a571d88caf5b9f5d497266e17925bef","datavalue":{"value":{"entity-type":"item","numeric-id":2731592,"id":"Q2731592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8577dcf3e4b0ac1c1450b709533ab777ef80f13c","datavalue":{"value":{"amount":"+0.8691303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$09EBB934-F329-4F1D-90E2-467F3BB317CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79cb835b3f89cc46a7b20701e718ac1451fb4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4291581,"id":"Q4291581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb0600285b0f2c14d11544f17a2884e97fb7df6","datavalue":{"value":{"amount":"+0.8686081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$133D4EBB-7EC9-4133-991F-0F66D64BB4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ac0307c6bfe4da92e1e1032f3b0b4516b2e7ba","datavalue":{"value":{"entity-type":"item","numeric-id":4726515,"id":"Q4726515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2090845e2a8a8fac45a3f9929d719670eb987899","datavalue":{"value":{"amount":"+0.86714405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$27C11491-744D-45C3-AFE1-F2A64D78BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95eca82441e8be8a3b6da0473c8a7a3ba2f82f","datavalue":{"value":{"entity-type":"item","numeric-id":1977435,"id":"Q1977435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab77012a95368a329a4fe0ac8f4b25c7862c41c","datavalue":{"value":{"amount":"+0.8645473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$E23E553A-6A99-41EA-9AEF-E5EE60633BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ae2b9c667eb4224b8b95c1381a018a752ac3a9","datavalue":{"value":{"entity-type":"item","numeric-id":2075054,"id":"Q2075054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b844436265c7e79658dfd4e6c4c309dd099f375f","datavalue":{"value":{"amount":"+0.86381596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$22FBE85F-2931-4493-95EF-AF91BDADF816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efaaeee6478451b04e14d45dbe6cdff0b02b43c","datavalue":{"value":{"entity-type":"item","numeric-id":4009825,"id":"Q4009825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948baefbd5529c6669f8cdc675e7ac798be3d3b4","datavalue":{"value":{"amount":"+0.8636805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$01BD726A-8D75-4532-98E8-B8D817A7BAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568dbc966f25f5242c2efe0069dbeef3d804c84b","datavalue":{"value":{"entity-type":"item","numeric-id":2418967,"id":"Q2418967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121e85194fdccb8b759bfa05c9d753baff1ab43c","datavalue":{"value":{"amount":"+0.8630633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$EE528B23-1D1A-40A4-83D2-6EA89A51764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80464cabae79887dd1b5cc5cd6c48b79d8f5aaa8","datavalue":{"value":{"entity-type":"item","numeric-id":3809959,"id":"Q3809959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2bdf3218bb493f4e78c72648db1ae170e4a12cd","datavalue":{"value":{"amount":"+0.8619636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$98BD0735-7EC4-47A7-AF76-9D7D716EE38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd028235168eb5dba6c6b3e83777c3f6fdac850","datavalue":{"value":{"entity-type":"item","numeric-id":1895958,"id":"Q1895958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1d184ccd63359092325ec36ffe9c00f8f25ac1","datavalue":{"value":{"amount":"+0.86176217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2833657$C31DB2D4-F439-4EC4-9480-E5760DCBA90E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8413ffa20a92b009f94a1dea407ca528ab380f84","datavalue":{"value":"Suslin's lemma has been used to prove Serre's conjecture, but the lemma is nonconstructive. This article, which generalizes previous work of \\textit{H. Lombardi} and the second author [J. Symbolic Comput. 39, 707--717 (2005; Zbl 1120.13034)], presents a new formulation for a particular case of Suslin's lemma, and uses it to describe a constructive algorithm for the Quillen-Suslin theorem. Two different proofs of the new lemma are given: one nonconstructive, and one constructive. The algorithm has been implemented in \\texttt{MAPLE}, and several examples are computed for the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2833657$8358C351-E08B-41F1-B2A3-CAAE22BB6F1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfa3b3ec20c558ff735a7086023bcd23dd16503d","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833657$2C126273-93FA-4B87-BB35-DEA3D00DE661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2833657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2833657"}}}}}