
Implementing an Algorithm for the QuillenSuslin TheoremTroels Windfeldt, Denmark
Abstract: The QuillenSuslin Theorem is a prominent theorem in commutative algebra that asserts every projective module over a polynomial ring is free. It was conjectured be Serre in 1954, and proved independently by Quillen and Suslin in 1978. I will present an algorithm by Logar and Sturmfels to compute a basis of a projective module over a polynomial ring. The motivation for implementing the algorithm comes from geometric modeling. In particular from the desire to be able to compute mubases for rational surfaces. I will begin the talk by explaning this connection. 