On certain graded artinian modules

From MaRDI portal





Let \(A\) be a commutative ring with identity and let \(I\) be an ideal of \(A\). Two important rings associated with \(I\) and \(A\) are the Rees algebra \(R_ I(A)=\sum^ \infty_{n=0}I^ nX^ n\) and the associated graded ring \(G_ I(A)=R_ I(A)/IR_ I(A)\). In order to study an Artinian \(A\)- module \(M\), \textit{D. Kirby} introduced the following graded module analogues to the Rees module and associated graded module of a Noetherian module: \[ R(I,M)=\bigoplus^ 0_{n=-\infty}\bigl(M/(0:_ MI^{- n})\bigr)\quad \text{and}\quad G(I,M)=\bigoplus^ 0_{n=-\infty}(0:_ MI^{-n+1})/(0:_ MI^{-n}). \] The author observes that \(R(I,M)\) is an Artinian \(R_ I(A)\)-module and \(G(I,M)\) is an Artinian \(G_ I(A)\)- module. For a nonzero Artinian module there is a well-defined Krull dimension given as the degree of a certain polynomial. The author relates the Krull dimension of \(M\) and \(G(I,M)\). Using the concept of a cosequence introduced by Matlis, for an ideal \(I=(x_ 1,\ldots,x_ r)\) of \(A\) the author gives an equivalent condition that the initial forms \(x^*_ 1,\ldots,x_ r^*\) be a \(G(I,M)\)-cosequence. It is shown that there is a natural graded monomorphism from \(G(I,M)\) to the inverse polynomial module \((0:_ MI)\) \([x^{-1}_ 1,\ldots,x_ r^{-1}]\) which is an isomorphism if and only if \(x_ 1,\ldots,x_ r\) is an \(M\)- cosequence.











This page was built for publication: On certain graded artinian modules

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