No label defined (Q4517583)

Let \(R\) be an integral domain and let \(M\) be an \(R\)-module. Then the trace of \(M\) is the ideal generated by the set \(\{fm\mid f\in\Hom (M,R)\) and \(m\in M\}\). For a fractional ideal \(I\) of \(R\), the trace is simply the product of \(I\) and \(I^{-1}\). The authors call an ideal of \(R\) a trace ideal of \(R\) if it is the trace of some \(R\)-module. A domain \(R\) is said to satisfy the trace property (or to be a TP domain) if for each \(R\)-module \(M\) the trace of \(M\) is equal to either \(R\) or a prime ideal of \(R\). An integral domain \(R\) satisfies the radical trace property (or is an RTP domain) if for each noninvertible ideal \(I\), \(II^{-1}\) is a radical ideal. The authors investigate the trace property for radical and primary ideals, especially for Mori domains. For the entire collection see [Zbl 0944.00041].