Flat modules and multiplication modules (Q1176052): Difference between revisions
From MaRDI portal
Latest revision as of 11:07, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Flat modules and multiplication modules |
scientific article |
Statements
Flat modules and multiplication modules (English)
0 references
25 June 1992
0 references
Let \(R\) be a commutative ring with identity and \(M\) a unitary \(R\)-module. Suppose \(M\) is a multiplication module, i.e. every submodule of \(M\) is of the form \(IM\) for some ideal \(I\) of \(R\). Let \(M^*=\hbox{Hom}_ R(M,R)\), and let \(T(M)=\sum_{\varphi\in M^*}\varphi(M)\) be the trace ideal of \(M\). For any non-empty subset \(S\) of an \(R\)-module \(X\), let \(\hbox{ann}(S)=\{r\in R:rS=0\}\). For each \(m\in M\), let \(D_ m=\hbox{ann(ann}\{m\})\). Also let \(D_ 0(M)=\sum_{m\in M}D_ m\). It is proved that \(T(M)=D_ 0(M)\). Moreover if (a) \(M\) contains a finite subset \(S\) such that \(\hbox{ann}(S)=\hbox{ann}(M)\); or (b) \(T(M)+\hbox{ann}(M)=R\), then \(M\) is finitely generated. Other sufficient conditions for \(M\) to be finitely generated are given in the case of \(M\) being torsionless. In addition, various sufficient conditions are given for \(M\) to be flat.
0 references
flatness of module
0 references
finite generation of module
0 references
multiplication module
0 references
trace ideal
0 references