An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals (Q5926299)
From MaRDI portal
scientific article; zbMATH DE number 1570908
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals |
scientific article; zbMATH DE number 1570908 |
Statements
An algorithm for the Quillen-Suslin theorem for quotients of polnomial rings by monomial ideals (English)
0 references
26 April 2002
0 references
The Quillen-Suslin theorem states the following. Consider a \(m\times m\)-matrix \(M\) with polynomial entries from \(k[x].\) The columns generate a submodule \(P\) of \(k[x]^m.\) If \(P\) is projective then the submodule \(\ker(M)\) has a free basis. The authors generalize this result to the case that \(k[x]\) is replaced by the quotient ring \(k[x]/I\) where I is a monomial ideal. An algorithm for the construction of a free basis of ker(M) is presented. The first step is the redution to the square-free case. Ideas of Vorst are used to represent the square-free quotient ring as a pullback of two quotient rings. The construction uses a Stanley-Reisner ring of a simplicial complex. This idea of two rings is repeated until polynomial rings are found. Here the original Quillen-Suslin theorem can be used and the algorithm works backward to reconstruct the free basis of the original \(\ker(M)\). The lifting algorithm involves Gröbner bases. The last section illustrates the algorithm by an example. This paper will be interesting to people working in commutative algebra and computational algebra.
0 references
monomial ideal
0 references
free module
0 references
Gröbner basis
0 references
square-free
0 references
Quillen-Suslin theorem
0 references
Stanley-Reisner ring
0 references