scientific article; zbMATH DE number 16672

From MaRDI portal
Publication:3973358





[For the entire collection see Zbl 0721.00007.] If \(R\) is a commutative ring, \(M\) an \(R\)-module, and \(m\in M\), then the order ideal of \(m\) in \(M\) is defined to be \(O_ M(m)=\{f(m); f\in\Hom(M,R)\}\). The authors discuss the case when \(M\) is a finitely generated projective module, and what has to be modified in case of a general finitely generated module. In particular the case when \(M\) is a \(k\)-th syzygy of finite projective dimension is investigated. A main theorem is: If \(R\) is local and contains a field, \(M\) a \(k\)-th syzygy of finite projective dimension, and \(m\) a minimal generator of \(M\), then \(O_ M(m)\) contains an \(R\)-sequence of length \(k\). (For \(k=1\) this generalizes the result of Auslander-Buchsbaum that an ideal of finite projective dimension contains a nonzero divisor.) The authors conclude with some strange consequences, should the syzygy theorem be false in mixed characteristic.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973358)