On relations for rings generated by algebraic numbers and their conjugates (Q2340919)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On relations for rings generated by algebraic numbers and their conjugates |
scientific article |
Statements
On relations for rings generated by algebraic numbers and their conjugates (English)
0 references
21 April 2015
0 references
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']\).
0 references
rings of algebraic numbers
0 references
conjugate algebraic numbers
0 references
minimal polynomial
0 references
congruences
0 references
algorithms for algebraic numbers
0 references
0 references