One dimensional domains which satisfy the radical formula are Dedekind domains (Q1924907): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 06:17, 5 March 2024

scientific article
Language Label Description Also known as
English
One dimensional domains which satisfy the radical formula are Dedekind domains
scientific article

    Statements

    One dimensional domains which satisfy the radical formula are Dedekind domains (English)
    0 references
    0 references
    6 January 1997
    0 references
    Let \(M\) be an \(R\)-module, \(R\) a commutative ring with 1. Let \(N\) be a submodule of \(M\) with \(N\neq M\). The envelope of \(N\) in \(M\), \(E_M (N)\), is defined to be the set \(\{rm:r\in R\) and \(m\in M\) such that \(r^nm\in N\) for some natural number \(n\geq 1\}\). It is clear that \(\langle E_M(N)\rangle\), the submodule generated by \(E_M(N)\), is contained in \(M\text{-rad}_RN\), the radical of \(N\) in \(M\). We say \(N\) satisfies the radical formula in \(M\), if \(M\text{-rad}_RN=\langle E_M(N)\rangle\). It was proved by Jenkins and Smith that any Dedekind domain satisfies the radical formula. The aim of this paper is to show the converse is true for one-dimensional Noetherian domains.
    0 references
    Dedekind domain
    0 references
    radical formula
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references