No label defined (Q3149096)

Let \(R\) be an integral domain with quotient field \(K\). Let \(\alpha\) be an element of an algebraic extension field of \(K\) and let \(\pi:R[X] \to R[\alpha]\) be an \(R\)-algebra homomorphism such that \(\pi(X)=\alpha\). Let \(\varphi_\alpha (X)=X^t-\eta_1X^{t-1} +\cdots+ \eta_t\) denote the monic minimal polynomial of \(\alpha\) over \(K\) with \(\deg(\varphi (X))=t\). Define \(I_{[\alpha]}= \bigcap^t_{i=1} (R:_R\eta_i)\), where \((R:_R\eta_i) =\{c\in R\mid c\eta_i\in R\} \). Then \(I_{[\alpha]}\) is an ideal of \(R\). The element \(\alpha\) is called an anti-integral element of degree \(t\) over \(R\) if \(\text{Ker} (\pi)=I_{[\alpha]} \varphi_\alpha (X)R[X]\). Let \(\alpha\) be an anti-integral element over \(R\) and \(\beta= (c\alpha-d)/ (a\alpha-b)\), where \(a,b,c,d\in R\) and \(ad-bc\neq 0\). Then the authors show that \(\beta\) is anti-integral over \(R\) and \(R[\beta] \cap R[1/ \beta]= R[\alpha] \cap R[1/ \alpha]\).