An algorithm for the Quillen-Suslin Theorem for quotients of polynomial rings by monomial ideals

This paper presents an algorithm for the Quillen Suslin Theorem for quotien ts of polynomial rings by monomial ideals, that is, quotients of the form A = k[x(0),...,x(n)]/I, with I a monomial ideal and k a field. Vorst proved that finitely generated projective modules over such algebras are free. Giv en a finitely generated module P, described by generators and relations, th e algorithm tests whether P is projective, in which case it computes a free basis for P. (C) 2000 Academic Press.