No label defined (Q4369733)

In this paper, \(R\) denotes a Noetherian integral domain, \(\alpha\) is a nonzero element which is in the algebraic closure of the quotient field \(K\) of \(R\), \(\varphi\) is the minimal polynomial of \(\alpha\) over \(K\), \(d=[K(\alpha):K]\), and \(I_{[\alpha]}=\bigcap^d_{i=1}(R:_Rn_i)\), where \(\varphi(X)=X^d+\cdots+n_iX^i+\cdots+n_0\). Let \(R[X]\) denote a polynomial ring in one variable over \(R\) and \(\pi\) be the \(R\)-algebra homomorphism of \(R[X]\) onto \(R[\alpha]\) such that \(\pi(X)=\alpha\). Then \(\alpha\) is called anti-integral of degree \(d\) over \(R\) if \(\text{Ker} \pi=I_{[\alpha]}\varphi(X)R[X]\). The objective of this paper is to give a condition for \(R[\alpha]\cap R[1/\alpha]\) to be integrally closed in \(R[\alpha]\) provided that \(R[\alpha]\cap R[1/\alpha]\) is seminormal in \(R[\alpha]\), where \(\alpha\) is an anti-integral element of degree \(d>1\) over \(R\). The authors also give an example showing that \(R[\alpha]\cap R[1/\alpha]\) being seminormal in \(R[\alpha]\) does not imply \(R[\alpha]\cap R[1/\alpha]\) is integrally closed in \(R[\alpha]\).