Alban Quadrat, Sorbonne University, Paris, France, An introduction to the Quillen-Suslin theorem: algorithms and applications
ZoomIn 1955, Serre conjectured that every row vector with entries in a commutative polynomial ring R=k over a field k, admitting a right inverse over R, could be completed into a square matrix whose determinant is 1. That conjecture was independently proved by Quillen and Suslin in 1976 and is nowadays called the Quillen-Suslin theorem.…