Extensions \(R[\alpha-a]\cap R[(\alpha-a)^{-1}]\) with an anti-integral element \(\alpha\) are unchanged for any \(a\in R\) (Q5929455)
From MaRDI portal
scientific article; zbMATH DE number 1585067
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensions \(R[\alpha-a]\cap R[(\alpha-a)^{-1}]\) with an anti-integral element \(\alpha\) are unchanged for any \(a\in R\) |
scientific article; zbMATH DE number 1585067 |
Statements
Extensions \(R[\alpha-a]\cap R[(\alpha-a)^{-1}]\) with an anti-integral element \(\alpha\) are unchanged for any \(a\in R\) (English)
0 references
28 October 2001
0 references
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: If \(\alpha\) is anti-integral over \(R\) then \[ R[\alpha-a]\cap R\bigl[(\alpha-a)^{-1}\bigr]= R[\alpha] \cap R[\alpha^{-1}] \] for every \(a\in R\) with \(\alpha-a\neq 0\).
0 references
anti-integral element
0 references