| An algorithm for the Quillen-Suslin theorem for monoid rings (1997) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. This paper presents an algorithm for the Quillen-Suslin Theorem for quotients of polynomial rings by monomial ideals, that is, quotients of the form A = k[x0;:::; xn]=I, with I a monomial ideal and k a field. T. Vorst proved that finitely generated projective modules over such algebras are free. Given a finitely generated module P, described by generators and relations, the algorithm tests whether P is projective, in which case it computes a free basis for P. 1. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||