Extensions \(R[\alpha-a]\cap R[(\alpha-a)^{-1}]\) with an anti-integral element \(\alpha\) are unchanged for any \(a\in R\) (Q5929455)

Let \(R\) be an integral domain with quotient field \(K\). Let \(\alpha\) be an element in an algebraic field extension of \(K\), and let \(\varphi_\alpha (X):=X^d +\eta_1X^{d-1} +\cdots+ \eta_d\) be the minimal monic polynomial of \(\alpha\) over \(K\). Let \(\pi:R[X]\to R[\alpha]\) be the \(R\)-algebra homomorphism given by \(\pi(X) =\alpha\). The element \(\alpha\) is said to be anti-integral over \(R\) if \(\text{ker} (\pi)= (\bigcap^d_{i=1} (R:_R\eta_i)) \varphi_\alpha (X)R[X]\). The authors prove the following result:NEWLINENEWLINENEWLINEIf \(\alpha\) is anti-integral over \(R\) then NEWLINE\[NEWLINER[\alpha-a]\cap R\bigl[(\alpha-a)^{-1}\bigr]= R[\alpha] \cap R[\alpha^{-1}]NEWLINE\]NEWLINE for every \(a\in R\) with \(\alpha-a\neq 0\).