Flat modules and multiplication modules (Q1176052)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Flat modules and multiplication modules |
scientific article; zbMATH DE number 13379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Flat modules and multiplication modules |
scientific article; zbMATH DE number 13379 |
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
0 references
0.9525223
0 references
0 references
0 references
0 references
0 references
0 references
0 references