One dimensional domains which satisfy the radical formula are Dedekind domains (Q1924907): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
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
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