Weil Conjecture I. Yichao Tian. Morningside Center of Mathematics, AMSS, CAS

Size: px
Start display at page:

Download "Weil Conjecture I. Yichao Tian. Morningside Center of Mathematics, AMSS, CAS"

Transcription

1 Weil Cojecture I Yichao Tia Morigside Ceter of Mathematics, AMSS, CAS [This is the sketch of otes of the lecture Weil Cojecture I give by Yichao Tia at MSC, Tsighua Uiversity, o August 4th, 20. Yuaqig Cai(ycai7@jhu.edu) is resosible for takig ad tyig these otes.] Solvig Diohatie equatio is oe of the mai roblem i umber theory for a log time. It is very difficult but woderful. For examle, it took over 300 years to see that X + Y = Z has o otrivial itegers solutio whe 3. We would like to cosider a easier roblem: solvig the Diohatie equatio modulo, where is a rime umber. We exect that this roblem is easy eough to hadle, but still is ot too trivial. Two examles Let C be the affie curve C : x 2 + y 2 =, ad cosider oits o F 2. We deote the set of solutios o F 2 by C(F ). First ote that we have a trivial solutio (, 0). Draw a lie through (, 0), with sloe t F. This lie will itersect with C(F ) with aother oit ( t2 2t, ) (if it +t 2 +t 2 exists). So we ca defie a ma t : F {t F t mod } C(F ) {(, 0)} This ma is early a bijectio. Note that + t 2 0(mod ) has two solutios if (mod 4); ad it has o solutios if 3(mod 4). Hece, we have ( ) {, whe (mod 4) (.) C(F ) = = +, whe 3(mod 4) The result is ot as beautiful as we exect. Now we cosider the rojective curve C : X 2 + Y 2 = Z 2, X, Y, Z is the homogeeous coordiates. Whe Z 0, we ca get the origial affie curve ( ) X 2 ( ) Y 2 + =, Z Z

2 which we call this the affie art of C. Whe Z = 0, we get X 2 + Y 2 = 0. Because X, Y, Z ca t be all zero, we get ( ) X 2 Y = i F. Whe (mod 4), this equatio has two solutios. Whe 3(mod 4), this equatio has o solutios. Hece we have C(F ) = + regardless of. We get a more beautiful result. This may exlai why we cosider rojective curves istead of affie curves. We have aother way to get the umber of solutios to x 2 + y 2 = i F. We have C(F ) = x F (( x 2 = + (( )) x 2 x F Combiig with (.), we get a iterestig equality ( ) ( ) x 2 =, x F ) ) + which is ot so trivial to be roved directly. We cosider aother examle y 2 + x 3 =, ad its corresodig rojective curve Y 2 Z + X 3 = Z 3. Whe Z = 0, we have X = 0, hece there is oly oe solutio at ifiity. Let s we deote by N(y 2 = a) the umber of solutios of y 2 = a i F for a F, ad similarly for N(x 3 = b) for b F. We have C(F ) = + C(F ) = + N(y a+b= a,b F 2 = a)n(x 3 = b) We have N(y 2 = a) = + ( a ) as i the revious examle. Note that F is a cyclic grou of order. If 3 ( ), we have N(x 3 = b) = for ay b F. If 3 ( ), the we have two cases: if b is a cubic of some elemets i F, we have N(X 3 = b) = 3; otherwise, N(X 3 = b) = 0. I summary, oe obtais {, whe 2(mod 3) N(X 3 = b) = + χ(b) + χ 2 (b), whe (mod 3) 2

3 where χ is a multilicative character of F of order 3. Therefore, C(F ) = + ( ( )) a + ( + χ(b) + χ 2 (b)) where J(λ, χ) = a+b= a,b F = + a+b= a,b F = + + ( + a+b= a,b F + χ(b) + χ 2 (b) + χ(b) + = + + J(λ, χ) + J(λ, χ 2 ) = + + J(λ, χ) + J(λ, χ) a+b= a,b F a+b= a,b F χ 2 (b) χ(b) + ( ) ) a χ 2 (b) ( a ) χ(b) is a Jacobi sum. From the theory of Jacobi sum ad Gauss sums, we have J(λ, χ) =. Therefore, we obtai which is called the Hasse-Weil boud. C(F ) ( + ) = J + J = 2 Re(J) 2, 2 Zeta fuctio of a rojective variety over a fiite field Recall that a fiite field is a field with fiite elemets. The field F = Z/Z is a examle of such fields. Theorem 2. (Galois). For every iteger N, there exists a uique field extesio over F of degree. We deote this field by F. Moreover, every fiite field is of this form, ad F /F is a Galois extesio with Galois grou Gal(F /F ) Z/Z. Let q = f, the Galois grou Gal( F q /F q ) Ẑ is commutative. It has a caoical toological geerator σ q defied by σ q (x) = x q. We call σ q the arithmetic Frobeius of F q. I geometric alicatios, it s more coveiet to use the geometric Frobeius F r q = σq. We cosider a rojective variety X 0 over F q, which ca be roughly viewed as the commo zeros of a set of homogeeous olyomials with coefficiets i F q : f (T 0,, T N ) = 0, f 2 (T 0,, T N ) = 0, (2.) f r (T 0,, T N ) = 0. 3

4 I this talk, all the varieties are uderstood to be reduced ad coected. We defie the dimesio of X 0 as dim(x 0 ) = N rk(jac), where Jac = ( f i T j ) i r,0 j N is the Jacobi matrix ad the T 0,, T N are cosidered as ideedet variables. We say the variety X 0 is smooth, if for every geometric oit x 0 X 0 ( F q ), we have rk(jac(x 0 )) = rk(jac). Note that Gal( F q /F q ) has a atural actio o X 0 ( F q ). A orbit of X 0 ( F q ) uder this actio is called a closed oit of X 0. We deote by X the set of closed oits of X 0. For all x 0 X, we defie deg(x 0 ) to be the cardiality of the orbit x 0. For ay iteger, we defie N to be the umber of solutios i F q of the defiig solutios (2.) of X 0. Defiitio 2.2. Let X 0 be a rojective variety over F q. The zeta fuctio of X 0 is defied as the formal ower series ( N t ) Z(X 0, t) = ex. N= Lemma 2.3. The Zeta fuctio ca be writte as a Euler roduct Proof. Note first that By defiitio, we have log Z(X 0, t) = = Z(X 0, t) = N (X 0 ) = = N t = m= = m= deg(x) = t deg(x). deg(x) tm m deg(x). deg(x) t m deg(x) m = Here, i the last ste we used the well kow equality log x = = x. deg(x)t log t deg(x). 4

5 Theorem 2.4 (Weil cojecture). Let X 0 be a rojective smooth variety of dimesio d. The () the zeta fuctio Z(X 0, t) is ratioal, i.e., we have Z(X 0, t) Q(t); (2) the zeta fuctio satisfies the fuctioal equatio Z(X 0, t) = ±q dχ(x 0 ) 2 t χ(x0) Z(X 0, q d t ), where χ(x 0 ) is the Euler-Poicaré characristic of X 0 ; (3) we ca write more recisely Z(X 0, t) = P P 3 P 2d P 0 P 2 P 2d, where P i = + a t + + a bi t b i = b i ( α j t) is a olyomial with coefficiets i Z, ad α j C = q i 2. j= The last art is called the Riema Hyothesis for fiite fields, ad the umber b i = deg(p i ) is called the i-th Betti umber of X 0. Usig these umbers, the Euler-Poicaré characteristic i (2) is exressed as χ(x 0 ) = 2d ( )i b i. Here are some history of the Weil cojecture. Weil first calculated the zeta fuctios of some curves usig Gauss sums ad Jacobi sums, the raised the cojecture i 949. Later o, he roved this cojecture i the case of curves usig Jacobias. Dwork roved statemet () i 960 usig -adic cohomology. I 965, Grothedieck roved (), (2) ad the art of (3) before where by usig the owerful machie of l-adic cohomology that he develoed. I 974, Delige roved the remaiig art of statemet (3). I 987, Laumo gave a differet roof by usig l-adic Fourier trasform. Fially, Kedlaya develoed i 2006 the theory of -adic Fourier trasform, ad gave a urely -adic roof of Weil cojecture. Examle 2.5. () Let X 0 be the curve over F q defied by the homogeeous equatio X 2 + Y 2 = Z 2. By a similar argumet as i sectio, we see easily that X 0 (F q ) = + q. Therefore, oe obtais Z(X 0, t) = ex( = q + t ) = ( t)( qt). (2) Let X 0 be the ellitic curve X 3 + Y 2 Z = Z 3 over F. I geeral, the zeta fuctio of a ellitic curve over F has the form Z(X 0, t) = a t + t 2 ( t)( t), 5

6 where a = + N (X 0 ). Recall that i sectio, oe saw that N (X 0 ) = X 0 (F ) = + + J + J with J = ( a a F ) χ( a) is a Jacobi sum. Hece, we get a = 2Re(J), ad ( + Jt)( + Jt) Z(X 0, t) = ( t)( t). 3 Sketch of Proof of Theorem 2.4 For a algebraic variety X over a algebraically closed field k, Grothedieck defied two cohomology theory with coefficiets i Q l : H (X et, Q l ) ad Hc (X et, Q l ). Here, l is a rime umber differet from the characteristic of k; H (X et, k) is a aalogue of classical sigular cohomology, ad Hc (X et, Q l ) is aalogous to the comactly suorted cohomology grous. More geerally, we ca cosider a costructible Q l -sheaf E ad defie similarly the cohomology grous H (X et, E) ad H (X et, E). These grous are fiite dimesioal Q l -vector saces, ad H, Hc = 0 whe > 2 dim(x) or < 0. Let X 0 be a variety over F q, E be a costructible sheaf o X 0, ad ut X = X 0 Fq F q. Alyig Grothedieck s costructio to X, we get H (X et, E) ad Hc (X et, E). These grous are moreover equied with atural actios of Gal( F q /F q ). A imortat igrediet i the roof of Weil cojecture is the followig Theorem 3. (Grothedieck-Lefschetz Trace Formula). Uder the assumtios above, we have 2d Tr(F r q, E x ) = ( ) i Tr(F r q, Hc(X i et, E)). x X 0 (F q ) Now we idicate how Theorem 3. imlies 2.4() ad first art of 2.4(3). If E = Q l, the the left had side of the Grothedieck-Lefschetz trace formula is N (X 0 ), ad the right had side is 2d ( ) i Tr(F r q, Hc(X i et, Q l )). Therefore, oe gets log Z(X 0, t) = = = 2d 2d ( ) i ( ) i Tr(F r q, H i c(x et, Q l ))t = Tr(F r q, H i c(x et, Q l ))t Now we have a elemetary lemma i liear algebra, whose roof is left to the reader. Lemma 3.2. Let V be a fiite dimesioal vector sace over a field, ad A : V V be a edomorhism of V. The we have a idetity of formal ower series i t: = Tr(A ) t = log det( At). 6

7 Alyig this lemma, oe obtais Hece, log Z(X 0, t) = 2 dim(x 0 ) ( ) i log det( F r q t, H i c(x et, Q l ). (3.) Z(X 0, t) = det( F r q t, Hc(X i et, Q l )) ( )i+ i det( F r q t, Hc(X i et, Q l )) i odd = det( F r q t, Hc(X i et, Q l )) Q l(t) i eve We ut P i = det( F r q t, H i c(x et, Q l )). Sice the zeta fuctio is ideedet from the choice of l, we actually have Z(X 0, t) Q(t). This roves () ad the first art of (3) excet for P i Z[t]. We ote that this is true for all varieties over F q without assumig that X 0 is smooth ad rojective. To rove statemet 2.4(2), we have to use Poicaré duality. Assume X 0 is smooth. Grothedieck showed that the atural cu roduct H i (X et, Q l ) H 2d i c (X et, Q l ) H 2d (X et, Q l ) Q l ( d). is o-degeerate, where Q l ( d), called the d-th Tate twist of Q l, is a oe-dimesioal Q l -vector sace where F r q acts as multilicatio by q d. This is called the Poicaré duality for X. Moreover, if X 0 is rojective, we have H i = H i c. Therefore, if X 0 is both smooth ad rojective, we have a erfect airig H i (X et, Q l ) H 2d i (X et, Q l ) Q l ( d). It follows that H 2d i (X et, Q l ) H i (X et, Q l ) ( d), where H i (X et, Q l ) meas the dual of H i (X et, Q l ) (equied with the iduced actio of Gal( F q /F q ).) So if α is a eigevalue of F r q o H i, the q d /α is a eigevalue of F r q o H 2d i. The fuctioal equatio i 2.4(2) follows immediately from this fact ad (3.). To ed this take, I d like to say a few words o Delige s roof of the Riema Hyothesis art of 2.4. There are several key ideas i the roof. The first oe is the geeralizatio, due to Delige ad Katz, to l-adic cohomology of classical Lefschetz ecils. The secod idea is the estimatio of eigevalues usig a method i aalytic umber theory iveted by Raki. Fially, a exlicit comutatio of the moodromy grou of certai reresetatios of the algebraic fudametal grou of curves layed also a very crucial role. c 7

1 Elliptic Curves Over Finite Fields

1 Elliptic Curves Over Finite Fields 1 Elliptic Curves Over Fiite Fields 1.1 Itroductio Defiitio 1.1. Elliptic curves ca be defied over ay field K; the formal defiitio of a elliptic curve is a osigular (o cusps, self-itersectios, or isolated

More information

1 Counting points with Zeta functions

1 Counting points with Zeta functions The goal of this lecture is to preset a motivatio ad overview of the étale ad pro-étale topologies ad cohomologies. 1 Coutig poits with Zeta fuctios We begi with the followig questio: Questio 1. Let X

More information

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x]

[ 47 ] then T ( m ) is true for all n a. 2. The greatest integer function : [ ] is defined by selling [ x] [ 47 ] Number System 1. Itroductio Pricile : Let { T ( ) : N} be a set of statemets, oe for each atural umber. If (i), T ( a ) is true for some a N ad (ii) T ( k ) is true imlies T ( k 1) is true for all

More information

Lecture 1: Weil conjectures and motivation

Lecture 1: Weil conjectures and motivation Lecture 1: Weil cojectures ad motivatio September 15, 014 1 The Zeta fuctio of a curve We begi by motivatig ad itroducig the Weil cojectures, which was bothy historically fudametal for the developmet of

More information

ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS

ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS ON SUPERSINGULAR ELLIPTIC CURVES AND HYPERGEOMETRIC FUNCTIONS KEENAN MONKS Abstract The Legedre Family of ellitic curves has the remarkable roerty that both its eriods ad its suersigular locus have descritios

More information

Sketch of Dirichlet s Theorem on Arithmetic Progressions

Sketch of Dirichlet s Theorem on Arithmetic Progressions Itroductio ad Defiitios Sketch of o Arithmetic Progressios Tom Cuchta 24 February 2012 / Aalysis Semiar, Missouri S&T Outlie Itroductio ad Defiitios 1 Itroductio ad Defiitios 2 3 Itroductio ad Defiitios

More information

Notes on the prime number theorem

Notes on the prime number theorem Notes o the rime umber theorem Keji Kozai May 2, 24 Statemet We begi with a defiitio. Defiitio.. We say that f(x) ad g(x) are asymtotic as x, writte f g, if lim x f(x) g(x) =. The rime umber theorem tells

More information

MATH10212 Linear Algebra B Proof Problems

MATH10212 Linear Algebra B Proof Problems MATH22 Liear Algebra Proof Problems 5 Jue 26 Each problem requests a proof of a simple statemet Problems placed lower i the list may use the results of previous oes Matrices ermiats If a b R the matrix

More information

Almost all hyperharmonic numbers are not integers

Almost all hyperharmonic numbers are not integers Joural of Number Theory 7 (207) 495 526 Cotets lists available at ScieceDirect Joural of Number Theory www.elsevier.com/locate/jt Almost all hyerharmoic umbers are ot itegers Haydar Göral a, Doğa Ca Sertbaş

More information

Chapter 2. Finite Fields (Chapter 3 in the text)

Chapter 2. Finite Fields (Chapter 3 in the text) Chater 2. Fiite Fields (Chater 3 i the tet 1. Grou Structures 2. Costructios of Fiite Fields GF(2 ad GF( 3. Basic Theory of Fiite Fields 4. The Miimal Polyomials 5. Trace Fuctios 6. Subfields 1. Grou Structures

More information

MA 162B LECTURE NOTES: THURSDAY, JANUARY 15

MA 162B LECTURE NOTES: THURSDAY, JANUARY 15 MA 6B LECTURE NOTES: THURSDAY, JANUARY 5 Examples of Galois Represetatios: Complex Represetatios Regular Represetatio Cosider a complex represetatio ρ : Gal ( Q/Q ) GL d (C) with fiite image If we deote

More information

Elliptic Curves Spring 2017 Problem Set #1

Elliptic Curves Spring 2017 Problem Set #1 18.783 Ellitic Curves Srig 017 Problem Set #1 These roblems are related to the material covered i Lectures 1-3. Some of them require the use of Sage; you will eed to create a accout at the SageMathCloud.

More information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad

More information

A Note on Bilharz s Example Regarding Nonexistence of Natural Density

A Note on Bilharz s Example Regarding Nonexistence of Natural Density Iteratioal Mathematical Forum, Vol. 7, 0, o. 38, 877-884 A Note o Bilharz s Examle Regardig Noexistece of Natural Desity Cherg-tiao Perg Deartmet of Mathematics Norfolk State Uiversity 700 Park Aveue,

More information

PERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z

PERIODS OF FIBONACCI SEQUENCES MODULO m. 1. Preliminaries Definition 1. A generalized Fibonacci sequence is an infinite complex sequence (g n ) n Z PERIODS OF FIBONACCI SEQUENCES MODULO m ARUDRA BURRA Abstract. We show that the Fiboacci sequece modulo m eriodic for all m, ad study the eriod i terms of the modulus.. Prelimiaries Defiitio. A geeralized

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers)

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers) Putam Traiig Exercise Coutig, Probability, Pigeohole Pricile (Aswers) November 24th, 2015 1. Fid the umber of iteger o-egative solutios to the followig Diohatie equatio: x 1 + x 2 + x 3 + x 4 + x 5 = 17.

More information

Chapter 1. Complex Numbers. Dr. Pulak Sahoo

Chapter 1. Complex Numbers. Dr. Pulak Sahoo Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistat Professor Departmet of Mathematics Uiversity Of Kalyai West Begal, Idia E-mail : sahoopulak1@gmail.com 1 Module-2: Stereographic Projectio 1 Euler

More information

Solutions to Problem Set 7

Solutions to Problem Set 7 8.78 Solutios to Problem Set 7. If the umber is i S, we re doe sice it s relatively rime to everythig. So suose S. Break u the remaiig elemets ito airs {, }, {4, 5},..., {, + }. By the Pigeohole Pricile,

More information

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009)

Journal of Ramanujan Mathematical Society, Vol. 24, No. 2 (2009) Joural of Ramaua Mathematical Society, Vol. 4, No. (009) 199-09. IWASAWA λ-invariants AND Γ-TRANSFORMS Aupam Saikia 1 ad Rupam Barma Abstract. I this paper we study a relatio betwee the λ-ivariats of a

More information

Unit 5. Hypersurfaces

Unit 5. Hypersurfaces Uit 5. Hyersurfaces ================================================================= -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

More information

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous

(for homogeneous primes P ) defining global complex algebraic geometry. Definition: (a) A subset V CP n is algebraic if there is a homogeneous Math 6130 Notes. Fall 2002. 4. Projective Varieties ad their Sheaves of Regular Fuctios. These are the geometric objects associated to the graded domais: C[x 0,x 1,..., x ]/P (for homogeeous primes P )

More information

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can.

Final Solutions. 1. (25pts) Define the following terms. Be as precise as you can. Mathematics H104 A. Ogus Fall, 004 Fial Solutios 1. (5ts) Defie the followig terms. Be as recise as you ca. (a) (3ts) A ucoutable set. A ucoutable set is a set which ca ot be ut ito bijectio with a fiite

More information

PUTNAM TRAINING PROBABILITY

PUTNAM TRAINING PROBABILITY PUTNAM TRAINING PROBABILITY (Last udated: December, 207) Remark. This is a list of exercises o robability. Miguel A. Lerma Exercises. Prove that the umber of subsets of {, 2,..., } with odd cardiality

More information

Lecture 4: Grassmannians, Finite and Affine Morphisms

Lecture 4: Grassmannians, Finite and Affine Morphisms 18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ANDREW SALCH 1. The Jacobia criterio for osigularity. You have probably oticed by ow that some poits o varieties are smooth i a sese somethig

More information

Some remarks for codes and lattices over imaginary quadratic

Some remarks for codes and lattices over imaginary quadratic Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract

More information

Classification of DT signals

Classification of DT signals Comlex exoetial A discrete time sigal may be comlex valued I digital commuicatios comlex sigals arise aturally A comlex sigal may be rereseted i two forms: jarg { z( ) } { } z ( ) = Re { z ( )} + jim {

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE

YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE YALE UNIVERSITY DEPARTMENT OF COMPUTER SCIENCE CPSC 467a: Crytograhy ad Comuter Security Notes 16 (rev. 1 Professor M. J. Fischer November 3, 2008 68 Legedre Symbol Lecture Notes 16 ( Let be a odd rime,

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

Chimica Inorganica 3

Chimica Inorganica 3 himica Iorgaica Irreducible Represetatios ad haracter Tables Rather tha usig geometrical operatios, it is ofte much more coveiet to employ a ew set of group elemets which are matrices ad to make the rule

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION

PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION PRIME RECIPROCALS AND PRIMES IN ARITHMETIC PROGRESSION DANIEL LITT Abstract. This aer is a exository accout of some (very elemetary) argumets o sums of rime recirocals; though the statemets i Proositios

More information

SOME APPLICATIONS FROM STUDENT S CONTESTS ABOUT THE GROUP OF AUTOMORPHISMS OF Z

SOME APPLICATIONS FROM STUDENT S CONTESTS ABOUT THE GROUP OF AUTOMORPHISMS OF Z Joural o Sciece ad Arts Year 5 No () 57-6 05 ORIGINAL PAPER SOME APPLICATIONS FROM STUDENT S CONTESTS ABOUT THE GROUP OF AUTOMORPHISMS OF GEORGIANA VELICU ELENA CATALINA GRINDEI Mauscrit received: 6005;

More information

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say

Proposition 2.1. There are an infinite number of primes of the form p = 4n 1. Proof. Suppose there are only a finite number of such primes, say Chater 2 Euclid s Theorem Theorem 2.. There are a ifiity of rimes. This is sometimes called Euclid s Secod Theorem, what we have called Euclid s Lemma beig kow as Euclid s First Theorem. Proof. Suose to

More information

Relations Among Algebras

Relations Among Algebras Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.

More information

CHAPTER I: Vector Spaces

CHAPTER I: Vector Spaces CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig

More information

Chapter 4. Fourier Series

Chapter 4. Fourier Series Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,

More information

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities Polyomials with Ratioal Roots that Differ by a No-zero Costat Philip Gibbs The problem of fidig two polyomials P(x) ad Q(x) of a give degree i a sigle variable x that have all ratioal roots ad differ by

More information

Solutions to Problem Sheet 1

Solutions to Problem Sheet 1 Solutios to Problem Sheet ) Use Theorem. to rove that loglog for all real 3. This is a versio of Theorem. with the iteger N relaced by the real. Hit Give 3 let N = [], the largest iteger. The, imortatly,

More information

The multiplicative structure of finite field and a construction of LRC

The multiplicative structure of finite field and a construction of LRC IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Fourier Analysis, Stein and Shakarchi Chapter 8 Dirichlet s Theorem

Fourier Analysis, Stein and Shakarchi Chapter 8 Dirichlet s Theorem Fourier Aalysis, Stei ad Shakarchi Chapter 8 Dirichlet s Theorem 208.05.05 Abstract Durig the course Aalysis II i NTU 208 Sprig, this solutio file is latexed by the teachig assistat Yug-Hsiag Huag with

More information

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3

(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3 MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

Science & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I

Science & Technologies COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING THE POWERS - I COMMUTATIONAL PROPERTIES OF OPERATORS OF MIXED TYPE PRESERVING TE POWERS - I Miryaa S. ristova Uiversity of Natioal ad World Ecoomy, Deartmet of Mathematics Studetsi Grad "risto Botev", 17 Sofia, BULGARIA

More information

Iterative Techniques for Solving Ax b -(3.8). Assume that the system has a unique solution. Let x be the solution. Then x A 1 b.

Iterative Techniques for Solving Ax b -(3.8). Assume that the system has a unique solution. Let x be the solution. Then x A 1 b. Iterative Techiques for Solvig Ax b -(8) Cosider solvig liear systems of them form: Ax b where A a ij, x x i, b b i Assume that the system has a uique solutio Let x be the solutio The x A b Jacobi ad Gauss-Seidel

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

Inverse Matrix. A meaning that matrix B is an inverse of matrix A.

Inverse Matrix. A meaning that matrix B is an inverse of matrix A. Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix

More information

Research Article A Note on the Generalized q-bernoulli Measures with Weight α

Research Article A Note on the Generalized q-bernoulli Measures with Weight α Abstract ad Alied Aalysis Volume 2011, Article ID 867217, 9 ages doi:10.1155/2011/867217 Research Article A Note o the Geeralized -Beroulli Measures with Weight T. Kim, 1 S. H. Lee, 1 D. V. Dolgy, 2 ad

More information

Math 2112 Solutions Assignment 5

Math 2112 Solutions Assignment 5 Math 2112 Solutios Assigmet 5 5.1.1 Idicate which of the followig relatioships are true ad which are false: a. Z Q b. R Q c. Q Z d. Z Z Z e. Q R Q f. Q Z Q g. Z R Z h. Z Q Z a. True. Every positive iteger

More information

(6), (7) and (8) we have easily, if the C's are cancellable elements of S,

(6), (7) and (8) we have easily, if the C's are cancellable elements of S, VIOL. 23, 1937 MA THEMA TICS: H. S. VANDIVER 555 where the a's belog to S'. The R is said to be a repetitive set i S, with respect to S', ad with multiplier M. If S cotais a idetity E, the if we set a,

More information

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,

3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense, 3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

New Definition of Density on Knapsack Cryptosystems

New Definition of Density on Knapsack Cryptosystems Africacryt008@Casablaca 008.06.1 New Defiitio of Desity o Kasac Crytosystems Noboru Kuihiro The Uiversity of Toyo, Jaa 1/31 Kasac Scheme rough idea Public Key: asac: a={a 1, a,, a } Ecrytio: message m=m

More information

SYMMETRIC POSITIVE SEMI-DEFINITE SOLUTIONS OF AX = B AND XC = D

SYMMETRIC POSITIVE SEMI-DEFINITE SOLUTIONS OF AX = B AND XC = D Joural of Pure ad Alied Mathematics: Advaces ad Alicatios olume, Number, 009, Pages 99-07 SYMMERIC POSIIE SEMI-DEFINIE SOLUIONS OF AX B AND XC D School of Mathematics ad Physics Jiagsu Uiversity of Sciece

More information

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function Summary: Cogrueces j whe divided by, ad determiig the additive order of a iteger mod. As described i the Prelab sectio, cogrueces ca be thought of i terms of coutig with rows, ad for some questios this

More information

ECE534, Spring 2018: Final Exam

ECE534, Spring 2018: Final Exam ECE534, Srig 2018: Fial Exam Problem 1 Let X N (0, 1) ad Y N (0, 1) be ideedet radom variables. variables V = X + Y ad W = X 2Y. Defie the radom (a) Are V, W joitly Gaussia? Justify your aswer. (b) Comute

More information

13.1 Shannon lower bound

13.1 Shannon lower bound ECE598: Iformatio-theoretic methods i high-dimesioal statistics Srig 016 Lecture 13: Shao lower boud, Fao s method Lecturer: Yihog Wu Scribe: Daewo Seo, Mar 8, 016 [Ed Mar 11] I the last class, we leared

More information

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra Proof of Fermat s Last Theorem by Algebra Idetities ad Liear Algebra Javad Babaee Ragai Youg Researchers ad Elite Club, Qaemshahr Brach, Islamic Azad Uiversity, Qaemshahr, Ira Departmet of Civil Egieerig,

More information

Physics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.

Physics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001. Physics 324, Fall 2002 Dirac Notatio These otes were produced by David Kapla for Phys. 324 i Autum 2001. 1 Vectors 1.1 Ier product Recall from liear algebra: we ca represet a vector V as a colum vector;

More information

f(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.

f(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction. Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)

More information

SOLVED EXAMPLES

SOLVED EXAMPLES Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as

More information

arxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN

arxiv: v1 [math.nt] 5 Jan 2017 IBRAHIM M. ALABDULMOHSIN FRACTIONAL PARTS AND THEIR RELATIONS TO THE VALUES OF THE RIEMANN ZETA FUNCTION arxiv:70.04883v [math.nt 5 Ja 07 IBRAHIM M. ALABDULMOHSIN Kig Abdullah Uiversity of Sciece ad Techology (KAUST, Computer,

More information

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7).

PROBLEM SET 5 SOLUTIONS. Solution. We prove that the given congruence equation has no solutions. Suppose for contradiction that. (x 2) 2 1 (mod 7). PROBLEM SET 5 SOLUTIONS 1 Fid every iteger solutio to x 17x 5 0 mod 45 Solutio We rove that the give cogruece equatio has o solutios Suose for cotradictio that the equatio x 17x 5 0 mod 45 has a solutio

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

CONGRUENCES CONCERNING LEGENDRE POLYNOMIALS III

CONGRUENCES CONCERNING LEGENDRE POLYNOMIALS III rerit: October 1, 01 CONGRUENCES CONCERNING LEGENDRE POLYNOMIALS III Zhi-Hog Su arxiv:101.v [math.nt] 5 Oct 01 School of Mathematical Scieces, Huaiyi Normal Uiversity, Huaia, Jiagsu 001, PR Chia Email:

More information

MA131 - Analysis 1. Workbook 2 Sequences I

MA131 - Analysis 1. Workbook 2 Sequences I MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................

More information

On Generalized Fibonacci Numbers

On Generalized Fibonacci Numbers Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet

More information

Determinants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1)

Determinants of order 2 and 3 were defined in Chapter 2 by the formulae (5.1) 5. Determiats 5.. Itroductio 5.2. Motivatio for the Choice of Axioms for a Determiat Fuctios 5.3. A Set of Axioms for a Determiat Fuctio 5.4. The Determiat of a Diagoal Matrix 5.5. The Determiat of a Upper

More information

Analytic Continuation

Analytic Continuation Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

Exercises 1 Sets and functions

Exercises 1 Sets and functions Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,

More information

Beurling Integers: Part 2

Beurling Integers: Part 2 Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers

More information

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity

More information

The value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng

The value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng The value of Baach limits o a certai sequece of all ratioal umbers i the iterval 0, Bao Qi Feg Departmet of Mathematical Scieces, Ket State Uiversity, Tuscarawas, 330 Uiversity Dr. NE, New Philadelphia,

More information

On Random Line Segments in the Unit Square

On Random Line Segments in the Unit Square O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

4. Partial Sums and the Central Limit Theorem

4. Partial Sums and the Central Limit Theorem 1 of 10 7/16/2009 6:05 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 4. Partial Sums ad the Cetral Limit Theorem The cetral limit theorem ad the law of large umbers are the two fudametal theorems

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

ECE534, Spring 2018: Solutions for Problem Set #2

ECE534, Spring 2018: Solutions for Problem Set #2 ECE534, Srig 08: s for roblem Set #. Rademacher Radom Variables ad Symmetrizatio a) Let X be a Rademacher radom variable, i.e., X = ±) = /. Show that E e λx e λ /. E e λx = e λ + e λ = + k= k=0 λ k k k!

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 Calculus II Basic Convergence Tests for Series MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real

More information

A Note on the Symmetric Powers of the Standard Representation of S n

A Note on the Symmetric Powers of the Standard Representation of S n A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,

More information

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION ANOTHER GENERALIZED FIBONACCI SEQUENCE MARCELLUS E. WADDILL A N D LOUIS SACKS Wake Forest College, Wisto Salem, N. C., ad Uiversity of ittsburgh, ittsburgh, a. 1. INTRODUCTION Recet issues of umerous periodicals

More information

5 Birkhoff s Ergodic Theorem

5 Birkhoff s Ergodic Theorem 5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the

More information

(I.C) THE DISTRIBUTION OF PRIMES

(I.C) THE DISTRIBUTION OF PRIMES I.C) THE DISTRIBUTION OF PRIMES I the last sectio we showed via a Euclid-ispired, algebraic argumet that there are ifiitely may primes of the form p = 4 i.e. 4 + 3). I fact, this is true for primes of

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Notes The Incremental Motion Model:

Notes The Incremental Motion Model: The Icremetal Motio Model: The Jacobia Matrix I the forward kiematics model, we saw that it was possible to relate joit agles θ, to the cofiguratio of the robot ed effector T I this sectio, we will see

More information

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled 1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how

More information

Solutions to home assignments (sketches)

Solutions to home assignments (sketches) Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

SOME TRIBONACCI IDENTITIES

SOME TRIBONACCI IDENTITIES Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece

More information

Some p-adic congruences for p q -Catalan numbers

Some p-adic congruences for p q -Catalan numbers Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet

More information

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a. Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times

More information

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define

5. Matrix exponentials and Von Neumann s theorem The matrix exponential. For an n n matrix X we define 5. Matrix expoetials ad Vo Neuma s theorem 5.1. The matrix expoetial. For a matrix X we defie e X = exp X = I + X + X2 2! +... = 0 X!. We assume that the etries are complex so that exp is well defied o

More information

Equations and Inequalities Involving v p (n!)

Equations and Inequalities Involving v p (n!) Equatios ad Iequalities Ivolvig v (!) Mehdi Hassai Deartmet of Mathematics Istitute for Advaced Studies i Basic Scieces Zaja, Ira mhassai@iasbs.ac.ir Abstract I this aer we study v (!), the greatest ower

More information