On projective modules and computation of dimension of a module over Laurent polynomial ring (Q555248)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On projective modules and computation of dimension of a module over Laurent polynomial ring |
scientific article |
Statements
On projective modules and computation of dimension of a module over Laurent polynomial ring (English)
0 references
22 July 2011
0 references
The authors give a procedure and describe an algorithm to compute the dimension of a module over Laurent polynomial ring. They prove the cancellation theorems for projective modules and the qualitative version of Laurent polynomial analogue of Horrock's theorem. In the sequel we indicate a couple of theorems proved in the paper. Theorem 1: Let \(P\) and \(P'\) be finitely generated projective modules over \(R[X,X^{-1}]\). Suppose that \(fP\subset P'\subset P\) for some doubly monic polynomial \(f\in R[X,X^{-1}]\). Then \(P\) and \(P'\) are stably isomorphic. In particular, if \(P_f\simeq P'_{f'}\) then \(P\) and \(P'\) are stably isomorphic. Theorem 2: Let \(R\) be a local ring and \(P\) be a projective \(R[X,X^{-1}]\) module. Then, for any doubly monic polynomial \(f\in R[X,X^{-1}]\), the \(R[X,X^{-1}]\) module \(P\) and the \(R[X,X^{-1}]_f\) module \(P_f\) have the same minimal number of generators.
0 references
dimension
0 references
Laurent polynomial
0 references
projective modules
0 references