arxiv: v2 [math.nt] 14 Jun 2014

Transcription

1 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS MOHAMMAD BARDESTANI arxiv: v2 [math.nt] 4 Jun 204 Abstract. A monogenic olynomial f is a monic irreducible olynomial with integer coefficients which roduces a monogenic number field. For a given rime q, using the Chebotarev density theorem, we will show the density of rimes such that t q is monogenic is bigger or equal than (q )/q. We will also rove that, when q = 3, the density of rimes which Q( 3 ) is non-monogenic is at least /9.. Introduction Let K be an algebraic number field of degree n and O K denote its ring of integers. We call K monogenic if there exists an element α O K such that O K = Z[α]. It is a classical roblem in algebraic number theory to identify if a number field K is monogenic or not. Hasse (see [9], age 93) asked if one could give an arithmetic characterization of monogenic number fields. The quadratic and cyclotomic number fields are monogenic, but this is not the case in general. Dedekind (see [2], age 64) was the first who noticed this by giving an examle of a cubic field generated by a root of t 3 t 2 2t 8. Let f(t) Z[t] be a monic irreducible olynomial. We call f(t) monogenic if Q[t]/(f(t)) = Q(α) is monogenic, where α is a root of f(t). In this aer, we will study the distribution of a family of monogenic olynomials. Theorem. Let and q be rime numbers, where q 3. Consider the olynomial f (t) := t q. Then, we have lim inf x π(x) #{ x : f (t) is monogenic} q, q where π(x) denotes the number of rimes less than x. The idea is to find a congruence condition on such that f (t) = t q is monogenic. This condition on reads as q (mod q 2 ). Then we use the Chebotarev density theorem to count these rimes. When q = 3, using a descrition of an integral basis for a ure cubic field and an exlicit comutation, we notice that the index form of Q( 3 hk 2 ) is reresented by hx 3 ky 3 when h 2 k 2 (mod 9) and (hx 3 ky 3 )/9 for h 2 k 2 (mod 9) (see Theorem 4 and Lemma ). Thus Q( 3 hk 2 ) being monogenic is equivalent to integral solubility of { () hx 3 + ky 3 if h 2 k 2 (mod 9); = 9 if h 2 k 2 (mod 9). 99 Mathematics Subject Classification. Primary R04 ; Secondary R45. Key words and hrases. Chebotarev density theorem, Monogenic field, Thue equation.

2 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 2 In articular when is a rime, Q( 3 ) is monogenic for ±2, ±5 (mod 9). For ± (mod 9) we obtain the following equation (2) x 3 + y 3 = 9. By counting those rimes ± (mod 9) where 9 is not a cube in F, we will find a lower bound for the density of non-monogenic cubic fields Q( 3 ). Notice that, when (mod 9), 9 is a cube in F. Therefore we restrict ourselves to considering rimes of the form (mod 9) and to comuting the density of these rimes where 9 is not a cube modulo. Let K = Q(ζ 9, 3 9), where ζ 9 is a rimitive 9th root of unity. By noticing that a rime slits comletely in K if and only if (mod 9) and 9 3 (mod ), and alying Chebotarev density theorem we will rove: Theorem 2. The density of rimes (mod 9) such that the Thue s equation x 3 + y 3 = 9, does not have any integral solution is at least /9. This set of rimes roduces non-monogenic cubic fields Q( 3 ). We can also describe these rimes by the following result: Theorem 3. Let (mod 9) be a rime number which can be reresented by 7x 2 + 3xy + 9y 2. Then Q( 3 ) is non-monogenic. 2. Monogenic Fields and Diohantine equations Generally seaking, one needs to solve a Diohantine equation in order to show that a number field is monogenic. It is useful to recall the following well-known statement (see [3], Proosition I.2.2). Lemma. Let K be a number field of degree n and α,..., α n O K be linearly indeendent over Q. Set M = Zα + + Zα n. Then Disc(M) = (O K : M) 2 Disc(K). In articular, Disc(α) = Ind(α) 2 Disc(K), if α O K and K = Q(α), where Ind(α) = (O K : Z[α]). Choosing an integral basis for K and writing α with resect to this integral basis, one can see that Ind(α) is a homogeneous form. In this section, we will focus on cubic fields. Let K = Q( 3 m), with m Z being a cube-free number, be a cubic field. We can assume m = hk 2 with h, k > 0 and hk is square-free. The following theorem is due to Dedekind (see [] Theorem 7.3.2). Theorem 4 (Dedekind). Let m and K be as above, and let θ = m /3. Then (i) For m 2 (mod 9), we have Disc(K) = 27(hk) 2, and the numbers {, θ, θ 2 /k}, form an integral basis. (ii) For m ± (mod 9), we have Disc(K) = 3(hk) 2, and the numbers {, θ, (k 2 ± k 2 θ + θ 2 )/3k}, form an integral basis of O K. Notice that this Theorem shows Q( 3 ) is monogenic for rimes ±2, ±5 (mod 9), which verifies Theorem for q = 3. For ± (mod 9), by invoking Theorem 4 we obtain the following integral basis for K = Q( 3 ) {, θ, ± θ + } θ2, 3

3 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 3 where θ = 3. Let α = a + bθ + c ±θ+θ2 O 3 K, and assume α, α are the other conjugates of α. It is easy to see that: ( ( α α = (θ θ ) b ± c ) ) cθ 3 3 ( ( α α = (θ θ ) b ± c ) ) (3) cθ 3 3 ( ( α α = (θ θ ) b ± c ) cθ ) 3 3 where θ and θ are the other conjugates of θ. Therefore we have the following equalities: ( ( Disc(α) = Disc(θ) b ± 3) c 3 ( c 3) 2 ( ( = 3 3) 3 2 b ± 3) c 3 ( c ) ) ( = 3 2 3b 3 ± 3b 2 c + bc 2 + ± ) 2 c 3. 9 Thus by alying Lemma and Theorem 4 we have the following identity: Ind(α) = 3b3 ± 3b 2 c + bc 2 + ± c 3. 9 So to determine if Q( 3 ) is monogenic, for rimes of the form ± (mod 9), we need to find the integral solutions of (4) 3b3 ± 3b 2 c + bc 2 + ± c 3 =. 9 Multilying Equation (4) by 9 we obtain an equivalent equation (3b ± c) 3 c 3 = 9, which, for rimes ± (mod 9), is equivalent to x 3 + y 3 = 9. Therefore, we obtain the following result Lemma 2. Let ± (mod 9) be a rime number. Then, Q( 3 ) is monogenic if and only if (5) x 3 + y 3 = 9, has an integral solution. Remark. Here, for simlicity, we found the index form of Q( 3 ). But the same comutation gives us Equation (). Hence to construct a non-monogenic Q( 3 ), it would be enough to find a rime ± (mod 9), such that Equation (5) does not have any integral solution. One can find some of those rimes by study the equation locally, for instance those rimes, such that 9 is not a cube modulo. Notice that 9 is a cube if and only if 3 is a cube in F. Therefore we will briefly study the number of solutions of h(t) := t 3 3 in a finite field F, denoted by N (h(t)), for all rimes 5. Lemma 3. Let N (h(t)) be as above and 5 a rime number. Then if 2 (mod 3) N (h(t)) = 0 if = 7x 2 + 3xy + 9y 2. 3 if = x 2 + xy + 6y 2

4 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 4 Let E := Q[t]/(h(t)) be the cubic field defined by h(t) with the slitting field L, which contains the quadratic field K := Q( 3). Let η = 3 3, η 2, η 3 be the conjugates of 3 3 and define := (η j η i ) K. i<j 3 For a rime 5, consider the Frobenius automorhism associated to, say σ Gal(L/Q), which is unique u to conjugation. Regarding σ as a ermutation in S 3, we observe that σ ( ) = sgn(σ ). Therefore σ being even imlies that σ is a trivial element in Gal(K/Q), and thus slits comletely in K. Also when σ is an odd ermutation we can conclude that σ is not an identity element and therefore inerts in K. This shows sgn(σ ) = ( ( 3), where. 3) is denoted for the Legendre symbol. Therefore 2 (mod 3) imlies that σ is a transosition and thus h(t) = 0 has a unique solution in F. For (mod 3), σ is an even ermutation, so h(t) = 0 has either zero or three solutions in F. Hence for (mod 3), if 3 is a cube in F we have N (h(t)) = 3, and if 3 is not a cube we have N (h(t)) = 0. One might find an alternative rove for this fact that t 3 3 has only one solution for 2 (mod 3), by looking at the homomorhism F F a a 3, and noticing that this an isomorhism. For (mod 3), we have the 3rd root of unity in F, and so one has either zero of three solutions. However the former method is more general, and can be alied for general olynomials (see [5]). Using the cubic residue symbol, one can show that for rimes 5, can be resented by x 2 + xy + 6y 2 if and only if (mod 3) and 3 is a cubic residue modulo (see [4], chater 2, section 9). Reduction theory of ositive definite integral binary quadratic forms is easy to describe (for more details see [6, 6, 4]). For such a given form f(x, y) = ax 2 + bxy + cy 2, by SL 2 (Z) change of variable we can obtain a simler form f (x, y) = a x 2 + b xy + c y 2, where b a c and in the case b = a, then b = a ; and in the case a = c, then b 0. The discriminant of x 2 + xy + 6y 2 is 243 which has the class number 3. More recisely, using the reduction algorithm exlained briefly, there are, u to SL 2 (Z) change of variables, three binary quadratic forms with discriminant 243. Namely x 2 + xy + 6y 2, 7x 2 ± 3xy + 9y 2, which are in the same genus. When (mod 3), can be resented by only one of the form x 2 + xy + 6y 2 or 7x 2 + 3xy + 9y 2. Indeed we have the following: Lemma 4. Let f, f 2 be two integral binary quadratic forms of the same discriminant which reresent the same rime. Then they are GL 2 (Z)-equivalent. Proof: Let f(x, y) = ax 2 + bxy + cy 2 be an integral binary( quadratic ) form, reresenting a rime. 0 We can assume f(x, y) = x 2 + bxy + cy 2. Consider γ = SL m 2 (Z). Then γ.f(x, y) := f((x, y)γ) = x 2 + (2m + b)xy + (c + bm + m 2 )y 2 = x 2 + b xy + c y 2. We can choose m so that < 2m + b, so we have shown that any integral binary quadratic form that reresents a rime is SL 2 (Z)-equivalent to x 2 + b xy + c y 2, where < b. Under

5 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 5 GL 2 (Z)-equivalence, we can assume 0 b. This determines b (and hence c ) uniquely and finishes the roof. Lemma 3 shows x 3 +y 3 = 9 does not have any integral solutions for those rimes (mod 9) which can be reresented by the quadratic form 7x 2 + 3xy + 9y 2, and hence Lemma 2 gives a roof for Theorem counting a family of non-monogenic cubic fields Let ζ 9 denote a rimitive 9th root of unity. We will show the following result Lemma 5. A rime slits comletely in K = Q(ζ 9, 3 9) if and only if (mod 9) and 9 3 (mod ). Let ω denote a rimitive cube root of unity. To rove Lemma 5, we need the following lemma, which is easy to rove. Lemma 6. Let K = Q(ζ 9, 3 9). Then the following ma is an isomorhism where σ( 3 9) = ω a(σ) 3 9 and σ(ζ 9 ) = ζ b(σ) 9. ψ : Gal(K/Q) Z 3Z ( Z 9Z) σ (a(σ), b(σ)), Proof of Lemma 5. First let be an unramified rime in K and σ the Frobenius automorhism associated to, which is unique u to conjugation. Then ζ b(σ) 9 = σ (ζ 9 ) ζ 9 (mod ), where is a rime above. Since is unramified we conclude (6) b(σ ) (mod 9). With the same reason we have ω a(σ) 9 3 = σ (9 3 ) 9 3 (mod ) which imlies that (7) (ω a(σ) 9 3 ). Now let (mod 9) and 9 3 (mod ). Notice that is unramified since gcd(, 3) =. Therefore by Equations (6) and (7) we have (i) b(σ ) (mod 9) and so b(σ) =. (ii) ω a(σ) 9 3 which imlies ω a(σ) and so a(σ) = 0. Thus ψ(σ ) = (0, ) and so σ is the identity element. This means slits comletely. Conversely, if slits comletely then a(σ) = 0 and b(σ) =, which imlies (i) ζ 9 ζ 9 (mod ) and so ( (mod) 9). (ii) (mod ) and so 9 3 Z = (). This finishes the roof. Since we will use the Chebotarev density theorem several times, let us recall it briefly. Let K be a number field and assume L/K is a Galois extension. To each rime ideal of K unramified in L there corresonds a certain conjugacy class C of Gal(L/K) consisting of the set of Frobenius automorhisms σ attached to the rime ideals P of L which lie over. Denote this conjugacy class by the Artin symbol ( L/K ). For a given conjugacy class C of Gal(L/K), let π C (x) denote

6 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 6 ( ) L/K C and N L/K () x. By the number of rime ideals of K unramified in L such that abuse of notation, the Frobenius automorhism is also reresented by the Artin symbol. By the Chebotarev density theorem (see [3], Theorem 3.4, or [, 4]) we have (8) lim x π C (x) π(x) = C [L : K]. Proof of Theorem 2: Note that for (mod 9), 9 3 (mod ) is equivalent to 9 being a cube in F. Lemma 5 and the Chebotarev density theorem imly π(x) #{ x : (mod 9), 9 is not a cube in F } x 6 8 = 9. Since t 3 9 is an irreducible olynomial a famous conjecture due to Bunyakovsky says that there should be infinitely many rimes of the form t 3 9 which are congruent to ± modulo 9. These rimes roduce monogenic fields. This shows the difficulty of characterizing monogenic fields even for ure cubic extensions. Monogenicity of cyclic cubic fields has been studied by Dummit and Kisilevsky [5]. 4. Prime slitting and monogenic fields In a monogenic field K, the field discriminant is equal to the discriminant of the minimal olynomial of α, where O K = Z[α]. Also, by using Dedekind s Theorem (see Theorem 5), it is easy to see how a rime slits, by looking at how the minimal olynomial of α slits modulo rimes. Theorem 5 (Dedekind). Let K be a number field such that O K = Z[α] for some α with the minimal olynomial f(x). Let f(x) = (x) e g (x) eg be the factorization of the olynomial f(x) = f(x) (mod ) into irreducibles i (x) = i (x) (mod ), with all i (x) Z[x] monic. Then i = O K + i (α)o K are the different rime ideals above. Moreover O K = e eg g. Proof. See [3] Proosition 8.3. Hence it is natural to see how rime slitting forces a number field to be non-monogenic. This idea was first noticed by Hensel. Indeed he constructed a family of Z/(3Z)-extensions over Q such that 2 slits comletely, and since in F 2 [t] there are only two linear olynomials, by invoking Theorem 5, he deduced that these fields are non-monogenic. Hensel s idea can be extended easily to construct infinitely many non-monogenic Abelian number fields. Indeed let l (mod n) be a rime and assume n 3. Denote the unique Z/(nZ)-subfield of Q(ζ l ) by K n (l). The same method used to rove Lemma 7 shows that a rime slits comletely in K n (l) if and only if l and t n has a solution in F l. With these facts and Henel s idea, we can deduce that K n (l) is non-monogenic if t n 2 has a solution in F l. Notice that different l roduces different Z/(nZ)-extension since the discriminant of K n (l) is a function of l. Consider the Kummer extension Q(ζ n, n 2). It is easy to show that Gal(Q(ζ n, n 2)/Q) can be embedded into the grou (Z/(nZ)) (Z/(nZ)). Moreover one can show that a rime l slits comletely in

7 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 7 Q(ζ n, n 2) if and only if l (mod n) and t n 2 has a solution in F l. Then by the inequality [Q(ζ n, n 2) : Q] nϕ(n) and the Chebotarev density theorem we obtain: lim x π(x) #{l x : l (mod n), K n(l) is non-monogenic} nϕ(n). We can extend this idea further. For a rime number l 3 the field K := Q(ζ l 2) is a Galois extension with cyclic Galois grou (Z/(l 2 Z)). Let η be a generator of this grou and set H := η l. Denote by K l the fixed field of H. Then [K l : Q] = l and Gal(K/K l ) = H. Lemma 7. slits comletely in K l if and only if l (mod l 2 ). ( ) Proof: Assume that a rime slit comletely in K l and let σ := K/Q be the Frobenius ( ) ( ) automorhism associated to. Then σ Kl = K/Q = Kl /Q = id which imlies σ Kl Gal(K/K l ) = H. Notice that l is unramified in K. Thus σ (ζ l 2) = ζ l since σ 2 (ζ l 2) ζ l 2 (mod ), where is a rime in K above. Under the canonical isomorhism ( ) Gal(K/Q) Z =, l 2 Z we observe that H = η l. So for some integer t we have η tl (mod l 2 ) that imlies l (mod l 2 ). Conversely, let l (mod l 2 ) and assume that η t (mod l 2 ) for some integer t. Then l η t(l ) (mod l 2 ) that imlies l t. Hence H and so σ Gal(K/K l ). Therefore ( Kl /Q ) = id which means slits comletely in K l. Corollary. Let l 3 be a rime number such that for some rime < l we have l (mod l 2 ). Then K l is non-monogenic. As an alication of Lemma 7 and the Chebotarev density theorem, one can calculate the density of #{ x : l (mod l 2 )} which will be used in the roof of Theorem. Theorem 6. With the notations of Lemma 7 we have # { x : l (mod l 2 ) } = l π(x)( + o()). l Proof: Note that C = Gal(K l /Q) {e} is stable under conjugation, where e is the identity element in the Galois grou, and C corresonds to the set of non-slit rimes by Lemma 7. Then the Chebotarev density theorem imlies our theorem. Remark 2. Let K/Q be a cyclic extension of rime degree l 5. Gras [8] in her beautiful aer, using a result of Leooldt, showed that K is non-monogenic unless 2l + = is a rime and K = Q(ζ + ζ ). 5. Proof of Theorem Recall that a olynomial f(t) = t n + a n t n + + a t + a 0 is called an Eisenstein olynomial at a rime when a i for all 0 i n and 2 a 0. Let f(t) = t n + a n t n + + a t + a 0

8 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 8 be an Eisenstein olynomial at, and let K = Q(α) be a field generated by a root of f(t). We will show that for any integers, c 0, c 2,..., c n we have the following formula (9) N K/Q (c 0 + c α + + c n α n ) c n 0 (mod ), from which we deduce the following well-know result (see also [2], section 2.5, Exercise 9). Lemma 8. Suose K = Q(α), where α is a root of an Eisenstein olynomial at. Then we have [O K : Z[α]]. Proof: Suose [O K, Z[α]]. Therefore there exists an algebraic integer θ O K \ Z[α], such that θ Z[α]. Hence for some integers c 0, c,..., c n we have θ = c 0 + c α + + c n α n, and so n N K/Q (θ) = N K/Q (c 0 + c α + + c n α n ) c n 0 (mod ), which imlies c 0. Note that N K/Q (α) and 2 N K/Q (α). Therefore this rocess and Equation (9) imly c i for all i, which is a contradiction. To comlete the roof it remains to rove Equation (9). Let E be the Galois closure of K, and assume is a rime in E above. Since a i, then α i, where α = α, α 2,..., α n are the conjugates of α. Note that n N K/Q (c 0 + c α + + c n α n ) = (c 0 + c α i + + c n α n i ), which imlies that N K/Q (c 0 + c α + + c n α n ) c n 0 Z = (). Lemma 8 will allow us to find an arithmetic condition on such that f (t), defined in Theorem, roduces a monogenic field. Proof of Theorem : Let K := E f = Q(α) be the field obtained by adjoining a root of f (t) to Q. Since f (t) is an Eisenstein olynomial at, we have that [O K : Z[α]]. It is easy to show that Disc(f ) = q q q. For q (mod q 2 ) we see that f (t + ) = (t + ) q = t q + ( q i= ) t q + + ( ) q q t + ( q ), q from which we deduce f (t + ) is an Eisenstein olynomial at the rime q and so by Lemma 8 we obtain q [O K : Z[α ]] = [O K : Z[α]]. Therefore f (t) is monogenic by Lemma. Thus #{ x : f (t) is monogenic} #{ x : q (mod q 2 )}, which combined with Theorem 6 roves our theorem. Theorem can also be roven by Dirichlet s theorem on rimes in arithmetic rogressions. We thank Andrew Granville for ointing out this to the author. Indeed, for i q, consider the following change of variable q ( ) q f (t + i) = (t + i) q = t q + t j i q j + (i q ). j j=

9 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 9 So to obtain an Eisenstein olynomial at q, we need to have the conditions i q i (mod q) and i q (mod q 2 ) that also imly q (mod q 2 ). By the rime number theorem in arithmetic rogressions, we get lim x π(x) { x : i (mod q), iq (mod q 2 )} = lim x π(x) { x : iq + qs (mod q 2 ), s q } = q q(q ) = q. This also roves Theorem. It should be mentioned that the simle change of variable x + also gives interesting examles. Let m = 2 k be a ower of 2, and assume 3 (mod 4) is a rime. Then f(x) = x m is an Eisenstein olynomial at, with discriminant m m m. We now remark that k ( ) ( m k = m m k ), which imlies f(x + ) = (x + ) m = x m + m ( m ) j= j x j + ( ), is an Eisenstein olynomial at 2 and therefore 2 [O K : Z[ m ]] = [O K : Z[ m ]]. So Q( m ) is a monogenic number field. 6. Some final remarks We can also fix a rime and vary q in t q. For examle, when = 2, we want to know for which rimes q, t q 2 is monogenic. We should therefore study the distribution of rimes q such that 2 q (mod q 2 ). This is an interesting question, as it can be shown that if 2 q (mod q 2 ), then the first case of Fermat s Last Theorem holds. Indeed, we exect that there are only few rimes q such that 2 q (mod q 2 ). As far as I know, 093 and 35 are the only rimes known to satisfy this relation. For a number field K, let ζ K (s) be the Dedekind zeta function of K and assume its Laurent exansion at s = is ζ K (s) = c (s ) + c 0 + c (s ) + (c 0). Ihara [0] in his interesting aer defined an analogue to the Euler-Kronecker constant γ K := c 0 /c, which is the same as the usual Euler constant for K = Q. Let K q be the field we defined in Lemma 7 (q = l) and denote γ q := γ Kq. Theorem 7 (Ihara [0]). Assuming GRH, if lim inf γq q many q such that q (mod q 2 ). = 0, then for each rime, there are finitely Therefore by considering these assumtions we see, for a fixed, most of the time t q is monogenic. These rimes are called Wieferich rimes. Granville and Soundararajan [7] in their aer related these rimes to a conjecture of Erdős asking if every ositive integer is the sum of a square-free number and a ower of 2. For a given rime q 3, it would be interesting to classify the monogenicity of K := Q(ζ q, q ) when q varies. Chang [3] considered this roblem for q = 3 and roved that Q( 3 2, ω) is essentially the only monogenic field among the family Q( 3, ω). However, it seems that for q 5 the question is more delicate. Acknowledgments I would like to thank Igor Sharlinski and Hershy Kisilevsky for the useful comments and Andrew Granville for his encouragements and advices.

10 THE DENSITY OF A FAMILY OF MONOGENIC NUMBER FIELDS 0 References [] Şaban Alaca and Kenneth S. Williams. Introductory algebraic number theory. Cambridge University Press, Cambridge, [2] A. I. Borevich and I. R. Shafarevich. Number theory. Translated from the Russian by Newcomb Greenleaf. Pure and Alied Mathematics, Vol. 20. Academic Press, New York-London, 966. [3] Mu-Ling Chang. Non-monogeneity in a family of sextic fields. J. Number Theory, 97(2): , [4] David A. Cox. Primes of the form x 2 + ny 2. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 989. Fermat, class field theory and comlex multilication. [5] D. S. Dummit and H. Kisilevsky. Indices in cyclic cubic fields. In Number theory and algebra, ages Academic Press, New York, 977. [6] Daniel E. Flath. Introduction to number theory. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 989. [7] Andrew Granville and K. Soundararajan. A binary additive roblem of Erdős and the order of 2 mod 2. Ramanujan J., 2(-2): , 998. Paul Erdős (93 996). [8] Marie-Nicole Gras. Non monogénéité de l anneau des entiers des extensions cycliques de Q de degré remier l 5. J. Number Theory, 23(3): , 986. [9] Kálmán Győry. Discriminant form and index form equations. In Algebraic number theory and Diohantine analysis (Graz, 998), ages de Gruyter, Berlin, [0] Yasutaka Ihara. On the Euler-Kronecker constants of global fields and rimes with small norms. In Algebraic geometry and number theory, volume 253 of Progr. Math., ages Birkhäuser Boston, Boston, MA, [] J. C. Lagarias and A. M. Odlyzko. Effective versions of the Chebotarev density theorem. In Algebraic number fields: L-functions and Galois roerties (Proc. Symos., Univ. Durham, Durham, 975), ages Academic Press, London, 977. [2] W ladys law Narkiewicz. Elementary and analytic theory of algebraic numbers. Sringer Monograhs in Mathematics. Sringer-Verlag, Berlin, third edition, [3] Jürgen Neukirch. Algebraic number theory, volume 322 of Grundlehren der Mathematischen Wissenschaften [Fundamental Princiles of Mathematical Sciences]. Sringer-Verlag, Berlin, 999. Translated from the 992 German original and with a note by Norbert Schaacher, With a foreword by G. Harder. [4] Jean-Pierre Serre. Quelques alications du théorème de densité de Chebotarev. Inst. Hautes Études Sci. Publ. Math., (54):323 40, 98. [5] Jean-Pierre Serre. On a theorem of Jordan. Bull. Amer. Math. Soc. (N.S.), 40(4): (electronic), [6] B. A. Venkov. Elementary number theory. Translated from the Russian and edited by Helen Alderson. Wolters- Noordhoff Publishing, Groningen, 970. Déartement de mathématiques et de statistique Université de Montréal CP 628, succ. Centreville Montréal, Québec H3C 3J7 Canada. Current address: Deartment of Mathematics and Statistics, University of Ottawa, 585 King Edward, Ottawa, ON KN 6N5, Canada. address: mbardest@uottawa.ca