Suslin's lemma for rings containing an infinite field (Q2833657)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Suslin's lemma for rings containing an infinite field |
scientific article; zbMATH DE number 6654814
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Suslin's lemma for rings containing an infinite field |
scientific article; zbMATH DE number 6654814 |
Statements
Suslin's lemma for rings containing an infinite field (English)
0 references
18 November 2016
0 references
Quillen-Suslin theorem
0 references
Suslin lemma
0 references
constructive mathematics
0 references
computer algebra
0 references
resultant
0 references
0.87982583
0 references
0 references
0 references
0 references
0.86381596
0 references
0.8630633
0 references
0.8619636
0 references
0 references
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.
0 references
