Flat modules and multiplication modules (Q1176052)

From MaRDI portal
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
    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
    0 references
    0 references
    0 references
    0 references
    flatness of module
    0 references
    finite generation of module
    0 references
    multiplication module
    0 references
    trace ideal
    0 references
    0 references