When is the dual of an ideal a ring? (Q1972044)

From MaRDI portal





scientific article; zbMATH DE number 1423621
Language Label Description Also known as
default for all languages
No label defined
    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
      0 references
      0 references
      0 references
      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
      0 references
      integral domain
      0 references
      dual ring
      0 references
      fractional ideal
      0 references

      Identifiers