On Stably free modules over Laurent polynomial rings
Abstract
We prove constructively that for any finite-dimensional commu- tative ring R, every stably free module over R[X;X1] of rank > dim R is free, i.e., R[X;X-1] is (dimR)-Hermite.
0
We prove constructively that for any finite-dimensional commu- tative ring R, every stably free module over R[X;X1] of rank > dim R is free, i.e., R[X;X-1] is (dimR)-Hermite.