\((t,v)\)-Dedekind domains and the ring \(R[X]_{N_{v}}\) (Q2430795): Difference between revisions

Throughout \(R\) be will be an integral domain. Recall that for a nonzero fractional ideal \(A\)\ of \(D\), \(A_{v}=(A^{-1})^{-1}\) and \(A_{t}=\bigcup \{B_{v}\mid B\text{ is a f.g. nonzero subideal of }A\}\). Then \(A\) is a \(v\)-ideal (resp., \(t\)-ideal) if \(A=A_{v}\) (resp., \(A=A_{t}\)) and \(A\) is \(v\)-invertible (resp., \(t\)-invertible) if \((AA^{-1})_{v}=R\) (resp., \((AA^{-1})_{t}=R\)). The domain \(R\) is called a \textit{\((t,v)\)-Dedekind domain} if each \(v\)-ideal of \(R\) is \(t\)-invertible. These domains were introduced by \textit{M. Zafrullah} [Commun. Algebra 17, No. 6, 1523--533 (1989; Zbl 0691.13013)] who called them pre-Krull domains. Note the connections with PVMDs (every f.g. nonzero ideal (or just every finite type \(t\)-ideal = finite type \(v\)-ideal) is \(t\)-invertible), Krull domains (every nonzero ideal (or just every \(t\)-ideal) is \(t\)-invertible) and completely integrally closed domains (every nonzero ideal (or just every \(v\)-ideal) is \( v\)-invertible). Thus Krull domain \(\Rightarrow \)(\(t\)-\(v\))-Dedekind domain\( \Rightarrow \) completely integrally PVMD, but none of these implications can be reversed. The second section gives some basic properties of (\(t\),\(v\))-Dedekind domains and gives some examples. The third section concerns polynomial rings over \((t,v)\)-Dedekind domains. For example, it is shown that the following conditions are equivalent: (1) \(R\) is \((t,v)\)-Dedekind, (2) \(R[X]\) is \((t,v)\)-Dedekind, (3) \(R[X]_{N_{v}}\) is \((t,v)\)-Dedekind, and (4) \(R[X]_{N_{v}}\) is pseudo principal where \(N_{v}=\{0\neq f\in R[X]|c(f)_{v}=R\}\), \(c(f)\) is the ideal of \(R\) generated by the coefficients of \(f\), and \(X\) is any non-empty set of indeterminates. The fourth section considers the ring \(R[[X]]_{N_{v}}\). The final section considers semigroup rings and graded rings. It is shown that the group ring \(R[X;G]\) is a \((t,v)\)-Dedekind domain if and only if \(R\) is a \((t,v)\)-Dedekind domain and \(G\) has type \((0,0,\dots)\). It is shown that a graded domain is a \((t,v)\)-Dedekind domain if and only if each nonzero homogeneous \(v\)-ideal of \(R\) is \(t\)-invertible and that the semigroup ring \(R[\Gamma ]\) is \((t,v)\)-Dedekind if and only if \(R\) is \((t,v)\)-Dedekind and \(\Gamma \) is a \((t,v)\)-Dedekind monoid (obvious definition).