Three notes on coprime packedness (Q1977897): Difference between revisions

Let \(R\) be a commutative ring with identity and let \(I\) be an ideal of \(R\). Then \(I\) is said to be coprimely packed by prime ideals of \(R\) if whenever \(I\) is coprime to each element of a family of prime ideals of \(R,I\) is not contained in the union of prime ideals of the family. A set \(S\) of ideals of \(R\) is coprimely packed if each element of \(S\) is coprimely packed. \(R\) is coprimely packed if each ideal of \(R\) is. The following are the three results referred to in the title. (1) For an integral domain \(R\), \(\text{MaxSpec} (R)\) is coprimely packed if and only if for each maximal ideal \(M\) there is a principal ideal \(I\) contained in \(M\) such that \((R/I)_M\approx R/I\) and \((R/I)_N=0\) for all other maximal ideals \(N\). (2) An almost Dedekind domain \(R\) has MaxSpec \((R)\) coprimely packed if and only if \(R\) is a Dedekind domain with torsion class group and a finite dimensional QR-domain \(R\) has \(\text{MaxSpec} (R)\) coprimely packed if and only if every maximal ideal of \(R\) is the radical of a principal ideal. (3) If \(R\) is coprimely packed, so is the Nagata ring \(R(X)\). However, the converse is false as seen by taking \(R\) to be a Dedekind domain with non-torsion class group.