IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP
|
|
- Ernest Willis
- 5 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 5, May 996 IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP TIM HSU (Communicated by Ronald M. Solomon) Abstract. We exhibit a simle test (Theorem 2.4) for determining if a given (classical) modular subgrou is a congruence subgrou, and give a detailed descrition of its imlementation (Theorem 3.). In an aendix, we also describe a more invariant and arithmetic congruence test.. Notation We describe (conjugacy classes of) subgrous Γ PSL 2 (Z) intermsofermutation reresentations of PSL 2 (Z), following Millington [, 2] and Atkin and Swinnerton-Dyer []. We recall that a conjugacy class of subgrous of PSL 2 (Z) isequivalenttoa transitive ermutation reresention of PSL 2 (Z). Such a reresentation can be defined by transitive ermutations E and V which satisfy the relations (.) =E 2 =V 3. The relations (.) are fulfilled by 0 (.2) E =, V =. 0 0 Alternately, such a reresentation can be defined by transitive ermutations L and R which satisfy (.3) =(LR L) 2 =(R L) 3, with the relations being fulfilled by 0 (.4) L =, R =. 0 One can also use ermuations E and L such that (.5) =E 2 =(L E) 3, with E and L corresonding to the indicated matrices in (.2) and (.4), resectively. Received by the editors Setember, Mathematics Subject Classification. Primary 20H05; Secondary 20F05. Key words and hrases. Congruence subgrous, classical modular grou. The author was suorted by an NSF graduate fellowshi and DOE GAANN grant #P200A0022.A c 996 American Mathematical Society
2 352 T. HSU (.6) (.7) (.8) The various notations can be translated using the following conversion table: E = LR L, V = R L, L = EV, R = EV 2, R = E L E. Examle.. The ermutations E = ( 2)(3 4)(5 6)(7 8)(9 0), (.9) V = ( 3 5)(2 7 4)(6 8 9), or, alternately, L = ( 4)( )(3 7 6), (.0) R =(7906)(23)(458), describe a conjugacy class of subgrous of index 0 in PSL 2 (Z). Remark.2. Note that any concrete method of secifying a modular subgrou can easily be converted to ermutation form. For instance, one way in which a modular subgrou Γ might be secified is by a list of generators. Such a list can be converted into ermutations as follows: First, use the Euclidean algorithm to exress each generator matrix as a roduct of L s and R s, where L and R are the elements in (.4). Then enumerate the cosets of Γ in terms of these generators and resentation (.3). This coset enumeration is easily converted into aroriate ermutations L and R. Similarly, any reasonable membershi test for Γ can be used to enumerate the cosets of Γ, with the same results as before. 2. Congruence subgrous and the level We recall the following definitions. Definition 2.. Γ(N) is defined to be the grou (2.) {γ PSL 2 (Z) γ ±I (mod N)}. Γ(N) is the kernel of the natural rojection from PSL 2 (Z) tosl 2 (Z/N )/{±I}. We say that a modular subgrou Γ is a congruence subgrou if Γ contains Γ(N) for some integer N. Otherwise,wesayΓisanon-congruence subgrou. An imortant invariant of (conjugacy classes of) modular subgrous is the following. Definition 2.2. The level of a modular subgrou Γ, as secified by ermutations L and R, is defined to be the order of L (or the order of R, sincelis conjugate to R ). We need the following result, sometimes known as Wohlfahrt s Theorem (Wohlfahrt [3]). Theorem 2.3. Let N be the level of a modular subgrou Γ. subgrou if and only if it contains Γ(N). Γ is a congruence Proof. This amounts to roving that, for congruence subgrous, our definition of the level is the same as the classical definition of the level. See Wohlfahrt [3].
3 IDENTIFYING CONGRUENCE SUBGROUPS 353 Theorem 2.4. Let Γ be a modular subgrou of level N, andlet (2.2) L, R r,r 2,... be a resentation for SL 2 (Z/N )/{±I} which is comatible with (.4). Then Γ is a congruence subgrou if and only if the reresentation of PSL 2 (Z) induced by Γ resects the relations {r i }. Proof. From Theorem 2.3, we only need to check if Γ contains Γ(N). Now, since Γ(N) isnormalinpsl 2 (Z), Γ contains Γ(N) if and only if the normal kernel of Γ contains Γ(N). However, the normal kernel of Γ is exactly the kernel of the reresentation induced by Γ, and since the relations {r i } generate Γ(N) astheir normal closure, the theorem follows. Comare Magnus [9, Ch. III], Britto [4], Wohlfahrt [3], and Larcher [8]. Lang, Lim, and Tan [7] have also develoed a congruence test; see the related aer Chan, Lang, Lim, and Tan [5]. Examle 2.5. Suose Γ is the conjugacy class of subgrous secified by (.0). Since L has order 30, we need to use a resentation for SL 2 (Z/30)/{±I}. We find that SL 2 (Z/30)/{±I} has a resentation with defining relations (2.3) =L 30, (2.4) =[L 2,R 5 ]=[L 3,R 0 ]=[L 5,R 6 ] in addition to the relations in (.3). (The commutator [x, y] is defined to be x y xy, so = [x, y] means x commutes with y.) Only the commutator relations (2.4) need to be checked. However, (2.5) L 2 =(29850)(367), which does not commute with (2.6) R 5 =(23), so Γ is a non-congruence subgrou. (It is worth mentioning that Larcher s results also imly that Γ is non-congruence, since L does not contain a 30-cycle.) Remark 2.6. The results in this section extend essentially verbatim to the Bianchi grous SL 2 (O d ), where O d is the ring of algebraic integers of an imaginary quadratic field Q [ d ] with class number. (See Fine [6] for more on the Bianchi grous.) However, for ractical use, one needs a uniform resentation of SL 2 (O d ) /A for A any ideal of O d. 3. Imlementation To assure the reader that the rocedure described by Theorem 2.4 is ractical, we rovide the following detailed algorithm. Suose we are given a subgrou Γ of finite index in PSL 2 (Z).. Describe Γ in terms of ermutations L and R. If necessary, use conversion (.7), conversion (.8), or another similar conversion. (See also Remark.2.) 2. Let N be the order of L, andletn=em, whereeisaowerof2andmis odd. 3. We have three cases: (a) N is odd: Γ is a congruence subgrou if and only if the relation =(R 2 L 2 ) 3 (A)
4 354 T. HSU is satisfied, where 2 is the multilicative inverse of 2 mod N. (b) N is a ower of 2: Let S = L 20 R 5 L 4 R,where 5 is the multilicative inverse of 5 mod N. Γ is a congruence subgrou if and only if the relations (LR L) S(LR L)=S, (B) S RS = R 25, =(SR 5 LR L) 3 are satisfied. (c) Both e and m are greater than : (i) Let 2 be the multilicative inverse of 2 mod m, andlet 5 be the multilicative inverse of 5 mod e. (ii) Let c be the unique integer mod N such that c 0(mode)andc (mod m), and let d be the unique integer mod N such that d 0(modm) and d (mode). (iii) Let a = L c, b = R c, l = L d, r = R d,andlets=l 20 r 5 l 4 r. (iv) Γ is a congruence subgrou if and only if the relations =[a, r], =(ab a) 4, (ab a) 2 =(b a) 3, (C) (ab a) 2 =(b 2 a 2 ) 3, (lr l) s(lr l)=s, s rs = r 25, (lr l) 2 =(sr 5 lr l) 3 are satisfied. Theorem 3.. The above rocedure determines if Γ is a congruence subgrou. Before roving Theorem 3., we need an algebraic trick (Lemma 3.2) and some known results (Lemma 3.3, due to Behr and Mennicke [2]; and Lemma 3.4, due to Mennicke [0]). Lemma 3.2 (Braid trick). Let x and y be elements which generate a grou G and satisfy the relation (3.) (xyx) 2 =(yx) 3. Then the element (xyx) 2 =(yx) 3 is central in G. Furthermore, (3.2) xyx = yxy and (3.3) (xyx) x(xyx) =y. We call this the braid trick because (3.2) is the defining relation for the 3-string braid grou. Proof. The elements X = xyx and Y = yx also generate G, and the element Z =(xyx) 2 =(yx) 3 = X 2 = Y 3 commutes with both X and Y,soZis central. (3.2) and (3.3) follow from cancellation in xyxxyx = yxyxyx.
5 IDENTIFYING CONGRUENCE SUBGROUPS 355 Lemma 3.3. Let m be an odd integer, and let 2 be the multilicative inverse of 2 mod m. SL 2 (Z/m) is isomorhic to G = a, b (3.4) =a m, (3.5) =(ab a) 4, (3.6) (ab a) 2 =(b a) 3, (3.7) Relations (3.4) (3.7) are fulfilled by a = (ab a) 2 =(b 2 a 2 ) 3. and b = 0 0 in SL 2 (Z/m). Proof. G is equivalent to Behr and Mennicke s resentation [2, (2.2)] by the following Tietze transformations. Add generators A = b and B = ab a. Alying the braid trick to (3.6), we get that B 2 is central, and from (3.2), we also get that (3.8) BA = b a. (3.8) imlies that a = ABA, which means that we can eliminate a and b. Using (3.3), (3.8), and the centrality of B 2, we see that (3.4) (3.6) become (3.9) (3.0) =A m =B 4, B 2 =(AB) 3, so it remains to convert (3.7) to Behr and Mennicke s form. However, alying (3.3), we have (3.) B 2 =(b 2 a 2 ) 3 =(A 2 B A 2 B) 3, so, using = B 8 and the centrality of B 2, (3.2) =(A 2 B A 2 B) 3 B 6 =(A 2 BA 2 B) 3. Lemma 3.4. Let e =2 n,let 5 be the multilicative inverse of 5 mod e, andlet s=l 20 r 5 l 4 r. SL 2 (Z/e) is isomorhic to G = l, r (3.3) =l e, (3.4) =(lr l) 4, (3.5) (lr l) 2 =(r l) 3, (3.6) (lr l) s(lr l)=s, (3.7) s rs = r 25, (3.8) Relations (3.3) (3.8) are fulfilled by l = in SL 2 (Z/e). (lr l) 2 =(sr 5 lr l) 3., r = 0 0,ands=
6 356 T. HSU Proof. As the reader may verify, the relations (3.3) (3.8) and s = l 20 r 5 l 4 r are satisfied in SL 2 (Z/e), so it suffices to show that G is a homomorhic image of Mennicke s resentation [0,. 20]. Add generators A = r, B = lr l,andt=s. Alying the braid trick to (3.5), we get that B 2 is central, BA = r l,andlis conjugate to A. As in the roof of the revious lemma, we can then eliminate generators l and r. Then (3.3), (3.4), (3.5), (3.6), (3.7), and (3.8) become Mennicke s relations (X), (Y), (P), (Z), (Q), and (R), resectively. For Lemma 3.5, we consider the following relations: (3.9) =L N, (3.20) =[a, r], (3.2) =[b, l], (3.22) =(ab a) 4, (3.23) (ab a) 2 =(b a) 3, (3.24) (ab a) 2 =(b 2 a 2 ) 3, (3.25) =(lr l) 4, (3.26) (lr l) 2 =(r l) 3, (3.27) (lr l) s(lr l)=s, (3.28) s rs = r 25, (3.29) (lr l) 2 =(sr 5 lr l) 3. All notation is as described in (2) and (3c)(i iii) of the algorithm. Note that = L N imlies that L = al and R = br. Lemma 3.5. SL 2 (Z/N ) has a resentation with generators ( L and ) R, and ( defining ) 0 relations (3.9) (3.29). The relations are fulfilled by L = and R = 0 in SL 2 (Z/N ). Proof. The Chinese Remainder Theorem imlies that (3.30) SL 2 (Z/N ) = SL 2 (Z/m) SL 2 (Z/e). It also follows from the Chinese Remainder Theorem that, if L = and R = 0 0 in SL 2 (Z/N ), the SL 2 (Z/m) factor is recisely a, b and the SL 2 (Z/e) factor is recisely l, r. Therefore, the above relations are satisfied in SL 2 (Z/N ). On the other hand, since (3.9) imlies (3.4) and (3.3), comarison with Lemmas 3.3 and 3.4 shows that the above resentation is the direct roduct of SL 2 (Z/m) and SL 2 (Z/e). The lemma follows. Proof of Theorem 3.. After stes and 2 of the rocedure, we know that the relations (3.3) =L N, (3.32) =(LR L) 2, (3.33) =(R L) 3
7 IDENTIFYING CONGRUENCE SUBGROUPS 357 must be satisfied. From Theorem 2.4, we see that if (3.3) (3.33) and (A) (res. (B), (C)) are defining relations for SL 2 (Z/N )/{±I} when N is odd (res. N is a ower of 2, and e and m are greater than ), then Theorem 3. follows. Comaring (A) and Lemma 3.3, with a = L and b = R, and comaring (B) and Lemma 3.4, with l = L and r = R, the first two cases follow easily, so it remains to check the third. Comaring (C) and (3.9) (3.29), we see that it is enough to show that given (3.3) (3.33) and (3.9) (3.29), the relations (3.2), (3.25), and (3.26) are redundant. First, (3.3), (3.32), (3.20), and (3.2) give us =(LR L) 4 (3.34) =(alr b al) 4 =(ab a) 4 (lr l) 4, which means that (3.22) imlies (3.25). Similarly, (3.3), (3.32), (3.33), (3.20), and (3.2) imly (LR L) 2 =(R L) 3, (3.35) (ab a) 2 (lr l) 2 =(b a) 3 (r l) 3, which means that (3.23) imlies (3.26). Finally, since (3.32), (3.33), and the braid trick (3.3) imly that L is conjugate to R, we can eliminate (3.2), since it is imlied by (3.20). For hand calculations, and for further study, we note the following relations which occur in SL 2 (Z/N ): (SL Z =(LR L) 2 =(R L) 3,=Z 2 2 ), (level) =L N =R N, (ab 0 (ab (ab 2 (mod N)) (mod N)) (mod N)) =[L a,r b ], (L a R b ) 3 = Z, (L a R b ) 2 = Z. It has been verified by coset enumeration that the relations (SL 2 ), (level), and (ab 0(modN)) are defining relations when N 360. This means that if the level N divides 360, the congruence test reduces to checking that the relations (ab 0(modN)) are satisfied. Acknowledgements The author would like to thank J. H. Conway and the referee for many helful comments and suggestions. Aendix A. An arithmetic congruence test In this aendix, we resent an arithmetic [ ]) and invariant congruence test which uses the Ihara modular grou SL 2 (Z.
8 358 T. HSU We begin by quoting the following result (Theorem A.) of J. Mennicke [0]. (Note that Mennicke s Schur multilier calculation and subsequent argument require the reairs described in F.R. Beyl [3, 5], but the main result still holds.) Let N be an integer, let be a rime not dividing N, let R N be the kernel [ ]) in SL 2 (Z resulting from reduction mod N, andletq N be the normal closure of L N in SL 2 [ ]) (Z. Theorem A.. R N = Q N. Let Γ be a modular subgrou of level N and index m in SL 2 (Z). Consider the commutative diagram in Figure A.. SL 2 (Z[ ]) i r r SL 2 (Z/N) SL 2 (Z) f f 2 ρ S m Figure A.. Commutative diagram for Theorem A.2 Here, S m is the symmetric grou on m objects (the cosets of Γ in SL 2 (Z)), r is reduction mod N, i is inclusion, and ρ is the ermutation reresentation of SL 2 (Z) induced by Γ. Note that f 2 exists if and only if Γ is a congruence subgrou, and that such an f 2 is uniquely determined. The setu in Figure A. rovides us with an invariant congruence test. Theorem A.2. In the notation of Figure A., a ma f exists if and only if f 2 exists. In other words, [ ]) Γ is congruence if and only if ρ can be factored through inclusion in SL 2 (Z. Proof. If f 2 exists, let f = f 2 r. Conversely, if f exists, since L N is in the kernel of ρ, L N must be in the kernel of f,soinfact,f is well defined on [ ( [ ])/ (A.) SL 2 (Z ])/Q N = SL 2 Z R N = SL2 (Z/N ), which means that f defines an aroriate ma f 2. Corollary A.3. In Figure A., f is determined uniquely if it exists. One curious feature of Theorem A.2 is that if we know a given family of modular subgrous all have levels relatively rime to, then we can handle all of them in a uniform manner. This is the rincile behind Behr and Mennicke s resentation of SL 2 (Z/N )fornodd, as these cases can be handled in SL 2 ( Z [ 2]). We also note that if we fix the level N, then we can choose any not dividing N to use in Theorem A.2. This leads to the following idea: For a given family of modular subgrous of level N, it seems lausible that one might be able to reduce the extensibility of ρ to the question of whether there exists a which satisfies certain congruences mod N. Dirichlet s theorem might then be used to find a which satisfies those congruences.
9 IDENTIFYING CONGRUENCE SUBGROUPS 359 References [] A.O.L.AtkinandH.P.F.Swinnerton-Dyer,Modular forms on noncongruence subgrous, Proc. Sym. Pure Math., Combinatorics (Providence) (T. S. Motzkin, ed.), vol. 9, AMS, Providence, 97,. 26. MR 49:2550 [2] H. Behr and J. Mennicke, A resentation of the grous PSL(2,), Can. J. Math. 20 (968), MR 38:4566 [3] F. R. Beyl, The Schur multilicator of SL(2,Z/mZ) and the congruence subgrou roerty, Math. Z. 9 (986), MR 87b:2007 [4] J. Britto, On the construction of non-congruence subgrous, ActaArith. XXXIII (977), MR 56:242 [5] S.-P. Chan, M.-L. Lang, C.-H. Lim, and S.-P. Tan, Secial olygons for subgrous of the modular grou and alications, Internat. J. Math. 4 (993), no., 34. MR 94j:045 [6] B. Fine, Algebraic theory of the Bianchi grous, Marcel Dekker, Inc., New York, 989. MR 90h:20002 [7] M.-L. Lang, C.-H. Lim, and S.-P. Tan, An algorithm for determining if a subgrou of the modular grou is congruence, rerint, 992. [8] H. Larcher, The cus amlitudes of the congruence subgrous of the classical modular grou, Ill. J. Math. 26 (982), no., MR 83a:0040 [9] W. Magnus, Noneuclidean tesselations and their grous, Academic Press, 974. MR 50:4774 [0] J. Mennicke, On Ihara s modular grou, Invent. Math. 4 (967), MR 37:485 [] M. H. Millington, On cycloidal subgrous of the modular grou, Proc.Lon.Math.Soc.9 (969), MR 40:484 [2], Subgrous of the classical modular grou, J. Lon. Math. Soc. (969), MR 39:5477 [3] K. Wohlfahrt, An extension of F. Klein s level concet, Ill. J. Math. 8 (964), MR 29:4805 Deartment of Mathematics, Princeton University, Princeton, New Jersey address: timhsu@math.rinceton.edu Current address: Deartment of Mathematics, University of Michigan, Ann Arbor, Michigan address: timhsu@math.lsa.umich.edu
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 informationMODULAR 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 informationDISCRIMINANTS 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 informationMath 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 informationAdditive 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 informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationThe 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 informationHASSE 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 informationPARTITIONS 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 informationRECIPROCITY 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 informationMobius 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 informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationA structure theorem for product sets in extra special groups
A structure theorem for roduct sets in extra secial grous Thang Pham Michael Tait Le Anh Vinh Robert Won arxiv:1704.07849v1 [math.nt] 25 Ar 2017 Abstract HegyváriandHennecartshowedthatifB isasufficientlylargebrickofaheisenberg
More information2 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 information2 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 informationON 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 informationRepresenting 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 informationSUBORBITAL 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 informationA 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 informationFactor 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 informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationJacobi 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 informationQUADRATIC 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 informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationMATH 371 Class notes/outline September 24, 2013
MATH 371 Class notes/outline Setember 24, 2013 Rings Armed with what we have looked at for the integers and olynomials over a field, we re in a good osition to take u the general theory of rings. Definitions:
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationGalois Fields, Linear Feedback Shift Registers and their Applications
Galois Fields, Linear Feedback Shift Registers and their Alications With 85 illustrations as well as numerous tables, diagrams and examles by Ulrich Jetzek ISBN (Book): 978-3-446-45140-7 ISBN (E-Book):
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
More informationUnit 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 informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationAn 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 informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationp-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 informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
More informationarxiv: 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 informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationQuaternionic 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 informationANALYTIC 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 informationA 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 informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationApplicable 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 informationOn 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#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 informationSolvability 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 informationJournal of Algebra 332 (2011) Contents lists available at ScienceDirect. Journal of Algebra.
Journal of Algebra 332 (2011) 1 13 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Enumerating alindromes and rimitives in rank two free grous Jane Gilman
More informationOn 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 informationCOEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS. Jan H. Bruinier and Ken Ono. Appearing in the Journal of Number Theory
COEFFICIENTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS Jan H. Bruinier and Ken Ono Aearing in the Journal of Number Theory Abstract. In this aer we study the distribution of the coefficients an of half integral
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationarxiv: 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 informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationON THE NORMS OF p-stabilized ELLIPTIC NEWFORMS
ON THE NORMS OF -STABILIZED ELLIPTIC NEWFORMS JIM BROWN AND KRZYSZTOF KLOSIN 2, WITH AN APPENDIX BY KEITH CONRAD 3 Abstract. Let f S κ(γ 0(N)) be a Hecke eigenform at with eigenvalue λ f () for a rime
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationBOUNDS 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 informationMATH 371 Class notes/outline October 15, 2013
MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have
More informationA 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 informationAN 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 informationMatching Transversal Edge Domination in Graphs
Available at htt://vamuedu/aam Al Al Math ISSN: 19-9466 Vol 11, Issue (December 016), 919-99 Alications and Alied Mathematics: An International Journal (AAM) Matching Transversal Edge Domination in Grahs
More informationYounggi Choi and Seonhee Yoon
J. Korean Math. Soc. 39 (2002), No. 1,. 149 161 TORSION IN THE HOMOLOGY OF THE DOUBLE LOOP SPACES OF COMPACT SIMPLE LIE GROUPS Younggi Choi and Seonhee Yoon Abstract. We study the torsions in the integral
More informationQuadratic Reciprocity
Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has
More informationON 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 informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationGroup 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 informationVerifying Two Conjectures on Generalized Elite Primes
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 12 (2009), Article 09.4.7 Verifying Two Conjectures on Generalized Elite Primes Xiaoqin Li 1 Mathematics Deartment Anhui Normal University Wuhu 241000,
More informationLARGE 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 information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationMATH 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 informationNew weighing matrices and orthogonal designs constructed using two sequences with zero autocorrelation function - a review
University of Wollongong Research Online Faculty of Informatics - Paers (Archive) Faculty of Engineering and Information Sciences 1999 New weighing matrices and orthogonal designs constructed using two
More informationWhen do Fibonacci invertible classes modulo M form a subgroup?
Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales
More informationRINGS 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 informationWeil 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 informationPermutability Degrees of Finite Groups
Filomat 30:8 (06), 65 75 DOI 0.98/FIL60865O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: htt://www.mf.ni.ac.rs/filomat Permutability Degrees of Finite Grous
More informationSome Applications of Metacyclic p-groups of Nilpotency Class Two
Research Journal of Alied Sciences, Engineering and Technology 4(3): 517-51, 01 ISSN: 040-7467 Maxwell Scientific Organization, Submitted: Aril 5, 01 Acceted: May 13, 01 Published: December 01, 01 Some
More informationQUADRATIC 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 informationIdempotent Elements in Quaternion Rings over Z p
International Journal of Algebra, Vol. 6, 01, no. 5, 9-5 Idemotent Elements in Quaternion Rings over Z Michael Aristidou American University of Kuwait Deartment of Science and Engineering P.O. Box 333,
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More informationAlgebraic 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(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 informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationarxiv: v1 [math.nt] 9 Sep 2015
REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH GABRIEL DURHAM arxiv:5090590v [mathnt] 9 Se 05 Abstract In957NCAnkenyrovidedanewroofofthethreesuarestheorem using geometry of
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationOhno-type relation for finite multiple zeta values
Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye
More informationEstimation of the large covariance matrix with two-step monotone missing data
Estimation of the large covariance matrix with two-ste monotone missing data Masashi Hyodo, Nobumichi Shutoh 2, Takashi Seo, and Tatjana Pavlenko 3 Deartment of Mathematical Information Science, Tokyo
More informationOn generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
More informationp-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 informationCONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION
CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the
More informationHENSEL 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 informationFrobenius 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 informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationON THE NORMS OF p-stabilized ELLIPTIC NEWFORMS
ON THE NORMS OF -STABILIZED ELLIPTIC NEWFORMS JIM BROWN 1 AND KRZYSZTOF KLOSIN 2, WITH AN APPENDIX BY KEITH CONRAD 3 Abstract. Let f S κ(γ 0(N)) be a Hecke eigenform at with eigenvalue λ f () for a rime
More informationElliptic 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 informationarxiv: v4 [math.nt] 11 Oct 2017
POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }
More informationQUADRATIC 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 informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationClass 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 informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More information