L-FUNCTIONS FOR GAUSS AND JACOBI SUMS
|
|
- Sherilyn Bond
- 6 years ago
- Views:
Transcription
1 L-FUNCTIONS FOR GAUSS AND JACOBI SUMS KEITH CONRAD 1. Itroductio For a multiplicative character χ: F q C ad additive character ψ : F q C o a fiite field F q of order q, their Gauss sum is G(χ, ψ) = χ(c)ψ(c), c F q where we exted χ to 0 by χ(0) = 0. Here are two fudametal properties of Gauss sums. (1) For otrivial χ ad ψ, G(χ, ψ) = q. (This is ot true if oe of the characters is trivial: if χ is trivial ad ψ is ot the G(χ, ψ) = 1, if ψ is trivial ad χ is ot the G(χ, ψ) = 0, ad if χ ad ψ are both trivial the G(χ, ψ) = q 1.) (2) (Hasse Daveport) For 1 let χ = χ N Fq /F q ad ψ = ψ Tr Fq /F q be the liftigs of χ ad ψ to multiplicative ad additive characters o F q. The G(χ, ψ ) = ( G(χ, ψ)). (This suggests G(χ, ψ) is more fudametal.) We will show how both properties of Gauss sums ca be iterpreted as properties of L-fuctios o F q [T ]: the first property says a certai L-fuctio satisfies the Riema hypothesis ad the secod property follows from comparig the additive (Dirichlet series) ad multiplicative (Euler product) represetatios of a L-fuctio. Aalogous results for Jacobi sums, based o the same ideas, are sketched at the ed. 2. Gauss sums ad the Riema Hypothesis Dirichlet characters are group homomorphisms (Z/m) C ad have L-fuctios. For ocostat M i F q [T ], the fiite group (F q [T ]/M) is aalogous to (Z/m) ad we call ay homomorphism η : (F q [T ]/M) C a character mod M. Exted η to 0 by η(0) = 0 ad lift η to F q [T ] by declarig η(a) = η(a mod M). This fuctio η o F q [T ] is totally multiplicative, ad by aalogy to the defiitio of the L-fuctio of a Dirichlet character we defie the L-fuctio of η to be L(s, η) := η(a) N(A) s = η(a) 1 q s 0 moic A deg A= for Re(s) > 1, where the ier sum rus over moic A of degree ad N(A) = F q [T ]/A = q deg A. Note the costat term of L(s, η) is 1 (occurrig for A = 1). By the chage of variables u = 1/q s we ca view L(s, η) as a formal power series i u: L(u, η) := η(a) u, so L(s, η) = L(1/q s, η). moic A η(a)u deg A = 0 deg A= Theorem 2.1. If η is otrivial the for deg M the coefficiet of u vaishes. 1
2 2 KEITH CONRAD Proof. (This proof is take from [2, p. 36].) For each moic A of degree, write A = MQ+R for Q, R F q [T ] with R = 0 or deg R < deg M. Sice A is moic of degree, Q is moic of degree deg M. By uiqueess of the quotiet ad remaider for each A, as A rus over all moics of degree the pair (Q, R) rus over all pairs of a moic Q of degree deg M ad a polyomial R of degree less tha deg M (icludig R = 0). Therefore η(r) deg A= η(a) = Q,R η(mq + R) = Q,R η(r) = q deg M R sice there are q deg M choices of Q. Sice R is ruig over the polyomials of degree less tha M alog with 0, which represets all of F q [T ]/M, ad η vaishes o polyomials havig a factor i commo with M, we have η(r) = η(r) = 0 R R (F q[t ]/M) because the sum of a otrivial character over a fiite abelia group is 0. Now focus o the case deg M = 2. For otrivial η the coefficiet of u is 0 if 2, so (2.1) L(u, η) = 1 + η(t + c) u. c F q We will see that whe M = T 2, the coefficiet of u here is essetially a Gauss sum. Theorem 2.2. The characters of (F q [T ]/T 2 ) are pairs of a multiplicative ad additive character o F q. Proof. We uwid what the elemets of (F q [T ]/T 2 ) look like. To say a + bt mod T 2 is ivertible meas a 0. By rewritig b as ab we ca write the ivertible elemets as a(1 + bt ) mod T 2 for a F q ad b F q. Sice we have a isomorphism a(1 + bt )a (1 + b T ) aa (1 + (b + b )T ) mod T 2, (F q [T ]/T 2 ) = F q F q by a(1 + bt ) mod T 2 (a, b). Therefore the character group of (F q [T ]/T 2 ) is the pairs (χ, ψ) for a multiplicative character χ: F q C ad a additive character ψ : F q C : (2.2) a(1 + bt ) mod T 2 χ(a)ψ(b). (Sayig ψ is trivial is the same as sayig this character mod T 2 ca be defied modulo T, ad thus is ot primitive mod T 2.) Returig to (2.1), the liear polyomials T + c relatively prime to T 2 are those with c 0, i which case T + c = c(1 + (1/c)T ), so if the character η o (F q [T ]/T 2 ) is realized by (2.2) with χ or ψ otrivial, so η is otrivial, the the L-fuctio of η is 1 + χ(c)ψ(1/c) u = 1 + χ(1/c)ψ(c) u = 1 + χ(c)ψ(c) u = 1 + G(χ, ψ)u.
3 L-FUNCTIONS FOR GAUSS AND JACOBI SUMS 3 Replacig χ with χ ad u with 1/q s, the L-fuctio of the character a(1 + bt ) mod T 2 χ(a)ψ(b) o (F q [T ]/T 2 ) for otrivial χ or ψ is 1 + G(χ, ψ) q s. For the complex zeros s of this L-fuctio we have q s = G(χ, ψ). Sice q s = q Re(s), sayig the zeros of this L-fuctio satisfy the Riema hypothesis that is, the zeros have Re(s) = 1/2 is equivalet to sayig G(χ, ψ) = q. 3. Euler products ad the Hasse Daveport relatio So far we have used oly the additive represetatio of a L-fuctio, as a Dirichlet series. Usig the multiplicative represetatio, as a Euler product, we will relate the Gauss sum of characters χ ad ψ o F q with the Gauss sum of lifted characters o F q. Theorem 3.1 (Hasse Daveport). For 1 let χ = χ N Fq /F q ad ψ = ψ Tr Fq /F q be liftigs of χ ad ψ to characters o F q. If χ or ψ is otrivial the G(χ, ψ ) = ( G(χ, ψ)). Proof. For ay character η : (F q [T ]/M) C, its L-fuctio has a Euler product: L(u, η) = η(a)u deg A = 1 1 η(π)u deg π, moic A moic π where π rus over moic irreducibles (with η(π) = 0 if π M). Usig the power series idetity 1/(1 au) = exp( k 1 (au)k /k), we ca write L(u, η) as a expoetial: L(u, η) = exp η(π) k u k deg π k moic π k 1 = exp k uk deg π (deg π)η(π) k deg π moic π k 1 = exp dη(π) /d u. 1 d deg π=d We will write the two iermost sums as a sigle sum over the elemets of F q. Each moic irreducible π i F q [T ] of degree d has d distict roots, ad the roots lie i F q whe d. The term dη(π) /d ca be regarded as a cotributio of η(π) /d from each of the d roots of π. For α F q, let π α be its miimal polyomial over F q ad d α = deg π α. The (3.1) dη(π) /d = η(π α ) /dα. d deg π=d α F q Now set M = T 2 ad η(a(1 + bt ) mod T 2 ) = χ(a)ψ(b). This is otrivial sice χ or ψ is. For f(t ) relatively prime to T 2, set f(t ) a(1+bt ) mod T 2. The a = f(0) 0 ad ab = f (0), so b = f (0)/f(0). Thus η(f(t ) mod T 2 ) = χ(f(0))ψ(f (0)/f(0)). If f(t ) = π(t ) is moic irreducible ad π(0) 0 (that is, π(t ) T ), the we ca write χ(π(0))ψ(π (0)/π(0)) i terms of a orm ad trace of a root of π: lettig d = deg π ad α 1,... α d be the roots of π i F q, for ay root α of π we have π(0) = ( 1) d (α 1... α d ) = N Fq(α)/F q ( α) ad π (T ) π(t ) = d i=1 1 T α i = π (0) π(0) = d 1 = Tr α Fq(α)/Fq ( 1/α). i i=1
4 4 KEITH CONRAD Therefore α F q η(π α ) /dα = Replacig α with 1/α, α F q η(π α ) /dα = α F q χ(n Fq(α)/F q ( α)) /dα ψ(tr Fq(α)/F q ( 1/α)) /dα. α F q χ(n Fq(α)/F q (α)) /dα ψ(tr Fq(α)/F q (α)) /dα = α F q χ(n Fq(α)/F q (α)) /dα ψ(tr Fq(α)/F q (α)) /dα = α F q χ = (N Fq(α)/F q (α) /dα ) ψ α F q χ(n Fq/F q (α))ψ(tr Fq/F q (α)), ( ) Tr d Fq(α)/Fq (α) α where the last step uses the trasitivity of the orm ad trace mappigs. This sum over F q is the Gauss sum of the characters χ := χ N Fq /F q ad ψ := ψ Tr Fq /F q o F q, so the right side of (3.1) for our character η mod T 2 is G(χ, ψ ). Therefore At the same time, from Sectio 2 L(u, η) = exp G(χ, ψ ) u. 1 L(u, η) = 1 + G(χ, ψ)u = exp ( 1) 1 G(χ, ψ) u. 1 Comparig coefficiets of like powers of u i these two expoetial formulas for L(u, η) we get G(χ, ψ ) = ( 1) 1 G(χ, ψ), or equivaletly G(χ, ψ ) = ( G(χ, ψ)). This proof of the Hasse Daveport relatio is similar to the proof i [1, Chap. 11, Sec. 4], but that proof uses a multiplicative fuctio λ o moic polyomials that is t a character o ay (F q [T ]/M). 4. Jacobi sums For two multiplicative characters χ 1 ad χ 2 o F q, their Jacobi sum is J(χ 1, χ 2 ) = χ 1 (c)χ 2 (1 c). c F q We will realize a Jacobi sum as the liear coefficiet of a L-fuctio for a character with modulus T (T 1) rather tha T 2. Sice (F q [T ]/T (T 1)) = F q F q by f(t ) mod T (T 1) (f(0), f(1)), a character η mod T (T 1) is a pair of multiplicative characters (χ 1, χ 2 ) o F q : η(f(t ) mod T (T 1)) = χ 1 (f(0))χ 2 (f(1)). Assume χ 1 or χ 2 is otrivial, so η is otrivial. By the reasoig as i Sectio 2, sice T (T 1) has degree 2 the L-fuctio of η as a series i u is 1 + η(t + c) u = 1 + χ 1 (c)χ 2 (1 + c) u
5 L-FUNCTIONS FOR GAUSS AND JACOBI SUMS 5 ad the coefficiet of u here is χ 1 (c)χ 2 (1 + c) = χ 1 ( c)χ 2 (1 c) = χ 1 ( 1)J(χ 1, χ 2 ), c 0,1 which up to the sig χ 1 ( 1) = ±1 is a Jacobi sum. Makig the chage of variables u = 1/q s we ca say η(a) (4.1) N(A) s = 1 + χ 1( 1)J(χ 1, χ 2 ) q s. moic A It s a classical theorem that J(χ 1, χ 2 ) = q if χ 1 ad χ 2 are both otrivial, ad we ca iterpret this as sayig the zeros of (4.1) satisfy the Riema hypothesis whe χ 1 ad χ 2 are otrivial. To get a Hasse Daveport relatio, write the L-fuctio of η as a expoetial i u: 1 + χ 1 ( 1)J(χ 1, χ 2 )u = exp ( 1) 1 χ 1 ( 1) J(χ 1, χ 2 ) u. 1 By reasoig as i Sectio 3, if we set χ 1, = χ 1 N Fq /F q ad χ 2, = χ 2 N Fq /F q the the reader ca check that writig the L-fuctio of η as a Euler product leads to 1 1 η(π)u deg π = exp χ 1, ( α)χ 2, (1 α) u moic π 1 α F q = exp χ 1, ( 1) χ 1, (α)χ 2, (1 α) u 1 α F q = exp χ 1, ( 1)J(χ 1,, χ 2, ) u, 1 so a compariso of coefficiets i the two expoetial formulas for the L-fuctio of η implies χ 1, ( 1)J(χ 1,, χ 2, ) = ( 1) 1 χ 1 ( 1) J(χ 1, χ 2 ). Sice χ 1, ( 1) = χ 1 (N Fq /F q ( 1)) = χ 1 (( 1) ) = χ 1 ( 1), we ca cacel the commo χ 1 ( 1) o both sides ad get J(χ 1,, χ 2, ) = ( J(χ 1, χ 2 )) for all 1. This is a Hasse Daveport relatio for Jacobi sums. Refereces [1] K. Irelad ad M. Rose, A Classical Itroductio to Moder Number Theory, 2d ed., Spriger- Verlag, New York, [2] M. Rose, Number Theory i Fuctio Fields, Spriger-Verlag, New York, 2002.
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 informationDIRICHLET S THEOREM ON ARITHMETIC PROGRESSIONS
DIRICHLET S THEOREM ON ARITHMETIC PROGRESSIONS 1. Itroductio Questio: Let a, N be itegers with 0 a < N ad gcd(a, N) = 1. Does the arithmetic progressio cotai ifiitely may primes? {a, a + N, a + 2N, a +
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationEnumerative & 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 informationSOLVING LINEAR RECURSIONS OVER ALL FIELDS
SOLVING LINEAR RECURSIONS OVER ALL FIELDS KEITH CONRAD 1. Itroductio A sequece {a } = a 0, a 1, a,... i a field K satisfies a liear recursio if there are c 1,..., c d K such that 1.1 a = c 1 a 1 + c a
More informationMA 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[ 11 ] z of degree 2 as both degree 2 each. The degree of a polynomial in n variables is the maximum of the degrees of its terms.
[ 11 ] 1 1.1 Polyomial Fuctios 1 Algebra Ay fuctio f ( x) ax a1x... a1x a0 is a polyomial fuctio if ai ( i 0,1,,,..., ) is a costat which belogs to the set of real umbers ad the idices,, 1,...,1 are atural
More informationDIVISIBILITY 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 informationAN IMPROVEMENT OF ARTIN S CONJECTURE ON AVERAGE FOR COMPOSITE MODULI. 1. Introduction
AN IMPROVEMENT OF ARTIN S CONJECTURE ON AVERAGE FOR COMPOSITE MODULI SHUGUANG LI. Itroductio Let q be a atural umber. Whe the multiplicative group Z/qZ) is a cyclic group, its geerators are called primitive
More informationProperties and Tests of Zeros of Polynomial Functions
Properties ad Tests of Zeros of Polyomial Fuctios The Remaider ad Factor Theorems: Sythetic divisio ca be used to fid the values of polyomials i a sometimes easier way tha substitutio. This is show by
More informationDIRICHLET S THEOREM ON ARITHMETIC PROGRESSIONS
DIRICHLET S THEOREM ON ARITHMETIC PROGRESSIONS 1. Itroductio Questio: Let a, N be itegers with 0 a < N ad gcd(a, N) = 1. Does the arithmetic progressio cotai ifiitely may primes? {a, a + N, a + 2N, a +
More informationSome 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 informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationCourse : Algebraic Combinatorics
Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,
More information4 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 informationIn 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 informationarxiv:math/ v1 [math.nt] 7 Jul 2005
THE FOURTH MOMENT OF DIRICHLET L-FUNCTIONS arxiv:math/050750v [mathnt] 7 Jul 005 I [], DR Heath-Brow showed that χ mod L, χ 4 = ϕ π K Soudararaja Itroductio p p 3 + p log 4 + O ω log 3 Here deotes summatio
More informationSOLVED 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 informationBeurling 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 informationChapter 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 information1 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 informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationOn the pure Jacobi sums
ACTA ARITHMETICA LXXV.2 (1996) O the pure Jacobi sums by Shigeki Akiyama (Niigata) Let p be a odd prime ad F q be the field of q = p 2 elemets. We cosider the Jacobi sum over F q : J(χ, ψ) = x F q χ(x)ψ(1
More information3. 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 information1.3 Convergence Theorems of Fourier Series. k k k k. N N k 1. With this in mind, we state (without proof) the convergence of Fourier series.
.3 Covergece Theorems of Fourier Series I this sectio, we preset the covergece of Fourier series. A ifiite sum is, by defiitio, a limit of partial sums, that is, a cos( kx) b si( kx) lim a cos( kx) b si(
More information(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p
Math 880 Bigraded Classes & Stirlig Cycle Numbers Fall 206 Bigraded classes. Followig Flajolet-Sedgewic Ch. III, we defie a bigraded class A to be a set of combiatorial objects a A with two measures of
More informationThe Bilateral Laplace Transform of the Positive Even Functions and a Proof of Riemann Hypothesis
The Bilateral Laplace Trasform of the Positive Eve Fuctios ad a Proof of Riema Hypothesis Seog Wo Cha Ph.D. swcha@dgu.edu Abstract We show that some iterestig properties of the bilateral Laplace trasform
More informationRevisiting Gauss s analogue of the prime number theorem for polynomials over a finite field
Revisitig Gauss s aalogue of the prime umber theorem for polyomials over a fiite field Paul Pollack Departmet of Mathematics Dartmouth College Haover, NH 03755 Abstract I 90, vo Koch showed that the Riema
More information3.2.4 Integer and Number Theoretical Functions
418 3. Advaced Mathematics i Mathematica 3.2.4 Iteger ad Number Theoretical Fuctios Mod[k, ] k modulo (positive remaider from dividig k by ) Quotiet[m, ] the quotiet of m ad (iteger part of m/) GCD[ 1,
More informationThe structure of finite rings. The multiplicative residues. Modular exponentiation. and finite exponentiation
The structure of fiite rigs ad fiite expoetiatio The multiplicative residues We have see that the fiite rig Z p is a field, that is, every o-zero elemet of Z p has a multiplicative iverse It is a covetio
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More information62. 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 information24 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS
24 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS Corollary 2.30. Suppose that the semisimple decompositio of the G- module V is V = i S i. The i = χ V,χ i Proof. Sice χ V W = χ V + χ W, we have:
More informationMAT1026 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 information1 Approximating Integrals using Taylor Polynomials
Seughee Ye Ma 8: Week 7 Nov Week 7 Summary This week, we will lear how we ca approximate itegrals usig Taylor series ad umerical methods. Topics Page Approximatig Itegrals usig Taylor Polyomials. Defiitios................................................
More informationACCELERATING CONVERGENCE OF SERIES
ACCELERATIG COVERGECE OF SERIES KEITH CORAD. Itroductio A ifiite series is the limit of its partial sums. However, it may take a large umber of terms to get eve a few correct digits for the series from
More informationChapter 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 informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationOn Involutions which Preserve Natural Filtration
Proceedigs of Istitute of Mathematics of NAS of Ukraie 00, Vol. 43, Part, 490 494 O Ivolutios which Preserve Natural Filtratio Alexader V. STRELETS Istitute of Mathematics of the NAS of Ukraie, 3 Tereshchekivska
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationRecursive Algorithms. Recurrences. Recursive Algorithms Analysis
Recursive Algorithms Recurreces Computer Sciece & Egieerig 35: Discrete Mathematics Christopher M Bourke cbourke@cseuledu A recursive algorithm is oe i which objects are defied i terms of other objects
More informationTEACHER 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 informationSection 11.8: Power Series
Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i
More informationSTATISTICAL PROPERTIES OF LEAST SQUARES ESTIMATORS. Comments:
Recall: STATISTICAL PROPERTIES OF LEAST SQUARES ESTIMATORS Commets:. So far we have estimates of the parameters! 0 ad!, but have o idea how good these estimates are. Assumptio: E(Y x)! 0 +! x (liear coditioal
More information3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials
Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered
More informationThe 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 informationThe Riemann Zeta Function
Physics 6A Witer 6 The Riema Zeta Fuctio I this ote, I will sketch some of the mai properties of the Riema zeta fuctio, ζ(x). For x >, we defie ζ(x) =, x >. () x = For x, this sum diverges. However, we
More informationPAijpam.eu ON DERIVATION OF RATIONAL SOLUTIONS OF BABBAGE S FUNCTIONAL EQUATION
Iteratioal Joural of Pure ad Applied Mathematics Volume 94 No. 204, 9-20 ISSN: 3-8080 (prited versio); ISSN: 34-3395 (o-lie versio) url: http://www.ijpam.eu doi: http://dx.doi.org/0.2732/ijpam.v94i.2 PAijpam.eu
More informationf(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 informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More information-BENT FUNCTIONS. Abstract
Advaces ad Applicatios i Discrete Mathematics Volume 3, Number 1, 009, Pages 1-46 Published Olie: March 30, 009 This paper is available olie at http://www.pphmj.com 009 Pushpa Publishig House GF ( ) -BENT
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationON THE EXISTENCE OF A GROUP ORTHONORMAL BASIS. Peter Zizler (Received 20 June, 2014)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 45 (2015, 45-52 ON THE EXISTENCE OF A GROUP ORTHONORMAL BASIS Peter Zizler (Received 20 Jue, 2014 Abstract. Let G be a fiite group ad let l 2 (G be a fiite dimesioal
More informationAbstract. Keywords: conjecture; divisor function; divisor summatory function; prime numbers; Dirichlet's divisor problem
A ew cojecture o the divisor summatory fuctio offerig a much higher predictio accuracy tha Dirichlet's divisor problem approach * Wiki-like trasdiscipliary article (Ope developmet iterval: 28 -?) - workig
More informationPolynomial Functions and Their Graphs
Polyomial Fuctios ad Their Graphs I this sectio we begi the study of fuctios defied by polyomial expressios. Polyomial ad ratioal fuctios are the most commo fuctios used to model data, ad are used extesively
More informationCHAPTER 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 informationA 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 informationCHAPTER 3. GOE and GUE
CHAPTER 3 GOE ad GUE We quicly recall that a GUE matrix ca be defied i the followig three equivalet ways. We leave it to the reader to mae the three aalogous statemets for GOE. I the previous chapters,
More informationPrimes in arithmetic progressions
(April 2, 20) Primes i arithmetic progressios Paul Garrett garrett@math.um.edu http://www.math.um.edu/ garrett/. Dirichlet s theorem 2. Dual groups of abelia groups 3. Ugly proof of o-vaishig o Re(s) =
More informationAn application of the Hooley Huxley contour
ACTA ARITHMETICA LXV. 993) A applicatio of the Hooley Huxley cotour by R. Balasubramaia Madras), A. Ivić Beograd) ad K. Ramachadra Bombay) To the memory of Professor Helmut Hasse 898 979). Itroductio ad
More informationQ-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A05 Q-BINOMIALS AND THE GREATEST COMMON DIVISOR Keith R. Slavi 8474 SW Chevy Place, Beaverto, Orego 97008, USA slavi@dsl-oly.et Received:
More informationChapter 10: Power Series
Chapter : Power Series 57 Chapter Overview: Power Series The reaso series are part of a Calculus course is that there are fuctios which caot be itegrated. All power series, though, ca be itegrated because
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
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 informationLecture 10: Mathematical Preliminaries
Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this
More informationRelations 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 informationLecture XVI - Lifting of paths and homotopies
Lecture XVI - Liftig of paths ad homotopies I the last lecture we discussed the liftig problem ad proved that the lift if it exists is uiquely determied by its value at oe poit. I this lecture we shall
More informationLECTURE NOTES, 11/10/04
18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios
More information#A51 INTEGERS 14 (2014) MULTI-POLY-BERNOULLI-STAR NUMBERS AND FINITE MULTIPLE ZETA-STAR VALUES
#A5 INTEGERS 4 (24) MULTI-POLY-BERNOULLI-STAR NUMBERS AND FINITE MULTIPLE ZETA-STAR VALUES Kohtaro Imatomi Graduate School of Mathematics, Kyushu Uiversity, Nishi-ku, Fukuoka, Japa k-imatomi@math.kyushu-u.ac.p
More informationi is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i
Lecture 3. Group Actios PCMI Summer 2015 Udergraduate Lectures o Flag Varieties Lecture 3. The category of groups is discussed, ad the importat otio of a group actio is explored. Defiitio 3.1. A group
More information11. 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 informationLecture 23: Minimal sufficiency
Lecture 23: Miimal sufficiecy Maximal reductio without loss of iformatio There are may sufficiet statistics for a give problem. I fact, X (the whole data set) is sufficiet. If T is a sufficiet statistic
More informationNumerical Conformal Mapping via a Fredholm Integral Equation using Fourier Method ABSTRACT INTRODUCTION
alaysia Joural of athematical Scieces 3(1): 83-93 (9) umerical Coformal appig via a Fredholm Itegral Equatio usig Fourier ethod 1 Ali Hassa ohamed urid ad Teh Yua Yig 1, Departmet of athematics, Faculty
More informationFourier 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 informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationThe Structure of Z p when p is Prime
LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z
More informationApply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.
Eigevalue-Eigevector Istructor: Nam Su Wag eigemcd Ay vector i real Euclidea space of dimesio ca be uiquely epressed as a liear combiatio of liearly idepedet vectors (ie, basis) g j, j,,, α g α g α g α
More informationOnce we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1
. Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely
More informationLemma Let f(x) K[x] be a separable polynomial of degree n. Then the Galois group is a subgroup of S n, the permutations of the roots.
15 Cubics, Quartics ad Polygos It is iterestig to chase through the argumets of 14 ad see how this affects solvig polyomial equatios i specific examples We make a global assumptio that the characteristic
More information8. Applications To Linear Differential Equations
8. Applicatios To Liear Differetial Equatios 8.. Itroductio 8.. Review Of Results Cocerig Liear Differetial Equatios Of First Ad Secod Orders 8.3. Eercises 8.4. Liear Differetial Equatios Of Order N 8.5.
More informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationMT5821 Advanced Combinatorics
MT5821 Advaced Combiatorics 9 Set partitios ad permutatios It could be said that the mai objects of iterest i combiatorics are subsets, partitios ad permutatios of a fiite set. We have spet some time coutig
More informationSolutions to Homework 1
Solutios to Homework MATH 36. Describe geometrically the sets of poits z i the complex plae defied by the followig relatios /z = z () Re(az + b) >, where a, b (2) Im(z) = c, with c (3) () = = z z = z 2.
More informationEssential Question How can you recognize an arithmetic sequence from its graph?
. Aalyzig Arithmetic Sequeces ad Series COMMON CORE Learig Stadards HSF-IF.A.3 HSF-BF.A. HSF-LE.A. Essetial Questio How ca you recogize a arithmetic sequece from its graph? I a arithmetic sequece, the
More informationExplicit Maximal and Minimal Curves over Finite Fields of Odd Characteristics
Explicit Maximal ad Miimal Curves over Fiite Fields of Odd Characteristics Ferruh Ozbudak, Zülfükar Saygı To cite this versio: Ferruh Ozbudak, Zülfükar Saygı. Explicit Maximal ad Miimal Curves over Fiite
More informationChapter 6 Principles of Data Reduction
Chapter 6 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 0 Chapter 6 Priciples of Data Reductio Sectio 6. Itroductio Goal: To summarize or reduce the data X, X,, X to get iformatio about a
More informationMath 4400/6400 Homework #7 solutions
MATH 4400 problems. Math 4400/6400 Homewor #7 solutios 1. Let p be a prime umber. Show that the order of 1 + p modulo p 2 is exactly p. Hit: Expad (1 + p) p by the biomial theorem, ad recall from MATH
More informationSection 1 of Unit 03 (Pure Mathematics 3) Algebra
Sectio 1 of Uit 0 (Pure Mathematics ) Algebra Recommeded Prior Kowledge Studets should have studied the algebraic techiques i Pure Mathematics 1. Cotet This Sectio should be studied early i the course
More informationMATH 304: MIDTERM EXAM SOLUTIONS
MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest
More informationA Combinatorial Proof of a Theorem of Katsuura
Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)
More informationC. Complex Numbers. x 6x + 2 = 0. This equation was known to have three real roots, given by simple combinations of the expressions
C. Complex Numbers. Complex arithmetic. Most people thik that complex umbers arose from attempts to solve quadratic equatios, but actually it was i coectio with cubic equatios they first appeared. Everyoe
More informationTHE 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 informationIn algebra one spends much time finding common denominators and thus simplifying rational expressions. For example:
74 The Method of Partial Fractios I algebra oe speds much time fidig commo deomiators ad thus simplifyig ratioal epressios For eample: + + + 6 5 + = + = = + + + + + ( )( ) 5 It may the seem odd to be watig
More informationProposition 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 informationSection 4.3. Boolean functions
Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,
More informationChapter 3 Inner Product Spaces. Hilbert Spaces
Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier
More informationA 2nTH ORDER LINEAR DIFFERENCE EQUATION
A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy
More informationSubject: Differential Equations & Mathematical Modeling-III
Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso
More informationDr. Clemens Kroll. Abstract
Riema s Hypothesis ad Stieltjes Cojecture Riema s Hypothesis ad Stieltjes Cojecture Dr. Clemes Kroll Abstract It is show that Riema s hypothesis is true by showig that a equivalet statemet is true. Eve
More information