The set of prime divisors of generalized denominator ideals (Q384546)

Let \(R\) be a Noetherian domain with quotient field \(K\) and let \(R[X]\) a polynomial ring over \(R\) in indeterminate \(X\). Let \(\alpha\) be an element of an algebraic field extension of \(K\) and let \(\pi: R[X]\rightarrow R[\alpha]\) be the \(R\)-algebra homomorphism induced by \(\pi[X]=\alpha\). Let \(\varphi_{\alpha}(X)\) be the monic minimal polynomial of \(\alpha\) over \(K\) with \(\text{deg }\varphi_{\alpha}=d\), and write \(\varphi_{\alpha}(X)=X^d+\eta_1X^{d-1}+\cdots+\eta_d, \text{ }(\eta_1,\ldots,\eta_d\in K)\). The generalized denominator ideal \(I_{[\alpha]}\) of \(\alpha\) is the ideal such that \(I_{[\alpha]}=\bigcap_{i=1}^d(R:_R\eta_i)\) where \((R:_R\eta_i)=\{c\in R;c\eta_i\in R\}\). The authors investigate the set of prime ideals \(\mathfrak{p}\)'s of \(R\) such that \(\mathfrak{p}\) is a prime divisor of a generalized denominator ideal \(I_{[\beta]}\) for some \(\beta\in A\) and denote the set by \(\text{Eass}_R(A/R)\). An element \(\alpha\) is called an anti-integral element of degree \(d\) over \(R\) if \(\text{Ker }\pi=I_{[\alpha]}\varphi_{\alpha}(X)R[X]\). By \(\text{Dp}_1(R)\) denote the set \(\{\mathfrak{p}\in \text{Spec}R;\text{ depth}R_{\mathfrak{p}}=1\}\). By \(J_{\alpha}\) denote the set \(I_{[\alpha]}(1,\eta_1,\ldots,\eta_d)\) where \((1,\eta_1,\ldots,\eta_d)\) is the \(R\)-module generated by \(1,\eta_1,\ldots,\eta_d\). The element \(\alpha\) is said to be a super-primitive element of degree \(d\) over \(R\) if \(J_{[\alpha]}\nsubseteq \mathfrak{p}\) for every \(\mathfrak{p}\in \text{Dp}_1(R)\). The one of main results is the theorem: Theorem. Let \(R\) be a Noetherian domain and \(\alpha_1,\ldots,\alpha_n\) super-primitive elements over \(R\). Set \(A=R[\alpha_1,\ldots,\alpha_n]\) and assume that every element of \(A\) is anti-integral element over \(R\). Then, the following holds: \(\text{Eass}_R(A/R)=\bigcup\limits_{i=1}^n \text{Ass}_R(R/I_{[\alpha_i]})\). In Section 3, the authors construct a subring \(A_{\Delta}\) of \(A\) be making use of a finite subset \(\Delta\) of \(\text{Eass}_R(A/R)\) such that \(A_{\Delta}=\{\beta\in A;\text{Ass}_R(R/I_{[\beta]})\subset \Delta\}\). The authors prove the theorem: Theorem. Let \(R\) be a Noetherian normal domain. Let \(A\) be an integral domain containing \(R\) such that every element of \(A\) is algebraic over the quotient field of \(R\). Let \(\Delta\) be a finite subset of \(\text{Eass}_R(A/R)\). Then \(\Delta=\text{Eass}_R(A_{\Delta}/R)\).