No CrossRef data available.
Published online by Cambridge University Press: 18 May 2009
Suppose that m0 is an integer, m0≥3, ρ = exp(2πi/m0), K = ℚ(ρ, i), v denotes the degree of K, ξ∈K has degree N over ℚ. The length, where is the (irreducible) minimal polynomial for with ξ relatively prime integer coefficients. Feldman [2, p. 49] proved that there is an absolute constant c0>0 such that
From [2, p. 49, Notes 1 and 2] we know that v = φ(m0) or v = 2φ(m0), and φ(m0)≥ c1m0(log log m0)−1 (c1 > an absolute constant), where φ(m0) denotes Euler's function.