On finitely generated modules whose first nonzero Fitting ideals are regular

نویسندگان

1 Department of Mathematics, Vali-e-Asr University of Rafsanjan, P.O. Box 7718897111, Rafsanjan, Iran.

2 Department of Mathematics, Vali-e-Asr University of Rafsanjan, P.O. Box 7718897111, Rafsanjan, Iran.

doi
10.29252/cgasa.8.1.9
چکیده

A finitely generated $R$-module is said to be a module of type ($F_r$) if its $(r-1)$-th Fitting ideal is the zero ideal and its $r$-th Fitting ideal is a regular ideal. Let $R$ be a commutative ring and $N$ be a submodule of  $R^n$ which is generated by columns of  a matrix $A=(a_{ij})$ with $a_{ij}\in R$ for all $1\leq i\leq n$, $j\in \Lambda$, where $\Lambda $ is a (possibly infinite) index set.  Let  $M=R^n/N$ be  a module of type ($F_{n-1}$) and ${\rm T}(M)$ be the submodule of $M$ consisting of all elements of $M$ that are annihilated by a regular element of $R$. For $ \lambda\in \Lambda $, put $M_\lambda=R^n/<(a_{1\lambda},...,a_{n\lambda})^t>$. The main result of this paper asserts that if $M_\lambda $ is a regular $R$-module, for some $\lambda\in\Lambda$, then $M/{\rm T}(M)\cong M_\lambda/{\rm T}(M_\lambda)$. Also it is shown that if $M_\lambda$ is a regular torsionfree $R$-module, for some $\lambda\in \Lambda$, then $ M\cong M_\lambda. $ As a consequence we characterize all  non-torsionfree modules over a regular ring, whose first nonzero Fitting ideals are maximal.