Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Size: px
Start display at page:

Download "Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields"

Transcription

1 Journal of Number Theory 79, (1999) Article ID jnth , available online at htt: on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon School of Mathematics, Korea Institute for Advanced Study, Cheongryangri-dong, Dongdaemun-gu, Seoul , Korea Communicated by Alan C. Woods Received July 19, 1998 Let be an odd regular rime number. We rove that there exist infinitely many totally real number fields k of degree &1 whose class numbers are not divisible by. Moreover, for certain regular rime number, we rove that there exist infinitely many totally real number fields k of degree &1 whose Iwasawa * -, + -invariants vanish Academic Press 1. INTRODUCTION For a number field k and a rime number, we denote by h(k) the class number of k and by * (k), + (k) the Iwasawa *-, +-invariants of the cyclotomic Z -extension of k, where Z is the ring of -adic integers. Let be an odd rime number. Hartung [5] roved that there exist infinitely many imaginary quadratic fields k whose class numbers are not divisible by. Later, Horie [7] roved that there exist infinitely many imaginary quadratic fields k such that does not divide h(k) and does not slit in k. Thus from a theorem of Iwasawa [8], their exist infinitely many imaginary quadratic fields k with * (k)=+ (k)=0. Recently, Naito [11] generalized the results of Hartung or Horie to the case of CM-fields, that is, totally imaginary quadratic extensions over a totally real number field. However, for the case of real number fields, very little is known. Indivisibility of class numbers of real number fields is closely related to Greenberg's conjecture which says that both * (k) and + (k) always vanish for any totally real number field k and any rime number. It is wellknown that + (k) always vanishes for any abelian number field k and any rime number by Ferrero and Washington [4], but for * (k), very little is known. Nakagawa, and Horie [13] roved that there exist infinitely many real quadratic fields k such that 3 does not divide h(k) and 3 does X Coyright 1999 by Academic Press All rights of reroduction in any form reserved.

2 250 DONGHO BYEON not slit in k. Thus, similarly, there exist infinitely many real quadratic fields k with * 3 (k)=+ 3 (k)=0. Recently, Kraft [10] also showed that the existence of such an infinite family of real quadratic fields by using a result of Jochonowitz. In this aer, we generalize the results of Nakagawa and Horie or Kraft and rove the following theorem. Theorem 1.1. Let be an odd regular rime number. Then there exist infinitely many totally real number fields k of degree &1 whose class numbers are not divisible by. Moreover, we show the following theorem. Theorem 1.2. Let be an odd regular rime number such that #3 (mod 4) and satisfies the conditions (1), (2), (3), and (4) which are stated in Section 5. Then there exist infinitely many totally real number fields k of degree &1 such that does not divide h(k) and totally ramifies in k. Thus there exist infinitely many totally real number fields of degree &1 with * (k)=+ (k)=0. If =3, since it is easy to see that 3 satisfies the conditions in Theorem 1.2, this is the results of Nakagawa and Horie or Kraft. In order to get these theorems, we use Parry's work [16] on class number relations between certain airs of number fields and Naito's work [11, 12] on indivisibility of the class numbers of CM-fields. In Section 2 and Section 3, we briefly introduce their works and in Section 4 and Section 5, using them we rove Theorem 1.1 and Theorem CLASS NUMBER RELATION Let F be a totally real number field. Let be an odd rime number and ` a rimitive th root of unity. Let K 3 =F(`) be the totally imaginary quadratic extension over F which contains `, K 2 a totally imaginary quadratic extension over F such that K 2 {K 3, K=K 2 (`) a bicyclic biquadratic extension over F, and finally K 1 the maximal real subfield of K. Then using class field theory and Kuroda's class number relation, Parry [16] obtained the following class number relation between h(k 1 ) and h(k 2 ). Theorem 2.1. Suose that does not divide h(k 3 ). Then the rime number divides h(k 2 ) if and only if divides h(k 1 ) or X #e mod(1&`) is solvable in K for some unit e of K 1 which is not a th ower.

3 TOTALLY REAL NUMBER FIELDS 251 If =3, K 3 =Q(`3), then this is the result of Herz [6]. For the case =5, K 3 =Q(`5) and =7, K 3 =Q(`7), the above class number relations are studied in great detail by Parry [15, 16] and Endo^ [2, 3]. 3. INDIVISIBILITY OF CLASS NUMBERS OF CM-FIELDS Let F be a totally real number field. For a rime number, we denote by n( ) the maximum value of n such that rimitive n th roots `n of unity are at most of degree 2 over F. IfF is fixed, we have n( )=0 for all but finitely many. Thus we can ut F =2 n(2)+1 > {2 n( ).Let`F(s) be the Dedekind zeta function of F. Serre [18] roved that F `F(&1) is a rational integer. Using trace formula of Hecke oerators and -adic reresentations related to automorhic forms obtained from division quaternion algebras over F, Naito [11] roved the following theorem. Theorem 3.1. Let F be a totally real number field. Let be an odd rime number which does not divide F `F(&1). Then there exist infinitely many totally imaginary quadratic extensions k over F such that the relative class number of k is not divisible by and each rime ideal of F over does not slit in k. If F=Q, then this is the result of Hartung [5] or Horie [7]. On the other hand, Naito mentioned that he did not know whether the condition on F`F(&1) in Theorem 3.1 is indisensable or not. Thus he studied the case without the condition (see [12]). 4. PROOF OF THEOREM 1.1 Let be an odd regular rime number and ` a rimitive th root of unity. Let F=Q(`+`&1 ) be the maximal real subfield of the th cyclotomic field Q(`). To use the class number relation in Section 2, we set K 3 =Q(`), K 2 =F(- &$) a totally imaginary quadratic extension over F, where $ is a totally ositive element in F, K=F(- &$, `) a bicyclic biquadratic extension over F, and finally K 1 the maximal real subfield of K. We note that the degrees of K 1, K 2, and K 3 are all &1. Since is a regular rime number, does not divide h(k 3 ). Thus we can aly the class number relation in Section 2 to our case and have the following relation between h(k 1 ) and h(k 2 ). If does not divide h(k 2 ) then does not divide h(k 1 ). Thus we know that if there exist infinitely many totally imaginary quadratic extensions K 2 over F such that does not divide h(k 2 ), then

4 252 DONGHO BYEON there exist infinitely many totally real number fields of K 1 of degree &1 such that does not divide h(k 1 ). From Theorem 3.1, we conclude that to rove Theorem 1.1, it is enough to show the following lemma. Lemma 4.1. Let be an odd regular rime number and ` a rimitive th root of unity. Let F=Q(`+`&1 ) be the maximal real subfield of the th cyclotomic field Q(`). Then does not divide g`f(&1). Proof. First we note that F =2 3 }3}. Using the method of Serre in [18], Brown [1] comuted the exact fractional art of `k(&1) for arbitrary totally real number fields k. One of his results is the following: Let be an odd rime number and ` a rimitive th root of unity. Let k be a totally real number field. If k is the maximal real subfield of k(`) and no rime of k lying over slits in k(`), then the ower of dividing the denominator of `k(&1) is the same as the ower of dividing the denominator of h &, where h & is the relative class number of k(`) and is the number of roots of unity in k(`). If we set k=f, then F satisfies the conditions in the above. Since is a regular rime, does not divide the relative class number h &. We know that =2. Thus we have that the exact ower of dividing the denominator of `F(&1) is 1. Hence we have that does not divide F (&1) and this roves the lemma. K This comletes the roof of Theorem PROOF OF THEOREM 1.2 Let be an odd regular rime number such that #3 (mod 4) and ` be a rimitive th root of unity. Let F=Q(`+`&1 ) be the maximal real subfield of the th cyclotomic field Q(`). Suose that there exist a rime number q{ with the following roerties: (1) q#1 mod 4, (2) q is a non-quadratic residue modulo, (3) q remains rime in FQ, (4) the class number of k 0 =F(- &q) is rime to. First we claim that there are only finitely many totally imaginary quadratic extensions over F which contain algebraic integers whose norm to F are equal to q. Suose that a totally imaginary quadratic extension k over F has an algebraic integer x+ y - &$ with x, y, $ # F such that

5 TOTALLY REAL NUMBER FIELDS 253 x 2 +$y 2 =q and $ is totally ositive. Note that y should not be zero. Since x& y - &$ is also an algebraic integer in k, X=2x is an algebraic integer in F. Now we can write $=(q&(x 2 4))y 2 and k=f(- &$)=F(- &(4q&X 2 ), where X is an algebraic integer in F and 4q&X 2 is totally ositive. Then we easily see that there exist only finitely many algebraic integers X such that 4q&X 2 is totally ositive and the claim follows. Let k 0 =F(- &q), k 1,..., k t be all totally imaginary quadratic extensions over F which contain algebraic integers whose norm to F are equal to q. Let $ i (i{0) be a rime ideal of F which slits comletely in k i F (i{0) and remains rime in k 0 F. Since a division quaternion algebra B over F can be determined by giving an even number of archimedean or non-archimedean rimes of F which are ramified in BF, we can take a division quaternion algebra BF as follows: (i) only one real rime is unramified in BF and other real rimes are ramified in BF (ii) (iii) (iv) in k 0 F. $ 1,..., $ t are ramified in BF, q is unramified in BF, the other rime ideals r which are ramified in BF remain rime Let S(s, \) be the sace of automorhic forms associated with BF in [11] and T(r) the Hecke oerators acting on S(s, \) for a rime ideal r of F. Let, S, \ : Gal(F F) GL 2dimC S(S, \)(Q ) be the -adic reresentation which Ohta got in [14]. Let 0 0 be the set of isomorhism classes of orders o of totally imaginary quadratic extensions over F in B satisfying the following roerties: (i) no rime factor of the discriminant D(BF )ofbf slits in F(o), (ii) the conductor of o is rime to D(BF ). Let E and E + be the grou of units and the grou of totally ositive units of the ring of integers of F resectively. Let h(o) be the class number of o and E(o) the grou of units in o. For a rime ideal in F, we define (o) by(o)=1, &1, and 0 when slits comletely, remains rime, and ramifies in F(o)F resectively. We denote by &=& BF the reduced norm of BF. We ut n=2 if 5 and n=4 if =3. Now we can state trace formula of Hecke oerator T(r) for a rime ideal r of F,

6 254 DONGHO BYEON tr.t(r)=& [E : E + ] 2 _ : : # J(o) : (mod E) : h(o) > (1&(o)) D(BF ) o # 0 0 [E(o : E)] `n+1 : &' n+1 : tr.9(:) (det :) &n2, `:&' : where J(o)=[: # o: : F, (&(:))=r], `:, ' : are eigenvalues of : and 9 is a reresentation introduced in [11, Sect. 1]. From the choice of BF and q, by the similar argument in [12], we see that to comute the trace of Hecke oerator T((q)), it is enough to consider only the ring of integers o k0 of k 0.Put:=- &q. Then we get tr.t((q))=& [E: E+ ] 2 h(k 0 ) ` D(DF )\ `n+1 : &' n+1 : _tr.9(:) q &n2. `:&' : 1& \ o ++ Moreover, since : satisfies (2), (3), (4), and (5) in [12] and does not divide h(k 0 ), we can also rove that tr.t((q))0 (mod ). We ut H =[g#gl 2dimC S(S, \)(Q ): g#1mod]. LetM be the fixed field by, &1 (H s, \ ). From (iii), q does not divide D(BF ). So from the roerties of, s, \,(q) does not ramify in M F. But (q) ramifies in k 0 F. Thus we have M & k 0 =F. From Tchebotarev density theorem [9] and class field theory, we know that there exist infinitely many rime numbers s such that s#q (mod ) and(s) decomoses in M Q in the same manner as (q) and remains rime in k 0 Q. Lets be one of these rime numbers. Then, from s#q (mod ), we see that (s) remains rime in FQ and the rime ideal (s) off decomoses in M F in the same manner as (q) and remains rime in k 0 F. Thus there is no element ; of k 0 such that (N k0 F(;))=(s). So no order of k 0 aears in the formula of tr.t((s)). Because tr. T((s))=tr.T((q))0 (mod ), we see that F has another totally imaginary quadratic extension k$ whose class number is not divisible by. Letk$=F(- &$$) be another such totally imaginary quadratic extension over F, where $$ is a totally ositive algebraic integer in F. Then there exist x, y in F satisfying x 2 +$$y 2 =s. We claim that $$ is rime to. Otherwise, we have x 2 #s (mod ). But since s#q (mod ) and q is a non-quadratic residue modulo, we have a contradiction and get the claim.

7 TOTALLY REAL NUMBER FIELDS 255 Finally, from the above argument and from the same argument in [12], we get the following conclusion: Let be an odd regular rime number such that #3 (mod 4) and ` be a rimitive th root of unity. Let F=Q(`+`&1 ) be the maximal real subfield of the th cyclotomic field Q(`). If there exist a rime number q{ satisfying (1), (2), (3), and (4), then there exist infinitely many totally imaginary quadratic extensions k$=f(- &$$) over F such that does not divide h(k$) and is rime to the totally ositive algebraic integer $$ inf. Now, we set K 3 =Q(`), K 2 =k$=f(- &$$) the totally imaginary quadratic extension over F in the above, K=k$(`)=F(- &$$, `) a bicyclic biquadratic extension over F, and finally K 1 =F(- $$) the maximal real subfield of K. Then from the class number relation in Section 2 and the above conclusion, we have there exist infinitely many totally real number fields k=f(- $$) of degree &1 such that does not divide h(k) and totally ramifies in k. From a theorem of Iwasawa in [8], we get that for these totally real number fields k, * (k)=+ (k)=0. This comletes the roof of Theorem 1.2. Now, we give some examles. Examle 1. Let =3 then F=Q. Let q=5 then q satisfies (1), (2), and (3). Since the class number of k 0 =Q(- &5) is 2, q satisfies also (4). Thus we have that there exist infinitely many real quadratic fields k such that 3 does not divide h(k) and 3 totally ramifies in k. This is the result of Nakagawa and Horie [13] or Kraft [10]. Examle 2. Let =7 then F=Q(`7+`&1 7 ) is a totally real cyclic cubic field. Let q=5 then q satisfies (1),(2), and (3). Since the class number of k =Q(`7+`&1 0 7, - &5) is 2 (cf. [17]), q satisfies also (4). Thus we have that there exist infinitely many totally real number fields k of degree 6 such that 7 does not divide h(k) and 7 totally ramifies in k. Finally, we suggest some roblems which naturally arise from this work. Problem 1. Let be an odd regular rime number. We note that the assumtion that #3 (mod 4) is indisensable for our roof of Theorem 1.2. For examle, if =5 then there is no rime number s such that (s) remains rime in a bicyclic biquadratic field k =Q(`5+`&1 o 5, - &q)q. Thus we can not show that is rime to $$ in the roof of Theorem 1.2. Can we remove the assumtion that #3 (mod 4) in Theorem 1.2? Problem 2. Let be an odd regular rime number and ` a rimitive th root of unity. Let F=Q(`+`&1 ) be the maximal real subfield of the th cyclotomic field Q(`). From the class number relation in Section 2

8 256 DONGHO BYEON and class field theory (cf. [16, Corollary 2 and Corollary 3]), we know that if #3 (mod 4) (res. #1 (mod 4)) and F has infinitely many totally imaginary quadratic extensions F(- & m) (res. F((`&`&1 ) - m)) whose ideal class numbers are not divisible by, where m is a ositive square free integer, then there exist infinitely many real quadratic fields Q(- m) whose ideal class numbers are not divisible by. Indivisibility of class numbers of real quadratic fields by an odd rime number {3 is a well known oen roblem. Can we construct infinitely many the such totally imaginary quadratic extensions over F? Problem 3. To use the class number relation in Section 2, should be a regular rime. Thus the assumtion that is a regular rime is essential to our roofs of Theorem 1.1 and Theorem 1.2. Can we generalize these theorems to an irregular rime? ACKNOWLEDGMENT The author thanks the referee for many helful suggestions. REFERENCES 1. K. S. Brown, Euler characteristics of discrete grous and G-saces, Invent. Math. 27 (1974), A. Endo^, Remark on the divisibility of class numbers of certain quartic number fields by 5, Proc. Amer. Math. Soc. 91, No. 4 (1984), A. Endo^, Class number relation between certain sextic number fields, Proc. Amer. Math. Soc. 95, No. 2 (1985), B. Ferrero and L. C. Washington, The Iwasawa invariants + vanishes for abelian number fields, Ann. of Math. 109 (1979), P. Hartung, Proof of the existence of infinitely many imaginary quadratic fields whose class number is not divisible by 3, J. Number Theory 6 (1974), C. S. Herz, ``Construction of Class Fields,'' Lecture Notes in Math., Vol. 21, Sringer- Verlag, BerlinNew York, K. Horie, A note on basic Iwasawa *-invariants of imaginary quadratic fields, Invent. Math. 88 (1987), K. Iwasawa, A note on class numbers of algebraic number fields, Abh. Math. Sem. Univ. Hamburg 20 (1956), G. J. Janusz, ``Algebraic Number Fields,'' Academic Press, San Diego, J. S. Kraft, Class numbers and Iwasawa invariants of quadratic fields, Proc. Amer. Math. Soc. 124 (1996), H. Naito, Indivisibility of class numbers of totally imaginary quadratic extensions and their Iwasawa invariants, J. Math. Soc. Jaan 43, No. 1 (1991), H. Naito, Erratum to ``Indivisibility of class numbers of totally imaginary quadratic extensions and their Iwasawa invariants,'' J. Math. Soc. Jaan 46, No. 4 (1994), J. Nakagawa and K. Horie, Ellitic curves with no rational oints, Proc. Amer. Math. Soc. 104 (1988), 2024.

9 TOTALLY REAL NUMBER FIELDS M. Ohta, On l-adic reresentations attached to automorhic forms, Jaan J. Math. 8 (1982), C. J. Parry, Real quadratic fields with class numbers divisible by five, Math. Com. 31, No. 140 (1977), C. J. Parry, On the class numbers of relative quadratic fields, Math. Com. 32, No. 144 (1978), Y. H. Park and S. H. Kwon, Determination of all imaginary abelian sextic number fields with class number 11, Acta Arith. 82, No. 1 (1997), J. P. Serre, Cohomologie des groues discretes, in ``Prosects in Mathematics,'' Ann. of Math. Stud., Vol. 70, , Princeton Univ. Press, Princeton, NJ, 1971.

Indivisibility of Class Numbers and Iwasawa l-invariants of Real Quadratic Fields

Indivisibility of Class Numbers and Iwasawa l-invariants of Real Quadratic Fields Comositio Mathematica 16: 49^56, 001. 49 # 001 Kluwer Academic Publishers. Printed in the Netherlands. Indivisibility of Class Numbers and Iwasawa l-invariants of Real Quadratic Fields ONGHO BYEON School

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss

More information

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

Class number in non Galois quartic and non abelian Galois octic function fields over finite fields

Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Class number in non Galois quartic and non abelian Galois octic function fields over finite fields Yves Aubry G. R. I. M. Université du Sud Toulon-Var 83 957 La Garde Cedex France yaubry@univ-tln.fr Abstract

More information

MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES

MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1

More information

CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN

CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com

More information

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS

A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For

More information

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely

More information

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

A supersingular congruence for modular forms

A supersingular congruence for modular forms ACTA ARITHMETICA LXXXVI.1 (1998) A suersingular congruence for modular forms by Andrew Baker (Glasgow) Introduction. In [6], Gross and Landweber roved the following suersingular congruence in the ring

More information

HARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1.

HARUZO HIDA. on the inertia I p for the p-adic cyclotomic character N ordered from top to bottom as a 1 a 2 0 a d. Thus. a 2 0 N. ( N a 1. L-INVARIANT OF -ADIC L-FUNCTIONS HARUZO HIDA 1. Lecture 1 Let Q C be the field of all algebraic numbers. We fix a rime >2and a -adic absolute value on Q. Then C is the comletion of Q under. We write W

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

Some local (at p) properties of residual Galois representations

Some local (at p) properties of residual Galois representations Some local (at ) roerties of residual Galois reresentations Johnson Jia, Krzysztof Klosin March 5, 2006 1 Preliminary results In this talk we are going to discuss some local roerties of (mod ) Galois reresentations

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS

A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS A SUPERSINGULAR CONGRUENCE FOR MODULAR FORMS ANDREW BAKER Abstract. Let > 3 be a rime. In the ring of modular forms with q-exansions defined over Z (), the Eisenstein function E +1 is shown to satisfy

More information

arxiv: v5 [math.nt] 22 Aug 2013

arxiv: v5 [math.nt] 22 Aug 2013 Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

On the Diophantine Equation x 2 = 4q n 4q m + 9

On the Diophantine Equation x 2 = 4q n 4q m + 9 JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we

More information

Unit Groups of Semisimple Group Algebras of Abelian p-groups over a Field*

Unit Groups of Semisimple Group Algebras of Abelian p-groups over a Field* JOURNAL OF ALGEBRA 88, 580589 997 ARTICLE NO. JA96686 Unit Grous of Semisimle Grou Algebras of Abelian -Grous over a Field* Nako A. Nachev and Todor Zh. Mollov Deartment of Algebra, Plodi Uniersity, 4000

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS #A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

Applicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS

Applicable Analysis and Discrete Mathematics available online at   HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive

More information

THE THEORY OF NUMBERS IN DEDEKIND RINGS

THE THEORY OF NUMBERS IN DEDEKIND RINGS THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,

More information

Primes - Problem Sheet 5 - Solutions

Primes - Problem Sheet 5 - Solutions Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over

More information

Class numbers of quadratic fields Q( D) and Q( td)

Class numbers of quadratic fields Q( D) and Q( td) Class numbers of quadratic fields Q( D) and Q( td) Dongho Byeon Abstract. Let t be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants D > 0 with a

More information

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I

IDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields

More information

192 VOLUME 55, NUMBER 5

192 VOLUME 55, NUMBER 5 ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert

More information

Small Zeros of Quadratic Forms Mod P m

Small Zeros of Quadratic Forms Mod P m International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

arxiv: v2 [math.nt] 9 Oct 2018

arxiv: v2 [math.nt] 9 Oct 2018 ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev

More information

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1.

#A6 INTEGERS 15A (2015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I. Katalin Gyarmati 1. #A6 INTEGERS 15A (015) ON REDUCIBLE AND PRIMITIVE SUBSETS OF F P, I Katalin Gyarmati 1 Deartment of Algebra and Number Theory, Eötvös Loránd University and MTA-ELTE Geometric and Algebraic Combinatorics

More information

SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS

SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS SIGN CHANGES OF COEFFICIENTS OF HALF INTEGRAL WEIGHT MODULAR FORMS JAN HENDRIK BRUINIER AND WINFRIED KOHNEN Abstract. For a half integral weight modular form f we study the signs of the Fourier coefficients

More information

ON FREIMAN S 2.4-THEOREM

ON FREIMAN S 2.4-THEOREM ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained

More information

Ideal class groups of cyclotomic number fields I

Ideal class groups of cyclotomic number fields I ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

The inverse Goldbach problem

The inverse Goldbach problem 1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the

More information

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS

REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER FIELDS MATHEMATICS OF COMPUTATION Volume 68, Number 228, Pages 1679 1685 S 0025-5718(99)01129-1 Article electronically published on May 21, 1999 REDUCTION OF ELLIPTIC CURVES OVER CERTAIN REAL QUADRATIC NUMBER

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

Weil s Conjecture on Tamagawa Numbers (Lecture 1)

Weil s Conjecture on Tamagawa Numbers (Lecture 1) Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The

More information

CM-Fields with Cyclic Ideal Class Groups of 2-Power Orders

CM-Fields with Cyclic Ideal Class Groups of 2-Power Orders journal of number theory 67, 110 (1997) article no. T972179 CM-Fields with Cyclic Ideal Class Groups of 2-Power Orders Ste phane Louboutin* Universite de Caen, UFR Sciences, De partement de Mathe matiques,

More information

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How

More information

An Overview of Witt Vectors

An Overview of Witt Vectors An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that

More information

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form. On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4

More information

MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.

MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1. MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a

More information

Quaternionic Projective Space (Lecture 34)

Quaternionic Projective Space (Lecture 34) Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question

More information

Algebraic number theory LTCC Solutions to Problem Sheet 2

Algebraic number theory LTCC Solutions to Problem Sheet 2 Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then

More information

We collect some results that might be covered in a first course in algebraic number theory.

We collect some results that might be covered in a first course in algebraic number theory. 1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise

More information

ELLIPTIC CURVES, MODULAR FORMS, AND SUMS OF HURWITZ CLASS NUMBERS (APPEARED IN JOURNAL OF NUMBER THEORY )

ELLIPTIC CURVES, MODULAR FORMS, AND SUMS OF HURWITZ CLASS NUMBERS (APPEARED IN JOURNAL OF NUMBER THEORY ) ELLIPTIC CURVES, MODULAR FORMS, AND SUMS OF HURWITZ CLASS NUMBERS (APPEARED IN JOURNAL OF NUMBER THEORY BRITTANY BROWN, NEIL J. CALKIN, TIMOTHY B. FLOWERS, KEVIN JAMES, ETHAN SMITH, AND AMY STOUT Abstract.

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

Legendre polynomials and Jacobsthal sums

Legendre polynomials and Jacobsthal sums Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer

More information

Piotr Blass. Jerey Lang

Piotr Blass. Jerey Lang Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling

More information

Additive results for the generalized Drazin inverse in a Banach algebra

Additive results for the generalized Drazin inverse in a Banach algebra Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized

More information

Factor Rings and their decompositions in the Eisenstein integers Ring Z [ω]

Factor Rings and their decompositions in the Eisenstein integers Ring Z [ω] Armenian Journal of Mathematics Volume 5, Number 1, 013, 58 68 Factor Rings and their decomositions in the Eisenstein integers Ring Z [ω] Manouchehr Misaghian Deartment of Mathematics, Prairie View A&M

More information

p-adic Properties of Lengyel s Numbers

p-adic Properties of Lengyel s Numbers 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée

More information

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

PARTITIONS AND (2k + 1) CORES. 1. Introduction

PARTITIONS AND (2k + 1) CORES. 1. Introduction PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007

More information

A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction

A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO p. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXI, (2002),. 3 7 3 A CLASS OF ALGEBRAIC-EXPONENTIAL CONGRUENCES MODULO C. COBELI, M. VÂJÂITU and A. ZAHARESCU Abstract. Let be a rime number, J a set of consecutive integers,

More information

Commutators on l. D. Dosev and W. B. Johnson

Commutators on l. D. Dosev and W. B. Johnson Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Commutators on l D. Dosev and W. B. Johnson Abstract The oerators on l which are commutators are those not of the form λi

More information

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS #A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

Some sophisticated congruences involving Fibonacci numbers

Some sophisticated congruences involving Fibonacci numbers A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei

More information

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS

ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract

More information

Genus theory and the factorization of class equations over F p

Genus theory and the factorization of class equations over F p arxiv:1409.0691v2 [math.nt] 10 Dec 2017 Genus theory and the factorization of class euations over F Patrick Morton March 30, 2015 As is well-known, the Hilbert class euation is the olynomial H D (X) whose

More information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various

More information

AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction

AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction J. Al. Math. & Comuting Vol. 20(2006), No. 1-2,. 485-489 AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES BYEONG-KWEON OH, KIL-CHAN HA AND JANGHEON OH Abstract. In this aer, we slightly

More information

ON THE SET a x + b g x (mod p) 1 Introduction

ON THE SET a x + b g x (mod p) 1 Introduction PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

RATIONAL RECIPROCITY LAWS

RATIONAL RECIPROCITY LAWS RATIONAL RECIPROCITY LAWS MARK BUDDEN 1 10/7/05 The urose of this note is to rovide an overview of Rational Recirocity and in articular, of Scholz s recirocity law for the non-number theorist. In the first

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

More information

On the Greatest Prime Divisor of N p

On the Greatest Prime Divisor of N p On the Greatest Prime Divisor of N Amir Akbary Abstract Let E be an ellitic curve defined over Q For any rime of good reduction, let E be the reduction of E mod Denote by N the cardinality of E F, where

More information

6 Binary Quadratic forms

6 Binary Quadratic forms 6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has

More information

DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions

DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the

More information

A note on the Lebesgue Radon Nikodym theorem with respect to weighted and twisted p-adic invariant integral on Z p

A note on the Lebesgue Radon Nikodym theorem with respect to weighted and twisted p-adic invariant integral on Z p Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No. 1, 10 17 A note on the Lebesgue Radon Nikodym theorem with resect to weighted and twisted -adic invariant integral on Z

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL

TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL CATHERINE HSU Abstract. This paper introduces two classes of totally real quartic number fields, one of biquadratic extensions and one

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this

More information

Group Theory Problems

Group Theory Problems Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index

More information

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4 Iranian Journal of Science & Technology, Transaction A, Vol. 34, No. A4 Printed in the Islamic Reublic of Iran, Shiraz University SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP * m OF THE NORMALIZER OF S. KADER,

More information