The Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
|
|
- Ethan Sherman
- 6 years ago
- Views:
Transcription
1 The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve Nagell n 1948, largely owes ts proof to Algebrac Number Theory (ANT) As the reader mght have taken from the name, ANT expands and often reles on results from ordnary Number Theory; however, as ANT should be read as the theory of Algebrac Numbers, t s natural to thnk of ANT as an extenson of Abstract Algebra, and as such the reader should be famlar wth many results from Abstract Algebra, and especally confdent wth ther basc understandng of Felds More specfcally, whle Number Theory focuses largely on the study of the ntegers, N, ANT focuses on the ratonal numbers, Q, and extensons of Q In ths manner, we shall begn by showng some prelmnary results and defntons Algebrac Number Theory Essentals Theorem 1: The set Q of all algebrac numbers over Q s a subfeld of C Proof We wll use the result from Abstract Algebra that for α E, for a felds F and E F (α), α s algebrac f and only f [E : F ] s fnte Now suppose that α and β are algebrac over Q Then [Q(α, β) : Q] [Q(α, β) : Q(α)][Q(α) : Q] Now, snce β s algebrac over Q, t must certanly be algebrac over Q(α) and the extenson must be fnte, and snce α s algebrac over Q ths extenson must also be fnte Therefore, [Q(α, β) : Q] s fnte and Q(α, β) must be a fnte extenson over Q Furthermore, α + β, α β, αβ, and α/β (for β 0) must belong to Q(α, β) Thus, n ths way, adjonng algebrac elements wll always result n fnte extensons, and Q must be a subfeld of C Whle Q may not be very nterestng n ts entrety (due perhaps to the fact that [Q : Q] s not fnte), we are very nterested n number felds, whch are subfelds K of C such that [K : Q] s fnte Ths mples that every element of K s algebrac, and hence K s a subfeld of Q Just as Abstract Algebra generalzes many concepts the reader learned n hgh school, ANT generalzes many results and concepts from ordnary Number Theory One such nterestng and mportant concept s a generalzaton of the ntegers, known as algebrac ntegers Smlar to the defnton of algebrac numbers, an algebrac nteger s a complex number α such that α s the root of a monc polynomal p(x) Z[x]; n other words, p(α) n k α 0 0 1
2 for k Z, k n 1 It s easy to observe that not every element of Q s an algebrac nteger Take, as an example, φ /7, whch s a root of the polynomal q(x) 7x, whch s not monc, and s(x) x /7 / Z[x] Further studes shall be conducted n fnte extensons of Q, and often we are concerned wth the algebrac ntegers of such extenson felds For ths reason, we shall show some prelmnary results about the algebrac ntegers, denoted A Theorem : The algebrac ntegers form a subrng of the feld of algebrac numbers Proof We must show that for α, β A, α + β A and αβ A Suffce t to say that for φ C, φ s algebrac f and only f the addtve group generated by all powers 1, φ, φ, s fntely generated From ths we can clam that the powers of α + β and αβ le n a fntely generated subgroup of C, and so α + β and αβ are algebrac Hence, A forms a subrng of Q Theorem 3: An algebrac number α s an algebrac nteger f and only f ts mnmum polynomal over Q has coeffcents n Z Proof Let p(x) be the mnmum polynomal of α over Q, and recall that ths s both monc and rreducble n Q[x] If p(x) Z[x], then α f an algebrac nteger Conversely, f α s algebrac, then q(α) 0 for some q(x) Z[x], and p q It follows that p Z[x] because some ratonal multple γp Z[x] and dvdes q, and the moncty of q mples γ 1 Smlar to Q, we are rarely nterested n the entrety of A; however, for fnte extensons of Q, we are often nterested n the algebrac ntegers contaned n the feld For an extenson feld K over Q, we defne the rng of ntegers of K as O K K A Snce both A and K are subrngs of C, then t follows that O K s a subrng of K Furthermore, because Z Q K and Z A, then Z O K Wth the concept of algebrac ntegers, we can redefne modular arthmetc n a natural way We say that for α, β, γ O K, f α β (mod γ), then α γφ + β for some φ O K To demonstrate ths concept, we shall use an example that wll llumnate methods of verfcaton as well as serve us n a future proof Example: For a, b Q( 7), consder a and b 1 7 It s smple to verfy that a and b are both algebrac ntegers (as well as conjugates) because they both satsfy the polynomal p(x) x + 3x + 4 We clam that To verfy ths, consder the quotent a 1 (mod b ) a 1 b 1 7
3 We leave t to the reader to verfy that the quotent s a root of x x +, a monc polynomal wth coeffcents n Z Now that we have defned what modular arthmetc wth algebrac ntegers s, we can state the followng theorem that wll be useful n understandng the Ramanujan-Nagell Theorem Keep n mnd that a squarefree ratonal nteger s an element a Z such that the prme factorzaton of a has no squared factors Theorem 4: Let d be a squarefree ratonal nteger Then the ntegers of Q( d) are: [ ] 1 Z d f d 1 (mod 4), [ 1 Z + 1 ] d f d 1 (mod 4) Proof Every element α Q( d) s of the form α r + s d, for r, s Q Hence, we may wrte α a + b d c where a, b, c Z, c > 0, and no prmes dvde every a, b, and c Now α s an nteger f and only f the coeffcents of the mnmum polynomal ( ( a + b )) ( ( d a b )) d x x c c are ntegers Thus, a b d Z, (1) c a Z () c If c and a have a common prme factor p then (1) mples that p dvdes b (snce d s squarefree) whch contradcts our prevous assumpton Hence, from () we have c 1 or If c 1, then α s an nteger of Q( d) n any case, so we may concentrate on the case c Now a and b must both be odd, and (a b d)/4 Z Hence, a b d 0 (mod 4) Now, and odd number k + 1 has square k + 4k (mod 4), hence a 1 b (mod 4), and ths mples d 1 (mod 4) Conversely, f d 1 (mod 4) then for odd a, b we have α an nteger because (1) and () hold To sum up: f d 1 (mod 4), then c 1 and so (1) holds; whereas f d 1 (mod 4) we can also have c and a and b odd, whence easly () holds The reader may be nterested to know that such felds are called quadratc felds f they are a degree extenson over Q In the case where d s postve, such felds are known as real felds, 3
4 whereas f d s negatve the felds are known as magnary felds Currently, as the reader may have guessed, we are nterested n the latter Consder another example of the magnary quadratc feld Q( 7): Example: 7 1 (mod 4), whch mples that the ntegers of Q( 7) are Z [ ] In order to prove some upcomng theorems, the reader should be famlar wth some results from feld theory The followng theorem should seem both famlar and new Theorem 5: Let K Q(α) be a number feld of degree n over Q Then there are exactly n dstnct monomorphsms σ : K C ( 1,, n) whch fx Q element-wse The elements σ (α) α are the dstnct zeros n C of the mnmum polynomal of α over Q Proof It s an mportant and non-trval result that an rreducble polynomal over a subfeld K of C has no repeated roots n C; however, ths result wll not be proved here Let α 1,, α n be the n dstnct roots of the mnmum polynomal p(x) of α guaranteed by ths result Then each α also has mnmum polynomal p(x), and so there s a unque feld somorphsm σ : Q(α) Q(α ) such that σ (α) α In fact, f β Q(α) then β r(α) for a unque r Q[x] wth deg(r) < n; and we must have σ (β) r(α ) Conversely, f σ : K C s a monomorphsm then σ s the dentty on Q Then we have 0 σ(p(α)) p(σ(α)) so that σ(α) s one of the α, hence σ s one of the σ Example: Consder the feld Q( 7) Because ths s a degree extenson over Q and both roots of the mnmal polynomal of 7 are contaned n Q( 7), there must be exactly two automorphsms that fx Q element-wse The automorphsms are then: σ 1 (a + b 7) a + b 7 σ (a + b 7) a b 7 Ths specfc result, resemblng prevous studes n abstract algebra, ads us n the followng defnton: Defnton: Let K Q(α) be a degree n extenson The norm of β K s N K (β) n σ (β), 1 where the σ are the monomorphsms prevously defned Example: Consder agan K Q( 7), and let α a + b 7 K Then N K (α) (a + b 7)(a b 7) a 7b 4
5 At ths pont, we leave t to the reader to remnd themselves of the defntons of prmes, unts and Noetheran rngs, as these are mportant concepts n the followng secton The reader should be aware that for an ntegral doman D, factorzaton nto rreducbles s possble f D s Noetheran Furthermore, for a number feld K, O K s Noetheran (the proof wll not be gven here, as t requres more theory of free groups than s expected of the reader) From ths, t s a drect corollary to state that factorzaton nto rreducbles s possble n O K The followng theorem dscusses unts n specfc felds: Theorem 6: The group of unts U of the ntegers n Q( d) where d s negatve and squarefree s as follows: 1 For d 1, U {±1, ±} For d 3, U { ±1, ±ω, ±ω } where ω e π/3 3 For all other d < 0, U {±1} The proof of ths theorem s too broad to be added to ths paper For clarfcaton, the reader can refer to Stewart and Tall s Algebrac Number Theory As one mght have gathered, our prmary nterest s n the feld Q( 7) The mplcaton of ths theorem s that we can now confdently state that the group of unts of ths feld s {±1} The followng theorem tes together many prevous deas and s perhaps the most powerful n our proof of the Ramanujan-Nagell theorem, as t addresses factorzaton n number felds Theorem 7: Let O K be the rng of ntegers of a number feld K, and let x, y O K Then 1 x s a unt f and only f N(x) ±1, If x and y are assocates, then N(x) ±N(y), 3 If N(x) s a ratonal prme, then x s rreducble n O K Proof 1) f xu 1, then N(x)N(u) 1 Snce N(x), N(u) Z (see Stewart and Tall s Algebrac Number Theory), we have N(x) ±1, then σ 1 (x)σ (x)σ n (x) ±1 whch s the defnton of the norm of x One factor, wthout loss of generalty σ 1 (x), s equal to x (from the dentty mappng); all other σ (x) are ntegers Put u ±σ (x)σ n (x) Then xu 1, so u x 1 K Hence u K A O, and x s a unt ) If x, y are assocates, then x uy for a unt u, so N(x) N(uy) N(u)N(y) ±N(y) by 1) 3) Let x yz Then N(y)N(z) N(yz) N(x) p, a ratonal prme; so one of N(y) and N(z) s ±p and the other s ±1 By 1), one of y and z s a unt, so x s rreducble The followng theorem wll not be proven here due to both the proof s length and complexty; however, we are nterested n only one of the results from the theorem, whch wll valdate many of the conclusons drawn n the Ramanujan-Nagell Theorem 5
6 Theorem 8: The rng of ntegers O of Q( 7) s Eucldan for d 1,, 3, 7, 11, wth Eucldan valuaton φ(α) N(α) Proof See Stewart and Tall s Algebrac Number Theory At ths pont, the reader should revew examples prevously stated n the text, as every sngle one was created n order to ease some of the understandng of the followng secton As one could gather, the followng secton focuses on applcatons of the learned materal n the feld Q( 7) 3 The Ramanujan-Nagell Theorem Questons n Algebrac Number Theory often seem at frst glance to be questons n ordnary Number Theory The Ramanujan-Nagell Theorem s such a theorem, whose concluson s about the nteger solutons to an equaton However, we shall see that the proof utlzes feld extensons and propertes of unque factorzaton n order to state that the presented solutons are the only solutons to the equaton Theorem (Ramanujan-Nagell): The only solutons to the equaton for x, n Z are x + 7 n ±x n Proof We wll work n Q( 7), whose rng of ntegers has unque factorzaton Clearly, x must be odd, and we see that for (x, n) whch satsfes the equaton, ( x, n) too must satsfy the equaton, and so we wll assume x to be postve Frst, we assume that n s even, n whch case we have the factorzaton 7 n x ( n/ x)( n/ + x) Clearly, both n/ x and n/ + x must be ntegers Because x s assumed postve and n > 0, then n/ + x > n/ x, and we fnd that 7 n/ + x 1 n/ x, from whch we observe 8 1+n/ 6
7 Thus, n 4, and we fnd that x 3 Now let n be odd, and assume n > 3 We can see that ( ) ( ) s a factorzaton nto prmes Obvously, x must be odd, so let x k + 1, mplyng that x + 7 4k + 4k + 8 s dvsble by 4 We can substtute m n and rewrte the orgnal equaton to be solved as x + 7 m, 4 so that ( ) ( ) x + 7 x , where the rght-hand sde s a prme factorzaton Nether 1+ 7 nor 1 7 s a common factor of the left-hand sde, because such a factor would dvde ther dfference, 7, whch s seen to be mpossble by takng ther norms Comparng the two factorzatons, snce the only unts of Q( 7) are ±1 (whch we showed prevously), we must have x ± 7 1 ± 7 ± From ths, we can see that x + 7 x 7 x + 7 x , 1 7, 1 7, By takng dfferences of these equatons, we derve that ± We clam that ( 1+ For concseness, we let a ) ( 7 1 and b ) 7, observng that a b 7 Therefore, a b a m b m 7
8 Then, snce ab, and so whence a (1 b) 0 (mod b ) a m a(a ) (m 1)/ a (mod b ) a a b (mod b ), whch s a contradcton Hence, the sgn must be negatve Observe that we can rewrte the orgnal statement as m 7 (1 + 7) m (1 7) m, m ( m 7) ( 7) 0 Now consder each th teraton of the sum Suppose s odd Then the rght-hand sde becomes ( 7) ( 7) ( 7 + 7) ( 7) +1 Now suppose s even Then the rght-hand sde becomes ( 7) ( 7) Therefore, m ( m 7 ± 5 ) ( 7 7) 7 m 1, m and we observe that m 1 m (mod 7) Now, 6 1 (mod 7), and t easly follows that the only solutons are then m 3, 5, or 13 (mod 4) We prove that only m 3, 5, and 13 can occur, and to prove unqueness t suffces to show that we cannot have two solutons of the orgnal equaton whch are congruent modulo 4 So let m, m 1 be two such solutons, and 7 l be the largest power of 7 dvdng m m 1 Then a m 1 a m a m 1 m a m (1/) m 1 m (1 + 7) m 1 m Now, and 1 m 1 [ (1 ) 6 ] m 1 m 6 1 (mod 7 l+1 ), (1 + 7) m 1 m 1 + (m 1 m) 7 (mod 7 l+1 ) 8
9 (frst rase to powers 7, 7,, 7 l, then (m m 1 )/7 Snce substtutng gves and a m 1 + m 7 m (mod 7), a m 1 a m + m 1 m 7 (mod 7 l+1 ), b m 1 b m m 1 m 7 (mod 7 l+1 ) But a m b m a m 1 b m 1, so (m 1 m) 7 0 (mod 7 l+1 ), but snce m 1 and m are ratonal ntegers, m 1 m (mod 7 l+1 ), contradctng the defnton of l Thus, m 3, 5, or 13, whch mples that n 5, 7, and 15, and solutons for x can easly be found The nterestng aspects of ths proof are the ponts of confluence between abstract algebra and number theory Whle the hypothess stated the unqueness of nteger solutons, the elements that were consdered belonged to an magnary quadratc feld In ths manner, many questons seemngly posed n number theory have proofs n ANT, such as Wle s famous proof of Fermat s Last Theorem n 1994 Ideas extendng prevous concepts are extremely useful to the progress of mathematcs, and should be embraced and studed extensvely as Algebrac Number Theory has been 4 Bblography [1]Stewart IN and DO Tall Algebrac Number Theory Chapman and Hall: London 1987 []Mollm, Rchard A Algebrac Number Theory Chapman and Hall: London 1999 [3]Pollard, Harry The Theory of Algebrac Numbers The Mathematcal Assocaton of Amerca: Baltmore 1950 [4]Ono, Takash An Introducton to Algebrac Number Theory Plenum Press: London Copyrght Ths work s lcensed under the Creatve Commons Attrbuton-NonCommercal 30 Unported Lcense To vew a copy of ths lcense, vst 9
THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solvng n Math (Math 43900) Fall 2013 Week four (September 17) solutons Instructor: Davd Galvn 1. Let a and b be two nteger for whch a b s dvsble by 3. Prove that a 3 b 3 s dvsble by 9. Soluton:
More informationSection 3.6 Complex Zeros
04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More information18.781: Solution to Practice Questions for Final Exam
18.781: Soluton to Practce Questons for Fnal Exam 1. Fnd three solutons n postve ntegers of x 6y = 1 by frst calculatng the contnued fracton expanson of 6. Soluton: We have 1 6=[, ] 6 6+ =[, ] 1 =[,, ]=[,,
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationFinding Primitive Roots Pseudo-Deterministically
Electronc Colloquum on Computatonal Complexty, Report No 207 (205) Fndng Prmtve Roots Pseudo-Determnstcally Ofer Grossman December 22, 205 Abstract Pseudo-determnstc algorthms are randomzed search algorthms
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationinv lve a journal of mathematics 2008 Vol. 1, No. 1 Divisibility of class numbers of imaginary quadratic function fields
nv lve a journal of mathematcs Dvsblty of class numbers of magnary quadratc functon felds Adam Merberg mathematcal scences publshers 2008 Vol. 1, No. 1 INVOLVE 1:1(2008) Dvsblty of class numbers of magnary
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More information8.6 The Complex Number System
8.6 The Complex Number System Earler n the chapter, we mentoned that we cannot have a negatve under a square root, snce the square of any postve or negatve number s always postve. In ths secton we want
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationBernoulli Numbers and Polynomials
Bernoull Numbers and Polynomals T. Muthukumar tmk@tk.ac.n 17 Jun 2014 The sum of frst n natural numbers 1, 2, 3,..., n s n n(n + 1 S 1 (n := m = = n2 2 2 + n 2. Ths formula can be derved by notng that
More informationA summation on Bernoulli numbers
Journal of Number Theory 111 (005 37 391 www.elsever.com/locate/jnt A summaton on Bernoull numbers Kwang-Wu Chen Department of Mathematcs and Computer Scence Educaton, Tape Muncpal Teachers College, No.
More informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationPolynomials. 1 What is a polynomial? John Stalker
Polynomals John Stalker What s a polynomal? If you thnk you already know what a polynomal s then skp ths secton. Just be aware that I consstently wrte thngs lke p = c z j =0 nstead of p(z) = c z. =0 You
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationSMARANDACHE-GALOIS FIELDS
SMARANDACHE-GALOIS FIELDS W. B. Vasantha Kandasamy Deartment of Mathematcs Indan Insttute of Technology, Madras Chenna - 600 036, Inda. E-mal: vasantak@md3.vsnl.net.n Abstract: In ths aer we study the
More informationJ. Number Theory 130(2010), no. 4, SOME CURIOUS CONGRUENCES MODULO PRIMES
J. Number Theory 30(200, no. 4, 930 935. SOME CURIOUS CONGRUENCES MODULO PRIMES L-Lu Zhao and Zh-We Sun Department of Mathematcs, Nanjng Unversty Nanjng 20093, People s Republc of Chna zhaollu@gmal.com,
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationGroup Theory Worksheet
Jonathan Loss Group Theory Worsheet Goals: To ntroduce the student to the bascs of group theory. To provde a hstorcal framewor n whch to learn. To understand the usefulness of Cayley tables. To specfcally
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
More informationInternational Mathematical Olympiad. Preliminary Selection Contest 2012 Hong Kong. Outline of Solutions
Internatonal Mathematcal Olympad Prelmnary Selecton ontest Hong Kong Outlne of Solutons nswers: 7 4 7 4 6 5 9 6 99 7 6 6 9 5544 49 5 7 4 6765 5 6 6 7 6 944 9 Solutons: Snce n s a two-dgt number, we have
More informationEXTENSIONS OF STRONGLY Π-REGULAR RINGS
EXTENSIONS OF STRONGLY Π-REGULAR RINGS H. Chen, K. Kose and Y. Kurtulmaz ABSTRACT An deal I of a rng R s strongly π-regular f for any x I there exst n N and y I such that x n = x n+1 y. We prove that every
More informationand problem sheet 2
-8 and 5-5 problem sheet Solutons to the followng seven exercses and optonal bonus problem are to be submtted through gradescope by :0PM on Wednesday th September 08. There are also some practce problems,
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More information(2mn, m 2 n 2, m 2 + n 2 )
MATH 16T Homewk Solutons 1. Recall that a natural number n N s a perfect square f n = m f some m N. a) Let n = p α even f = 1,,..., k. be the prme factzaton of some n. Prove that n s a perfect square f
More informationShort running title: A generating function approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI
Short runnng ttle: A generatng functon approach A GENERATING FUNCTION APPROACH TO COUNTING THEOREMS FOR SQUARE-FREE POLYNOMIALS AND MAXIMAL TORI JASON FULMAN Abstract. A recent paper of Church, Ellenberg,
More informationPolynomial PSet Solutions
Polynomal PSet Solutons Note: Problems A, A2, B2, B8, C2, D2, E3, and E6 were done n class. (A) Values and Roots. Rearrange to get (x + )P (x) x = 0 for x = 0,,..., n. Snce ths equaton has roots x = 0,,...,
More informationSupplement: Proofs and Technical Details for The Solution Path of the Generalized Lasso
Supplement: Proofs and Techncal Detals for The Soluton Path of the Generalzed Lasso Ryan J. Tbshran Jonathan Taylor In ths document we gve supplementary detals to the paper The Soluton Path of the Generalzed
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationRemarks on the Properties of a Quasi-Fibonacci-like Polynomial Sequence
Remarks on the Propertes of a Quas-Fbonacc-lke Polynomal Sequence Brce Merwne LIU Brooklyn Ilan Wenschelbaum Wesleyan Unversty Abstract Consder the Quas-Fbonacc-lke Polynomal Sequence gven by F 0 = 1,
More informationarxiv: v6 [math.nt] 23 Aug 2016
A NOTE ON ODD PERFECT NUMBERS JOSE ARNALDO B. DRIS AND FLORIAN LUCA arxv:03.437v6 [math.nt] 23 Aug 206 Abstract. In ths note, we show that f N s an odd perfect number and q α s some prme power exactly
More informationA p-adic PERRON-FROBENIUS THEOREM
A p-adic PERRON-FROBENIUS THEOREM ROBERT COSTA AND PATRICK DYNES Advsor: Clayton Petsche Oregon State Unversty Abstract We prove a result for square matrces over the p-adc numbers akn to the Perron-Frobenus
More informationKernel Methods and SVMs Extension
Kernel Methods and SVMs Extenson The purpose of ths document s to revew materal covered n Machne Learnng 1 Supervsed Learnng regardng support vector machnes (SVMs). Ths document also provdes a general
More informationDeterminants Containing Powers of Generalized Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 19 (2016), Artcle 1671 Determnants Contanng Powers of Generalzed Fbonacc Numbers Aram Tangboonduangjt and Thotsaporn Thanatpanonda Mahdol Unversty Internatonal
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationFactoring polynomials over Z4 and over certain Galois rings
Loughborough Unversty Insttutonal Repostory Factorng polynomals over Z4 and over certan Galos rngs Ths tem was submtted to Loughborough Unversty's Insttutonal Repostory by the/an author. Ctaton: SALAGEAN,
More information763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.
7636S ADVANCED QUANTUM MECHANICS Soluton Set 1 Sprng 013 1 Warm-up Show that the egenvalues of a Hermtan operator  are real and that the egenkets correspondng to dfferent egenvalues are orthogonal (b)
More informationCharacterizing the properties of specific binomial coefficients in congruence relations
Eastern Mchgan Unversty DgtalCommons@EMU Master's Theses and Doctoral Dssertatons Master's Theses, and Doctoral Dssertatons, and Graduate Capstone Projects 7-15-2015 Characterzng the propertes of specfc
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationRestricted divisor sums
ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng
More informationGeometry of Müntz Spaces
WDS'12 Proceedngs of Contrbuted Papers, Part I, 31 35, 212. ISBN 978-8-7378-224-5 MATFYZPRESS Geometry of Müntz Spaces P. Petráček Charles Unversty, Faculty of Mathematcs and Physcs, Prague, Czech Republc.
More informationBeyond Zudilin s Conjectured q-analog of Schmidt s problem
Beyond Zudln s Conectured q-analog of Schmdt s problem Thotsaporn Ae Thanatpanonda thotsaporn@gmalcom Mathematcs Subect Classfcaton: 11B65 33B99 Abstract Usng the methodology of (rgorous expermental mathematcs
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationChapter Twelve. Integration. We now turn our attention to the idea of an integral in dimensions higher than one. Consider a real-valued function f : D
Chapter Twelve Integraton 12.1 Introducton We now turn our attenton to the dea of an ntegral n dmensons hgher than one. Consder a real-valued functon f : R, where the doman s a nce closed subset of Eucldean
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More informationKuroda s class number relation
ACTA ARITMETICA XXXV (1979) Kurodas class number relaton by C. D. WALTER (Dubln) Kurodas class number relaton [5] may be derved easly from that of Brauer [2] by elmnatng a certan module of unts, but the
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationConstruction and number of self-dual skew codes over F _p 2
Constructon and number of self-dual skew codes over F _p 2 Delphne Boucher To cte ths verson: Delphne Boucher. Constructon and number of self-dual skew codes over F _p 2. Advances n Mathematcs of Communcatons,
More informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
More informationCharacter Degrees of Extensions of PSL 2 (q) and SL 2 (q)
Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationOn the Reducibility of Cyclotomic Polynomials over Finite Fields
On the Reducblty of Cyclotomc Polynomals over Fnte Felds Brett Harrson under the drecton of Mk Havlíčková Massachusetts Insttute of Technology Research Scence Insttute August 2, 2005 Abstract The rreducblty
More informationCHAPTER 4. Vector Spaces
man 2007/2/16 page 234 CHAPTER 4 Vector Spaces To crtcze mathematcs for ts abstracton s to mss the pont entrel. Abstracton s what makes mathematcs work. Ian Stewart The man am of ths tet s to stud lnear
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationOn the Nilpotent Length of Polycyclic Groups
JOURNAL OF ALGEBRA 203, 125133 1998 ARTICLE NO. JA977321 On the Nlpotent Length of Polycyclc Groups Gerard Endmon* C.M.I., Unerste de Proence, UMR-CNRS 6632, 39, rue F. Jolot-Cure, 13453 Marselle Cedex
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #25 12/05/2013
18.782 Introducton to Arthmetc Geometry Fall 2013 Lecture #25 12/05/2013 25.1 Overvew of Mordell s theorem In the last lecture we proved that the torson subgroup of the ratonal ponts on an ellptc curve
More informationSPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS
SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS ROBERT S. COULTER AND TODD GUTEKUNST Abstract. Ths artcle ntroduces a new approach to studyng dfference sets
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationChowla s Problem on the Non-Vanishing of Certain Infinite Series and Related Questions
Proc. Int. Conf. Number Theory and Dscrete Geometry No. 4, 2007, pp. 7 79. Chowla s Problem on the Non-Vanshng of Certan Infnte Seres and Related Questons N. Saradha School of Mathematcs, Tata Insttute
More informationOn the irreducibility of a truncated binomial expansion
On the rreducblty of a truncated bnomal expanson by Mchael Flaseta, Angel Kumchev and Dmtr V. Pasechnk 1 Introducton For postve ntegers k and n wth k n 1, defne P n,k (x = =0 ( n x. In the case that k
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationIDEAL FACTORIZATION. Theorem 1.2. For elements α and β in a commutative ring, α β as elements if and only if (α) (β) as ideals.
IDEAL FACTORIZATION KEITH CONRAD 1. Introducton We wll prove here the fundamental theorem of deal theory n number felds: every nonzero proper deal n the ntegers of a number feld admts unque factorzaton
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More information