The special trace property (Q2785925)
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: The special trace property |
scientific article; zbMATH DE number 983066
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The special trace property |
scientific article; zbMATH DE number 983066 |
Statements
17 February 1998
0 references
TP domains
0 references
STP domains
0 references
branched ideals
0 references
unbranched ideals
0 references
Mori domains
0 references
radical trace property
0 references
RTP domain
0 references
Dedekind domain
0 references
Prüfer domain
0 references
valuation ring
0 references
value group
0 references
trace property
0 references
0 references
0 references
0 references
0 references
0 references
0.84654915
0 references
0 references
The special trace property (English)
0 references
Let \(G=\prod_{n=1}^\infty G_n\), where each \(G_n\) is a subgroup of the reals and let \(V\) be a valuation domain with the corresponding value group \(G\). Then the maximal ideal \(M\) of \(V\) is unbranched but for each non-invertible ideal \(I\) of \(V\), \(I=rQ\), for some \(r\in V\), and some primary ideal \(Q\) with \(\sqrt Q=II^{-1}\). This result gives a negative answer to a question posed by \textit{D. D. Anderson}. The reasoning is done through translation of statements about ideals in a valuation ring to the corresponding statements in the value group. NEWLINENEWLINENEWLINEThe second part of the paper deals with special properties and special rings. The authors have shown that a Mori or a Noetherian domain has the special trace property iff it has the trace property. Let \(R\) be a Prüfer TP domain; then NEWLINENEWLINENEWLINE(a) if dim \(R=1\), then \(R\) is an STP domain, NEWLINENEWLINENEWLINE(b) if dim \(R\geq 2\), then \(R\) is an STP domain iff \(R\) has exactly one maximal ideal \(M\) of height greater than one, \(R_M\) is an STP valuation domain and all other maximal ideals have height one and are invertible.NEWLINENEWLINEFor the entire collection see [Zbl 0855.00015].
0 references