When is the dual of an ideal a ring? (Q1972044)
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: When is the dual of an ideal a ring? |
scientific article; zbMATH DE number 1423621
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | When is the dual of an ideal a ring? |
scientific article; zbMATH DE number 1423621 |
Statements
When is the dual of an ideal a ring? (English)
0 references
22 June 2000
0 references
Let \(R\) be a domain with quotient field \(K\). For a non-zero fractional ideal \(I\) of \(R\), the fractional ideal \(I^{-1}= (R:I)= \{x\in K \mid xI \subseteq R\}\) is called the inverse (or dual) of \(I\). -- The main results established by the authors are: (1) If \(I^{-1}\) is a ring, then \(P^{-1}\) is a ring for each minimal prime ideal \(P\) of \(I\); (2) If \(P\) is a prime ideal of \(R\), then: \(P^{-1}\) fails to be a ring \(\Leftrightarrow P\) has the form \((aR_R:b)\) and \(PR_P\) is principal; (3) The inverse of a radical ideal \(I\) is a ring \(\Leftrightarrow\) for each valuation overring \(V\) of \(R\) with \(IV \neq V\), we have \(I^{-1} \subseteq V_Q\), where \(Q\) is a prime of \(V\) which is minimal over \(IV\); (4) If \(I\) and \(J\) are radical ideals, then: \(I^{-1}\) and \(J^{-1}\) are rings \(\Leftrightarrow (I\cap J)^{-1}\) and \((I+J)^{-1}\) are rings; (5) If \(I\) is the irredundant intersection of prime ideals \(P_\alpha\), then: \(I^{-1}\) is a ring \(\Leftrightarrow\) each \(P_\alpha\) is a ring; (6) If \(I\) is an ideal in an integrally closed domain \(R\), then: \(I^{-1}\) is a ring \(\Leftrightarrow I^{-1}\subseteq V\) for each valuation overring \(V\) whose maximal ideal is minimal over \(IV\). Also the authors present examples tending to show that many of the established results are the best possible.
0 references
integral domain
0 references
dual ring
0 references
fractional ideal
0 references