Effective construction of algebraic extensions of GF(p) and of the complete cyclotomic fields
The author calls a subfield of \(\mathbb C\) a complete cyclotomic field (CCF), if it is a union of cyclotomic fields. He gives an effective construction of CCF's by using a recursively defined sequence of ideals in the polynomial ring \(\mathbb Q[x_ 1,\ldots,x_ n]\), \(n\geq 1\), and shows that this construction yields essentially all the CCF's. By a similar method he constructs, for any prime \(p\), all the algebraic extensions of \(\text{GF}(p)\). He presents a constructive proof for the following two facts: every algebraic extension of \(\text{GF}(p)\) is a homomorphic image of the ring consisting of all elements integral over \(\mathbb Z\) of a CCF; the algebraic closure of \(\text{GF}(p)\) is a homomorphic image of the ring generated over \(\mathbb Z\) by all roots of unity. For the latter fact there exists another proof which makes use of Zorn's lemma [e.g., the author, ``Galoisfelder, Kreisteilungskörper und Schieberegisterfolgen. Mannheim etc.: Bibliographisches Institut (1979; Zbl 0499.12015), p. 85].
- Une construction algorithmique des p-extensions cycliques de corps, de caracteristique differente de p, contenant les racines p-iemes de l'unite
- An algorithmic construction of cyclic p-extensions of fields, with characteristic different from p, not containing the pth roots of unity
- scientific article; zbMATH DE number 1011033
- Infinite Algebraic Extensions of Finite Fields
- Algebraic extensions
This page was built for publication: Effective construction of algebraic extensions of \(\text{GF}(p)\) and of the complete cyclotomic fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q794706)
