Effective construction of algebraic extensions of \(\text{GF}(p)\) and of the complete cyclotomic fields (Q794706)

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].