A number field K is said to have a power integral basis if its ring of integers OK is of the form Z [a] for some a in the ring. The set of generators is stable under integer translation and multiplication by -1; we call a and a' equivalent if a' = n ± a for some n € Z. Gyory [7] proved that up to equivalence there are only finitely many elements that generate a power basis for any number field K. Most number fields do not have a power integral basis, however, and when one does exist it is usually very difficult to determine all the generators. See Gaal [3] for results on the existence and computation of power integral bases for fields of small degree over Q, and for algorithms for determining power integral bases.Cyclotomic fields are an interesting case because power integral bases always exist and in some cases we can find all the generators (see Nagell [9], Bremner [1], and Robertson [10,11]). Real cyclotomic fields (that is, the maximal real subfields of cyclotomic fields) are also interesting because again power integral bases always exist.Let p ^ 5 be prime and C be a primitive p-th root of unity. Then it is well known that Z[C + C~X] is the ring of integers of the real cyclotomic field Q(C + C~X)-The problem
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.