On relations for rings generated by algebraic numbers and their conjugates (Q2340919)

Let \(\alpha\) be a fixed algebraic number, \(K=\mathbb Q(\alpha)\) and \(R=\mathbb Z[\alpha]\). The authors present an algorithm to test, whether a number \(\beta\in K\) lies in \(R\), based on Theorem 4, which states that if \(F\in \mathbb Z[X]\) is the minimal polynomial of \(\alpha\) and \(\beta=G(\alpha)/t\) where \(G\in\mathbb Z[X]\) and \(t\) is a positive integer, then \(\beta\in R\) holds if and if only if there exists \(H\in \mathbb Z[X]\) such that all coefficients of \(FH-G\) are divisible by \(t\). This is applied in Theorem 5 to give a criterion for \(r\in R\) in case of \(r\in \mathbb Q\). It is also shown (Theorem 8) that if \(K/\mathbb Q\) is normal, then there exist two conjugate elements \(\alpha,\alpha'\) in \(K\) with \(\mathbb Z[\alpha]\neq \mathbb Z[\alpha']\).