A note on \(F\)-weak multiplication modules (Q360963)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on \(F\)-weak multiplication modules
scientific article

    Statements

    A note on \(F\)-weak multiplication modules (English)
    0 references
    0 references
    0 references
    28 August 2013
    0 references
    Let \(R\) be a commutative ring with identity and let \(M\) be a unital \(R\)-module. For any submodule \(N\) of \(M\), we denote \((N : M) = \{r\in R : rM \subseteq N\}\). A submodule \(N\) of \(M\) is called prime if \(N\neq M\) and whenever \(r\in R\), \(m\in M\) and \(rm\in N\), then either \(m \in N\) or \(r \in (N : M)\). An \(R\)-module \(M\) is called a multiplication module if for each submodule \(N\) of \(M\) there exists an ideal \(I\) of \(R\) such that \(N = IM\). An \(R\)-module \(M\) is called a weak multiplication module if \(\mathrm{Spec}(M)\) (the set of prime submodules of M)=\( \varnothing \) or for every prime submodule \(N\) of \(M\), \(N = IM\) for some ideal \(I\) of \(R\). An \(R\)-module \(M\) is \(F\)-weak multiplication module if \(M\) is weak multiplication, and \(pM\) is a prime submodule of \(M\) and \((pM: M)=p\) for every \(p\in \mathrm{Spec}(R)\). In this paper, the authors explore the properties of \(F\)-weak multiplication modules. The following results are proven: (1) If an \(R\)-module \(M\) is \(F\)-weak multiplication, then \(M_p\) is an \(F\)-weak multiplication \(R_p\)-module for every \(p\in \mathrm{Spec}(R)\). The converse is true in case every non-zero prime ideal of \(R\) is maximal ideal. (2)Every proper submodule of an \(F\)-weak multiplication \(R\)-module \(M\) is semiprime, and contained in a maximal submodule of \(M\). (3) Let \(M\) be an \(F\)-weak multiplication \(R\)-module and \(M_1,\dots, M_n\) be submodules of \(M\) and let \(N\) be a prime submodule of M such that \(\bigcap_{i=1}^n M_i\subseteq N\). Then \(M_i\subseteq N\) for some \(i=1,\dots, n\). Also, if \(N=\bigcap_{i=1}^n M_i\), then \(M_i=N \) for some \(i=1,\dots, n\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    \(F\)-weak multiplication module
    0 references
    semiprime submodule
    0 references
    envelope of a submodule
    0 references
    radical and semi-radical of a submodule
    0 references
    modules satisfying the semi-radical formula
    0 references