THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p
|
|
- Abigayle Rose
- 6 years ago
- Views:
Transcription
1 THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ He used this observtion to give strikingly originl proof of qudrtic reciprocity [2] We shll not discuss Zolotrev s proof per se, but rther 2005 pper of W Duke nd K Hopkins which explores the connection between permuttions nd qudrtic symbols in more mbitious wy En route, we explore qudrtic reciprocity s expressed in terms of the Kronecker symbol 1 The Kronecker Symbol The Jcobi symbol ( n ) is n extension of the Legendre symbol ( p ) which is defined for ny positive odd integer n by ( 1 ) = 1 for ll Z; if n = r i=1 p i, then ( r ( ) n) i=1 For n integer, define ( ) 0 0 (mod 2) = 1 1, 7 (mod 8) 2, 1 3, 5 (mod 8) ( ) 0 = 0 = 1 > 0 1, 1 < 0 ( ) { } 0 1 = 0 1 = 1 With these dditionl rules there is unique extension of the Jcobi symbol to symbol ( n ) defined for ny n, Z such tht for ll integers n,, b, we hve ( n b ) = ( n )( n b b ) One lso hs ( n ) = ( n )( b n ), ie, the symbol is bi-multiplictive This extension of the Jcobi symbol is known s the Kronecker symbol When n is not odd nd positive, some uthors (eg [1]) define ( n ) only when 0, 1 (mod 4) It is not worth our time to discuss these two conventions, but we note tht ll of our results involve only this restricted Kronecker symbol For odd n Z +, define n = ( 1) n 1 2 n Full qudrtic reciprocity ie, the usul QR lw together with its First nd Second Supplements is equivlent to one elegnt identity: for Z nd n odd positive n Z, (1) p i n n) 1
2 2 PETE L CLARK 2 The Duke-Hopkins Reciprocity Lw Let be finite commuttive group (written multiplictively) of order n define n ction of (Z/nZ) on, by ( mod n) g := g By Lgrnge s Theorem, g n = 1, so tht g = g if (mod n) nd is well defined It is immedite tht ech gives homomorphism from to ; moreover, since (Z/nZ), there exists b (Z/nZ) such tht b 1 (mod n), nd then b = b = Id, so tht ech is n utomorphism of As for ny group ction on set, this determines homomorphism from (Z/nZ) to the group Sym( of permuttions of, the ltter group being isomorphic to S n, the symmetric group on n elements Recll tht there is unique homomorphism from S n to the cyclic group Z 2 given by the sign of the permuttion Therefore we hve composite homomorphism which we will denote by (Z/nZ) Sym( Z 2 (mod n) ( Exmple 21 (Zolotrev): Let p be n odd prime nd ( = is the cyclic group of order p The mpping (Z/pZ) Z 2 given by is nothing else thn the usul Legendre symbol ( p ) Indeed, the group (Z/pZ) is cyclic of even order, so dmits unique surjective homomorphism to the group Z 2 = {±1}: if g is primitive root mod p, we send g to 1 nd hence every odd power of g to 1 nd every even power of g to +1 This precisely describes the Legendre ( ) symbol ( p ) Thus it suffices to see tht for some (Z/pZ) we hve = 1, ie, the sign of the permuttion n n is 1 To see this, switch to dditive nottion, viewing s the isomorphic group (Z/pZ, +); the ction in question is now just multipliction by nonzero element If g is primitive root modulo p, multipliction by g fixes 0 nd cycliclly permutes ll p 1 nonzero elements, so is cycle of even order nd hence n odd permuttion: thus ( g ) = 1 ) The next result shows tht the symbol ( ) is lso bi-multiplictive Proposition 1 For i = 1, 2 let i be finite commuttive group of order n i nd (Z/n 1 n 2 Z) Then ( ) ( ) ( ) (mod n1 ) (mod n2 ) = Proof: If (Z/n 1 n 2 Z), then (mod n2) (g 1, g 2 ) = (g1, g2) (mod n1) = (g1, g2 ) After identifying 1 (resp 2 ) with the subset 1 e 2 (resp e 1 2 ) of 1 2, the permuttion tht induces on 1 2 is the product of the permuttion tht (mod n) 1 induces on 1 with the permuttion tht (mod n) 2 induces on 2 Let us now consider the ction of 1 on Sym( Let r 1 be the number of fixed We
3 THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS 3 points of 1 More concretely, 1 g = g 1 = g iff g hs order 1 or 2 Note tht r 1 1 becuse of the identity element The n r 1 other elements of re ll distinct from their multiplictive inverses, so there exists positive integer r 2 such tht n r 1 = 2r 2 Definition: We put = ( 1) r2 r1 = ( 1) r2 n r1 Lemm 2 For ny finite commuttive group, we hve 0 or 1 (mod 4) Proof: Let n = If n is odd, then by Lgrnge the only g with g 1 = g is the identity, so tht r 1 = 1 nd r 2 = n 1 2 In this cse = = ( 1) n 1 2 n 1 (mod 4) If n is even, then n r 1 = 2r 2 0 (mod 2), so r 1 is even nd hence is t lest 2, so = ( 1) r2 n r1 0 (mod 4) ( ) So the Kronecker symbol is lwys defined (even in the restricted sense) Theorem 3 (Duke-Hopkins Reciprocity Lw) For finite commuttive group nd n integer, we hve The proof will be given in the next section Corollry 4 ) Suppose hs odd order n Then for ny (Z/nZ), we hve n b) Tking = Z n we recover (1) c) We hve ( ) = 1 for ll (Z/nZ) iff n is squre Proof of Corollry 4: In the proof of Lemm 2 we sw tht = n ; prt ) then follows immeditely from the reciprocity lw By prt ), the symbol ( ) cn be computed using ny group of order n, so fctor n into product p 1 p r of not necessrily distinct primes nd pply Exmple 21: we get ( ) = r i=1 ( p i ) = ( n ) This gives prt b) Finlly, using the Chinese Reminder Theorem it is esy to see tht there is some such tht ( n ) = 1 iff n is not squre 3 The Proof Enumerte the elements of s g 1,, g n nd the chrcters of s χ 1,, χ n Let M be the n n mtrix whose (i, j) entry is χ i (g j ) Since ny chrcter χ X( hs vlues on the unit circle in C, we hve χ 1 = χ Therefore the number r 1 of fixed points of 1 on is the sme s the number of chrcters χ such tht χ = χ, ie, rel-vlued chrcters Thus the effect of complex conjugtion on the chrcter mtrix M is to fix ech row corresponding to rel-vlued chrcter nd to otherwise swp the ith row with the jth row where χ j = χ i In ll r 2 pirs of rows get swpped, so Moreover, with M = (M) t, we hve det(m) = det(m) ( 1) r2 MM = ni n,
4 4 PETE L CLARK so tht so det(m) det(m) = n n, (2) det(m) 2 = ( 1) r2 n n = ( 1) r2 n r1 n 2r2 = l 2, where l = n r2 (In prticulr det(m) 2 is positive integer Note tht det(m) itself lies in Q( ), nd is not rtionl if n is odd) So for ny Z, we hve ( ) ( ) det(m) 2 (3) The chrcter mtrix M hs vlues in the cyclotomic field Q(ζ n ), which is lois extension of Q, with lois group isomorphic to (wht concidence!) (Z/nZ), n explicit isomorphism being given by mking (Z/nZ) correspond to the unique utomorphism σ of Q(ζ n ) stisfying σ (ζ n ) = ζ n (All of this is elementry lois theory except for the more number-theoretic fct tht the cyclotomic polynomil Φ n is irreducible over Q) In prticulr the group (Z/nZ) lso cts by permuttions on the chrcter group X(, nd indeed in exctly the sme wy it cts on : g, ( χ)(g) = χ(g ) = (χ(g)) = χ (g), so χ = χ This hs the following beutiful consequence: For (Z/nZ), pplying the lois utomorphism σ to the chrcter mtrix M induces permuttion of the rows which is the sme s the permuttion of In prticulr the signs re the sme, so ( (4) det(σ M) = det(m) Combining (2) nd (4), we get tht for ll (Z/nZ), σ ( ( ) ) = Now, by the multiplictivity on both sides it is enough to prove Theorem 3 when = p is prime not dividing n nd when = 1 Proposition 5 Let p be prime not dividing n TFAE: ) σ p ( ) = b) p splits in Q( ) c) ( p ) = 1 The proof of this stndrd result in lgebric number theory is omitted for now We deduce tht ( ) ( p p Finlly, when = 1, σ 1 is simply complex conjugtion, so ( ) 1 = σ { } ( ) 1( ) = > 0 =, < 0 1 so ( ) ( ) 1 1 This completes the proof of Theorem 3
5 THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS 5 4 In fct the rel Duke-Hopkins reciprocity lw is n ssertion bout group of order n which is not necessrily commuttive In this cse, the mp g g need not be n utomorphism of, so more sophisticted pproch is needed Rther, one considers the ction of (Z/nZ) on the conjugcy clsses {C 1,, C m } of : if g = xhx 1 then g = xh x 1, so this mkes sense We further define r 1 to be the number of rel conjugcy clsses C = C 1 nd ssume tht in our lbelling C 1,, C r1 re ll rel nd define r 2 by the eqution m = r 1 + 2r 2 Then in plce of our (nottion which is not used in [1]), one hs the discriminnt d( = ( 1) r2 n r1 r 1 j=1 C j 1 The Duke-Hopkins reciprocity lw sserts tht for (Z/nZ), d( The proof is very similr, except the group X( of one-dimensionl chrcters gets replced by the set {χ 1,, χ m } of chrcters (ie, trce functions) of the irreducible complex representtions of Perhps surprisingly, the only prt of the proof which looks truly deeper is the clim tht d( 0, 1 (mod 4) which is required, ccording to the conventions of [1], for the Kronecker symbol ( d( ) cn be defined Duke nd Hopkins suggest this s n nlogue of Stickelberger s theorem in lgebric number theory which sserts tht the discriminnt of ny number field is n integer which is 0 or 1 modulo 4; moreover they dpt 1928 proof of tht theorem due to Issi Schur References [1] W Duke nd K Hopkins, Qudrtic reciprocity in finite group Amer Mth Monthly 112 (2005), no 3, [2] Zolotrev, Nouvelle démonstrtion de l loi de réciprocité de Legendre Nouvelles Ann Mth (2) 11 (1872)
REPRESENTATION THEORY OF PSL 2 (q)
REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory
More informationKronecker-Jacobi symbol and Quadratic Reciprocity. Q b /Q p
Kronecker-Jcoi symol nd Qudrtic Recirocity Let Q e the field of rtionl numers, nd let Q, 0. For ositive rime integer, the Artin symol Q /Q hs the vlue 1 if Q is the slitting field of in Q, 0 if is rmified
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationNatural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring
More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),
More informationLECTURE 2: ARTIN SYMBOL, ARTIN MAP, ARTIN RECIPROCITY LAW AND FINITENESS OF GENERALIZED IDEAL CLASS GROUP
Clss Field Theory Study Seminr Jnury 25 2017 LECTURE 2: ARTIN SYMBOL, ARTIN MAP, ARTIN RECIPROCITY LAW AND FINITENESS OF GENERALIZED IDEAL CLASS GROUP YIFAN WU Plese send typos nd comments to wuyifn@umich.edu
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationMATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35
MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.
More informationAQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system
Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More information42nd International Mathematical Olympiad
nd Interntionl Mthemticl Olympid Wshington, DC, United Sttes of Americ July 8 9, 001 Problems Ech problem is worth seven points. Problem 1 Let ABC be n cute-ngled tringle with circumcentre O. Let P on
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationarxiv: v1 [math.ra] 1 Nov 2014
CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,
More information13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS
33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationLecture 2: Fields, Formally
Mth 08 Lecture 2: Fields, Formlly Professor: Pdric Brtlett Week UCSB 203 In our first lecture, we studied R, the rel numbers. In prticulr, we exmined how the rel numbers intercted with the opertions of
More informationMATH 573 FINAL EXAM. May 30, 2007
MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.
More informationPRIMES AND QUADRATIC RECIPROCITY
PRIMES AND QUADRATIC RECIPROCITY ANGELICA WONG Abstrct We discuss number theory with the ultimte gol of understnding udrtic recirocity We begin by discussing Fermt s Little Theorem, the Chinese Reminder
More informationQuadratic reciprocity
Qudrtic recirocity Frncisc Bozgn Los Angeles Mth Circle Octoer 8, 01 1 Qudrtic Recirocity nd Legendre Symol In the eginning of this lecture, we recll some sic knowledge out modulr rithmetic: Definition
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationDuke Math Meet
Duke Mth Meet 01-14 Power Round Qudrtic Residues nd Prime Numers For integers nd, we write to indicte tht evenly divides, nd to indicte tht does not divide For exmle, 4 nd 4 Let e rime numer An integer
More informationON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI
Mth. J. Okym Univ. 44(2002), 51 56 ON THE NILPOTENCY INDEX OF THE RADICAL OF A GROUP ALGEBRA. XI Koru MOTOSE Let t(g) be the nilpotency index of the rdicl J(KG) of group lgebr KG of finite p-solvble group
More informationQUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN
QUADRATIC RESIDUES MATH 37 FALL 005 INSTRUCTOR: PROFESSOR AITKEN When is n integer sure modulo? When does udrtic eution hve roots modulo? These re the uestions tht will concern us in this hndout 1 The
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More informationSupplement 4 Permutations, Legendre symbol and quadratic reciprocity
Sulement 4 Permuttions, Legendre symbol nd qudrtic recirocity 1. Permuttions. If S is nite set contining n elements then ermuttion of S is one to one ming of S onto S. Usully S is the set f1; ; :::; ng
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationNOTES ON HILBERT SPACE
NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationSelf-similarity and symmetries of Pascal s triangles and simplices mod p
Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,
More informationLECTURE 10: JACOBI SYMBOL
LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily
More informationSemigroup of generalized inverses of matrices
Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More informationDecomposition of terms in Lucas sequences
Journl of Logic & Anlysis 1:4 009 1 3 ISSN 1759-9008 1 Decomposition of terms in Lucs sequences ABDELMADJID BOUDAOUD Let P, Q be non-zero integers such tht D = P 4Q is different from zero. The sequences
More information7. Indefinite Integrals
7. Indefinite Integrls These lecture notes present my interprettion of Ruth Lwrence s lecture notes (in Herew) 7. Prolem sttement By the fundmentl theorem of clculus, to clculte n integrl we need to find
More informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationIs there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them!
PUSHING PYTHAGORAS 009 Jmes Tnton A triple of integers ( bc,, ) is clled Pythgoren triple if exmple, some clssic triples re ( 3,4,5 ), ( 5,1,13 ), ( ) fond of ( 0,1,9 ) nd ( 119,10,169 ). + b = c. For
More informationIntroduction to Group Theory
Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More information378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.
378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),
More informationAbsolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real
Rtionl Numbers vs Rel Numbers 1. Wht is? Answer. is rel number such tht ( ) =. R [ ( ) = ].. Prove tht (i) 1; (ii). Proof. (i) For ny rel numbers x, y, we hve x = y. This is necessry condition, but not
More informationLinearly Similar Polynomials
Linerly Similr Polynomils rthur Holshouser 3600 Bullrd St. Chrlotte, NC, US Hrold Reiter Deprtment of Mthemticl Sciences University of North Crolin Chrlotte, Chrlotte, NC 28223, US hbreiter@uncc.edu stndrd
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)
10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationRudimentary Matrix Algebra
Rudimentry Mtrix Alger Mrk Sullivn Decemer 4, 217 i Contents 1 Preliminries 1 1.1 Why does this document exist?.................... 1 1.2 Why does nyone cre out mtrices?................ 1 1.3 Wht is mtrix?...........................
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationThe Leaning Tower of Pingala
The Lening Tower of Pingl Richrd K. Guy Deprtment of Mthemtics & Sttistics, The University of Clgry. July, 06 As Leibniz hs told us, from 0 nd we cn get everything: Multiply the previous line by nd dd
More informationImproper Integrals. Type I Improper Integrals How do we evaluate an integral such as
Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph
More informationHere we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.
Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationLesson 1: Quadratic Equations
Lesson 1: Qudrtic Equtions Qudrtic Eqution: The qudrtic eqution in form is. In this section, we will review 4 methods of qudrtic equtions, nd when it is most to use ech method. 1. 3.. 4. Method 1: Fctoring
More informationNumerical Linear Algebra Assignment 008
Numericl Liner Algebr Assignment 008 Nguyen Qun B Hong Students t Fculty of Mth nd Computer Science, Ho Chi Minh University of Science, Vietnm emil. nguyenqunbhong@gmil.com blog. http://hongnguyenqunb.wordpress.com
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationQuadratic Residues. Chapter Quadratic residues
Chter 8 Qudrtic Residues 8. Qudrtic residues Let n>be given ositive integer, nd gcd, n. We sy tht Z n is qudrtic residue mod n if the congruence x mod n is solvble. Otherwise, is clled qudrtic nonresidue
More informationLinear Algebra 1A - solutions of ex.4
Liner Algebr A - solutions of ex.4 For ech of the following, nd the inverse mtrix (mtritz hofkhit if it exists - ( 6 6 A, B (, C 3, D, 4 4 ( E i, F (inverse over C for F. i Also, pick n invertible mtrix
More informationUniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationTorsion in Groups of Integral Triangles
Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationBernoulli Numbers Jeff Morton
Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationThe usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1
Mth50 Introduction to Differentil Equtions Brief Review of Complex Numbers Complex Numbers No rel number stisfies the eqution x =, since the squre of ny rel number hs to be non-negtive. By introducing
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationMultidimensional. MOD Planes. W. B. Vasantha Kandasamy Ilanthenral K Florentin Smarandache
Multidimensionl MOD Plnes W. B. Vsnth Kndsmy Ilnthenrl K Florentin Smrndche 2015 This book cn be ordered from: EuropNov ASBL Clos du Prnsse, 3E 1000, Bruxelles Belgium E-mil: info@europnov.be URL: http://www.europnov.be/
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationA recursive construction of efficiently decodable list-disjunct matrices
CSE 709: Compressed Sensing nd Group Testing. Prt I Lecturers: Hung Q. Ngo nd Atri Rudr SUNY t Bufflo, Fll 2011 Lst updte: October 13, 2011 A recursive construction of efficiently decodble list-disjunct
More information440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationIf deg(num) deg(denom), then we should use long-division of polynomials to rewrite: p(x) = s(x) + r(x) q(x), q(x)
Mth 50 The method of prtil frction decomposition (PFD is used to integrte some rtionl functions of the form p(x, where p/q is in lowest terms nd deg(num < deg(denom. q(x If deg(num deg(denom, then we should
More informationSOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014
SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 014 Mrk Scheme: Ech prt of Question 1 is worth four mrks which re wrded solely for the correct nswer.
More informationf = ae b e , i.e., ru + P = (r + P )(u + P ) = (s + P )(t + P ) = st + P. Then since ru st P and su P we conclude that r s t u = ru st
Mth 662 Spring 204 Homewor 2 Drew Armstrong Problem 0. (Drwing Pictures) The eqution y 2 = x 3 x defines curve in the complex plne C 2. Wht does it loo lie? Unfortuntely we cn only see rel things, so we
More informationLesson 25: Adding and Subtracting Rational Expressions
Lesson 2: Adding nd Subtrcting Rtionl Expressions Student Outcomes Students perform ddition nd subtrction of rtionl expressions. Lesson Notes This lesson reviews ddition nd subtrction of frctions using
More informationSeptember 13 Homework Solutions
College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are
More informationHow to simulate Turing machines by invertible one-dimensional cellular automata
How to simulte Turing mchines by invertible one-dimensionl cellulr utomt Jen-Christophe Dubcq Déprtement de Mthémtiques et d Informtique, École Normle Supérieure de Lyon, 46, llée d Itlie, 69364 Lyon Cedex
More informationthan 1. It means in particular that the function is decreasing and approaching the x-
6 Preclculus Review Grph the functions ) (/) ) log y = b y = Solution () The function y = is n eponentil function with bse smller thn It mens in prticulr tht the function is decresing nd pproching the
More informationProblem Set 9. Figure 1: Diagram. This picture is a rough sketch of the 4 parabolas that give us the area that we need to find. The equations are:
(x + y ) = y + (x + y ) = x + Problem Set 9 Discussion: Nov., Nov. 8, Nov. (on probbility nd binomil coefficients) The nme fter the problem is the designted writer of the solution of tht problem. (No one
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=
More informationOn Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach
On Computing the Distinguishing Numbers of Plnr Grphs nd Beyond: Counting Approch V. Arvind The Institute of Mthemticl Sciences Chenni 600 113, Indi rvind@imsc.res.in Christine T. Cheng Deprtment of Electricl
More informationI do slope intercept form With my shades on Martin-Gay, Developmental Mathematics
AAT-A Dte: 1//1 SWBAT simplify rdicls. Do Now: ACT Prep HW Requests: Pg 49 #17-45 odds Continue Vocb sheet In Clss: Complete Skills Prctice WS HW: Complete Worksheets For Wednesdy stmped pges Bring stmped
More informationGeometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.
Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number
More information(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer
Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.
More informationMath Advanced Calculus II
Mth 452 - Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused
More informationMath 220A Homework 2 Solutions
Mth 22A Homework 2 Solutions Jim Agler. Let G be n open set in C. ()Show tht the product rule for nd holds for products of C z z functions on G. (b) Show tht if f is nlytic on G, then 2 z z f(z) 2 f (z)
More informationLecture 2e Orthogonal Complement (pages )
Lecture 2e Orthogonl Complement (pges -) We hve now seen tht n orthonorml sis is nice wy to descrie suspce, ut knowing tht we wnt n orthonorml sis doesn t mke one fll into our lp. In theory, the process
More information#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z
#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z Kurt Girstmir Institut für Mthemtik, Universität Innsruck, Innsruck, Austri kurt.girstmir@uik.c.t Received: 10/4/16, Accepted: 7/3/17, Pulished:
More information