NUMBER THEORY AS GADFLY - BARRY MAZUR
|
|
- Jeremy Clark
- 7 years ago
- Views:
Transcription
1 NUMBER THEORY AS GADFLY - BARRY MAZUR ROBERT C. RHOADES Abstract. This paper appeared in the American Mathematical Monthly in August- September 1991 pages This paper gives a very general overview of how what the Shimura-Taniyama conjecture is and how the truth of it can be used to prove Fermat s last theorem. For me this is very useful because I have always used Fermat s Last Theorem as the motivating result when describing the modularity of elliptic curves to nonmathematicians. (Which I do more often then anyone might think.) For my own use I will try to summarize the statement of the Shimura-Taniyama(-Weil) conjecture and also how it implies Fermat s Last Theorem. I point out that Mazur says little more about how it applies Fermat s Last theorem then I do, however his description of the S-T-W conjecture is the bulk of the middle ten pages of his article. As a side note, Mazur s article was written before Wiles announced his proof. 1. Comments on Fermat s Last Theorem Number theory swarms with bugs, waiting to bite the tempted flower-lovers who, once bitten, are inspired to excesses of effort! -Mazur One of those bugs is Fermat s last theorem. It certainly bit Andrew Wiles who spent most of his life trying to find a proof of FLT. I think what is interesting about Fermat s Last theorem is that it has little application to other problems in mathematics. This is very much unlike other problems that motivated number theory for a long time. For example, the Riemann Hypothesis has motivated large branches of number theory for a long time, but there is something essentially different about the two problems. I point out two interesting differences. For both problems it is not the truth of problem that is all that important. It is not the truth of the Riemann Hypothesis that is all that important but instead the implications of the truth of the Generalized Riemann Hypothesis that are truly important. That is to say that the Riemann hypothesis was just a first step toward the realization of a much more general theorem, the more general theorem has tremendous important to other problems. Sarnak made a comment about this in his first lecture at the Fields Institute in On the other hand, for Fermat there is no more general question that naturally fits this theorem, of which the more general problem has significance to other branches of math and science. I point out that you can Date: December 10,
2 2 ROBERT C. RHOADES consider Fermat s Last Theorem of a specific example of the more general Diophantine equation AX n + BY n = CZ n, which Mazur does briefly consider. As a second falling out, for the Riemann hypothesis there are many results that assume its truth, but you never see theorems starting with Assuming Fermat s Last Theorem. Mazur writes, Despite the fact that its truth hasn t a single direct application (even within number theory!) it has, nevertheless, an interesting oblique contribution to make to number theory: its truth would follow from some of the most vital and central conjectures in the field. So we see that, unlike the case of the Riemann Hypothesis FLT is not important because of the result, but instead because of the techniques that went into proving it... the methods that were created as a result of its study are the true value of the theorem. I do not intend to say that the methods developed to study the Riemann hypothesis are not important, but I simply point out that somehow there is a fundamental difference between these two problems. The main conjecture that implies the truth of FLT is the Shimura-Taniyama-Weil Conjecture which is sometimes referred to as just the Shimura-Taniyama conjecture. As we shall see, the conjecture of Shimura-Taniyama-Weil would imply a strange and important connection between elliptic curves that arise in Arithmetic and the Hyperbolic Plane. One of the things that Mazur, unfortunately does not really explain in this article is how the hyperbolic plane is related to modular forms, and hence how the Shimura- Taniyama conjecture is someone the same as the modularity of elliptic curves, which is a phrase that gets tossed around a lot. Before moving on we quote Mazur as to the confusion about what to call the conjecture: The fact that this conjecture has also been referred to as the Wiel Conjecture, the Taniyama-Weil conjecture, and the Taniyama conjecture points to the difficulty in assigning it a clear attribution. It was originally formulated as a problem of Taniyama in a conference in 1955 and was published in Japanese. A more precise formulation corresponding to the modern form of the conjecture-involving important information concerning the conductor - was implicitly suggested by subsequent work of Weil which had the effect of bringing the problem to the attention of a large audience. The most precise version of this conjecture to date, which brings the crucial issue of fields of definition, incorporates work of Shimura, Eichler, and others. 2. Another Result to Look-up This paper was the first that I read about a nice result of Faltings. According to Mazur, the theorem of Faltings (conjectured originally by Mordell) which asserts that any algebraic equation in two variables, and of genus greater than or equal to 2, has only a finite number of rational solutions. If an elliptic curve has finitely many points, then its group of rational points, which is finitely generated and abelian, has rank 0. It is conjectured, but not proved that
3 NUMBER THEORY AS GADFLY - BARRY MAZUR 3 half of all elliptic curves have rank 0 and half have rank 1. Of course, each elliptic curves is associated to a torus and hence has genus 1. So this theorem does not apply to them. 3. Euclidean Uniformization The basic idea of a Euclidean uniformization is that it gives us a map from the complex numbers with the Euclidean metric to the set of elliptic curves. The idea here is that we begin with a lattice of C, we call the lattice Λ. Then C/Λ is a torus. The map from the complex plane to C/Λ is called the covering map. In this case we can think of the torus as inheriting a conformal geometry from the Euclidean geometry of C. With this geometry we think of the torus as a Riemann surface. We then ask for the functions on this Riemann surface, which by construction are doubly periodic functions on C. It turns out that these doubly periodic functions, which I think of as being of the form (z) := 1 z 2 + ω 0 ( 1 (z ω) 2 1 ω 2 with the ω Λ, are precisely the meromorphic functions on C/Λ. It is a beautiful result that these functions satisfy a differential equation of the form ( ) 2 = A + B, where A and B are complex numbers. The point now is that Y 2 = 4X 3 + AX + B is an algebraic curve in the (X, Y ) plane, this is an elliptic curve. [[Any degree three curve can be changed into this form, which is called the Weierstrass form.]] So we see that the problem of finding the solutions in complex numbers to this solution is the same as finding the function and using (X, Y ) = ( (z), (z), where z ranges over C \ Λ. Completing the picture we obtain a map from C points on the elliptic curve. Remark. It is important that this construction, because is a function on the torus, allows us to identify the complex points of the elliptic curve with the torus! The map is the covering mapping. Definition 3.1. So we say that an elliptic curve has a Euclidean uniformization when we have such a mapping from the complex numbers to the elliptic curve as described above. More formally we have the following definition. Definition 3.2. A hyperbolic uniformization of E is defined to be a covering mapping periodic with respect to some subgroup of finite index in Γ from C to the complex points of the elliptic curve. ),
4 4 ROBERT C. RHOADES 4. Hyperbolic Uniformization In the previous section we constructed a theory which allowed us to associate in a precise way a quotient of C with the Euclidean geometry with the complex points of an elliptic curve. We might hope to do the same but with a different geometry on the complex numbers. In particular we begin with the model of hyperbolic geometry which consists of the upper-half plane where the straight lines are the circles perpendicular to the real line and the straight lines with constant real part. Notice that in hyperbolic geometry parallel lines may intersect. In Euclidean geometry we formed a lattice by having two translations which were independent. Here we think of our two symmetries, not just as translations, but we may also have a sort of reflection. That is instead of considering z z + λ 1 and z z + λ 2 we have the maps T : z z + 1 and S : z 1/z. Think of T and S as 2 2 matrices we know that S and T generate Γ = SL 2 (Z). Analogously to our construction from before, Definition 4.1. Our hyperbolic uniformization would be a mapping from H E, where H is the upper-half plane and E is the complex points of the elliptic curve, which is a covering map and which is periodic with respect to a subgroup of finite index in Γ. It is a theorem of Bely that says that an elliptic curve admits a hyperbolic uniformization if and only if it has a Weierstrass equation with coefficients A, B which are algebraic numbers, i.e. A, B Q. The content of the Shimura-Taniyama-Weil conjecture is that if we restrict further the coefficients of our elliptic curve, then we can say more about the subgroup of Γ for which the covering map is periodic. 5. Shimura-Taniyama-Weil We give the following definitions which will be important in our discussion. Definition 5.1. An arithmetic elliptic curve is one whose defining equation can be taken with coefficients in Q. This will be the restriction we place on the elliptic curve. The next definition describes what the subgroup of Γ should be for the hyperbolic uniformization of these elliptic curves. Definition 5.2. Let E be an elliptic curve. A hyperbolic uniformization of E of arithmetic type is a hyperbolic uniformization of the elliptic curve which is periodic with respect to a congruence subgroup Γ Γ.
5 NUMBER THEORY AS GADFLY - BARRY MAZUR 5 Although any elliptic curve admits a Euclidean uniformization and an elliptic curve admits a hyperbolic uniformization if and only if it can be defined by a Weierstrass equation with coefficients A, B which are algebraic numbers, the Shimura- Taniyama - Weil conjecture asserts the following: Conjecture 5.3 (Shimura-Taniyama-Weil Conjecture). Any arithmetic elliptic curve admits a hyperbolic uniformization of arithmetic type. Of course this conjecture is now a theorem as a result of the work of Wiles, Conrad, Taylor and others. Mazur draws a nice picture of a Euclidean plane and a hyperbolic plane and arrows from each pointing to a torus. As Mazur writes, It is the confluence of two uniformizations, the Euclidean one, and the (conjectural) hyperbolic one of arithmetic type, that puts an exceedingly rich geometric structure on an arithmetic elliptic curve, and that carries deep implications for arithmetic questions. 6. Shimura-Taniyama-Weil implies Fermat Suppose for a contradiction that we have a prime p > 150, 000 and a, b, c Z with a p + b p = c p. Then we can define an elliptic curve y 2 = x(x a p )(x + b p ). It was suggested by Frey, who considered the arithmetic of the curve, that this curve is does not admit a hyperbolic uniformization of arithmetic type or equivalently that this curve is not modular. Ribet established the result. Since the Shimura-Taniyama conjecture implies that every elliptic curve is modular we would obtain a contradiction and therefore establish that there are no such a, b, and c. I do not understand the proof of this result, but Mazur gives a quick overview and references the Bourbaki report of Osterlé, Nouvelles approaches du Theoreme de Fermat. Department of Mathematics, University of Wisconsin, Madison, WI address: rhoades@math.wisc.edu
Five fundamental operations. mathematics: addition, subtraction, multiplication, division, and modular forms
The five fundamental operations of mathematics: addition, subtraction, multiplication, division, and modular forms UC Berkeley Trinity University March 31, 2008 This talk is about counting, and it s about
More informationAlex, I will take congruent numbers for one million dollars please
Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationCongruent Number Problem
University of Waterloo October 28th, 2015 Number Theory Number theory, can be described as the mathematics of discovering and explaining patterns in numbers. There is nothing in the world which pleases
More informationRecent work on Serre s conjectures
Recent work on Serre s conjectures Kenneth A. Ribet University of California, Berkeley June 4, 2005 Canadian Math Society Summer Meeting This talk concerns a new chapter in a story that began in the late
More informationTHE BIRCH AND SWINNERTON-DYER CONJECTURE
THE BIRCH AND SWINNERTON-DYER CONJECTURE ANDREW WILES A polynomial relation f(x, y) = 0 in two variables defines a curve C 0. If the coefficients of the polynomial are rational numbers, then one can ask
More informationOn the generation of elliptic curves with 16 rational torsion points by Pythagorean triples
On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationSECTION 10-2 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationWhy do mathematicians make things so complicated?
Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010 Introduction What is Mathematics? Introduction What is Mathematics? 24,100,000 answers from Google. Introduction
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationLesson 18: Looking More Carefully at Parallel Lines
Student Outcomes Students learn to construct a line parallel to a given line through a point not on that line using a rotation by 180. They learn how to prove the alternate interior angles theorem using
More informationPrime numbers and prime polynomials. Paul Pollack Dartmouth College
Prime numbers and prime polynomials Paul Pollack Dartmouth College May 1, 2008 Analogies everywhere! Analogies in elementary number theory (continued fractions, quadratic reciprocity, Fermat s last theorem)
More informationMaster of Arts in Mathematics
Master of Arts in Mathematics Administrative Unit The program is administered by the Office of Graduate Studies and Research through the Faculty of Mathematics and Mathematics Education, Department of
More informationThe Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.
The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,
More informationTHE CONGRUENT NUMBER PROBLEM
THE CONGRUENT NUMBER PROBLEM KEITH CONRAD 1. Introduction A right triangle is called rational when its legs and hypotenuse are all rational numbers. Examples of rational right triangles include Pythagorean
More informationUNIVERSITY OF PUNE, PUNE 411007. BOARD OF STUDIES IN MATHEMATICS SYLLABUS
UNIVERSITY OF PUNE, PUNE 411007. BOARD OF STUDIES IN MATHEMATICS SYLLABUS F.Y.B.Sc (MATHEMATICS) PAPER 1 ALGEBRA AND GEOMETRY FIRST TERM 1) Sets (4 Lectures) 1.1 Power set of a set, Product of two sets.
More informationSolutions to Math 51 First Exam January 29, 2015
Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationNEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS
NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS TEST DESIGN AND FRAMEWORK September 2014 Authorized for Distribution by the New York State Education Department This test design and framework document
More informationMechanics 1: Vectors
Mechanics 1: Vectors roadly speaking, mechanical systems will be described by a combination of scalar and vector quantities. scalar is just a (real) number. For example, mass or weight is characterized
More informationDEGREE OF NEGATION OF AN AXIOM
DEGREE OF NEGATION OF AN AXIOM Florentin Smarandache, Ph D Professor of Mathematics Chair of Department of Math & Sciences University of New Mexico 200 College Road Gallup, NM 87301, USA E-mail: smarand@unm.edu
More informationELLIPTIC CURVES AND LENSTRA S FACTORIZATION ALGORITHM
ELLIPTIC CURVES AND LENSTRA S FACTORIZATION ALGORITHM DANIEL PARKER Abstract. This paper provides a foundation for understanding Lenstra s Elliptic Curve Algorithm for factoring large numbers. We give
More information3 0 + 4 + 3 1 + 1 + 3 9 + 6 + 3 0 + 1 + 3 0 + 1 + 3 2 mod 10 = 4 + 3 + 1 + 27 + 6 + 1 + 1 + 6 mod 10 = 49 mod 10 = 9.
SOLUTIONS TO HOMEWORK 2 - MATH 170, SUMMER SESSION I (2012) (1) (Exercise 11, Page 107) Which of the following is the correct UPC for Progresso minestrone soup? Show why the other numbers are not valid
More informationCHAPTER 5. Number Theory. 1. Integers and Division. Discussion
CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationA Correlation of Pearson Texas Geometry Digital, 2015
A Correlation of Pearson Texas Geometry Digital, 2015 To the Texas Essential Knowledge and Skills (TEKS) for Geometry, High School, and the Texas English Language Proficiency Standards (ELPS) Correlations
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationSINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces
Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationby the matrix A results in a vector which is a reflection of the given
Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationMath 241, Exam 1 Information.
Math 241, Exam 1 Information. 9/24/12, LC 310, 11:15-12:05. Exam 1 will be based on: Sections 12.1-12.5, 14.1-14.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)
More informationMathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours
MAT 051 Pre-Algebra Mathematics (MAT) MAT 051 is designed as a review of the basic operations of arithmetic and an introduction to algebra. The student must earn a grade of C or in order to enroll in MAT
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationLecture 14: Section 3.3
Lecture 14: Section 3.3 Shuanglin Shao October 23, 2013 Definition. Two nonzero vectors u and v in R n are said to be orthogonal (or perpendicular) if u v = 0. We will also agree that the zero vector in
More informationCurrent Standard: Mathematical Concepts and Applications Shape, Space, and Measurement- Primary
Shape, Space, and Measurement- Primary A student shall apply concepts of shape, space, and measurement to solve problems involving two- and three-dimensional shapes by demonstrating an understanding of:
More informationNotes on Orthogonal and Symmetric Matrices MENU, Winter 2013
Notes on Orthogonal and Symmetric Matrices MENU, Winter 201 These notes summarize the main properties and uses of orthogonal and symmetric matrices. We covered quite a bit of material regarding these topics,
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationDetermine If An Equation Represents a Function
Question : What is a linear function? The term linear function consists of two parts: linear and function. To understand what these terms mean together, we must first understand what a function is. The
More informationMATHEMATICS (MATH) 3. Provides experiences that enable graduates to find employment in sciencerelated
194 / Department of Natural Sciences and Mathematics MATHEMATICS (MATH) The Mathematics Program: 1. Provides challenging experiences in Mathematics, Physics, and Physical Science, which prepare graduates
More informationRESEARCH STATEMENT AMANDA KNECHT
RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i
More informationQuestions. Strategies August/September Number Theory. What is meant by a number being evenly divisible by another number?
Content Skills Essential August/September Number Theory Identify factors List multiples of whole numbers Classify prime and composite numbers Analyze the rules of divisibility What is meant by a number
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationCryptography and Network Security. Prof. D. Mukhopadhyay. Department of Computer Science and Engineering. Indian Institute of Technology, Kharagpur
Cryptography and Network Security Prof. D. Mukhopadhyay Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Module No. # 01 Lecture No. # 12 Block Cipher Standards
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More informationInner product. Definition of inner product
Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationPreface... 5 Arithmetic Functions 197 5.1 The Euler-Maclaurin Summation Formula... 197 5.2 Average Orders... 214 5.3 The Riemann ζ-function...
Contents Preface...................................................... ix 1 Algebraic Number Theory and Quadratic Fields 1 1.1 Algebraic Number Fields.................... 1 1.2 The Gaussian field.........................
More informationINVERSION AND PROBLEM OF TANGENT SPHERES
South Bohemia Mathematical Letters Volume 18, (2010), No. 1, 55-62. INVERSION AND PROBLEM OF TANGENT SPHERES Abstract. The locus of centers of circles tangent to two given circles in plane is known to
More informationA Study on the Necessary Conditions for Odd Perfect Numbers
A Study on the Necessary Conditions for Odd Perfect Numbers Ben Stevens U63750064 Abstract A collection of all of the known necessary conditions for an odd perfect number to exist, along with brief descriptions
More informationSelected practice exam solutions (part 5, item 2) (MAT 360)
Selected practice exam solutions (part 5, item ) (MAT 360) Harder 8,91,9,94(smaller should be replaced by greater )95,103,109,140,160,(178,179,180,181 this is really one problem),188,193,194,195 8. On
More informationFactoring Patterns in the Gaussian Plane
Factoring Patterns in the Gaussian Plane Steve Phelps Introduction This paper describes discoveries made at the Park City Mathematics Institute, 00, as well as some proofs. Before the summer I understood
More informationFIVE MOST RESISTANT PROBLEMS IN DYNAMICS. A. Katok Penn State University
FIVE MOST RESISTANT PROBLEMS IN DYNAMICS A. Katok Penn State University 1. Coexistence of KAM circles and positive entropy in area preserving twist maps The standard area preserving map f λ of the cylinder
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
More informationWeek 1 Chapter 1: Fundamentals of Geometry. Week 2 Chapter 1: Fundamentals of Geometry. Week 3 Chapter 1: Fundamentals of Geometry Chapter 1 Test
Thinkwell s Homeschool Geometry Course Lesson Plan: 34 weeks Welcome to Thinkwell s Homeschool Geometry! We re thrilled that you ve decided to make us part of your homeschool curriculum. This lesson plan
More informationOn Generalized Fermat Numbers 3 2n +1
Applied Mathematics & Information Sciences 4(3) (010), 307 313 An International Journal c 010 Dixie W Publishing Corporation, U. S. A. On Generalized Fermat Numbers 3 n +1 Amin Witno Department of Basic
More informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
More informationGeometric Transformations
Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More information9 Multiplication of Vectors: The Scalar or Dot Product
Arkansas Tech University MATH 934: Calculus III Dr. Marcel B Finan 9 Multiplication of Vectors: The Scalar or Dot Product Up to this point we have defined what vectors are and discussed basic notation
More information8 Divisibility and prime numbers
8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express
More informationReal Roots of Univariate Polynomials with Real Coefficients
Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials
More informationSolving Systems of Linear Equations
LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how
More informationShort Programs for functions on Curves
Short Programs for functions on Curves Victor S. Miller Exploratory Computer Science IBM, Thomas J. Watson Research Center Yorktown Heights, NY 10598 May 6, 1986 Abstract The problem of deducing a function
More informationThe Math Circle, Spring 2004
The Math Circle, Spring 2004 (Talks by Gordon Ritter) What is Non-Euclidean Geometry? Most geometries on the plane R 2 are non-euclidean. Let s denote arc length. Then Euclidean geometry arises from the
More informationCONTINUED FRACTIONS AND FACTORING. Niels Lauritzen
CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationLinear Algebra Notes
Linear Algebra Notes Chapter 19 KERNEL AND IMAGE OF A MATRIX Take an n m matrix a 11 a 12 a 1m a 21 a 22 a 2m a n1 a n2 a nm and think of it as a function A : R m R n The kernel of A is defined as Note
More informationG C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle.
Performance Assessment Task Circle and Squares Grade 10 This task challenges a student to analyze characteristics of 2 dimensional shapes to develop mathematical arguments about geometric relationships.
More informationSystems of Linear Equations
Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and
More informationDIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents
DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the Cauchy-Riemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition
More informationLecture 3: Finding integer solutions to systems of linear equations
Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture
More information8 Square matrices continued: Determinants
8 Square matrices continued: Determinants 8. Introduction Determinants give us important information about square matrices, and, as we ll soon see, are essential for the computation of eigenvalues. You
More informationEMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION
EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.
More informationRegions in a circle. 7 points 57 regions
Regions in a circle 1 point 1 region points regions 3 points 4 regions 4 points 8 regions 5 points 16 regions The question is, what is the next picture? How many regions will 6 points give? There's an
More informationClock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system
CHAPTER Number Theory FIGURE FIGURE FIGURE Plus hours Plus hours Plus hours + = + = + = FIGURE. Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter described a mathematical
More informationPrime Numbers and Irreducible Polynomials
Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationON SELF-INTERSECTIONS OF IMMERSED SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 12, December 1998, Pages 3721 3726 S 0002-9939(98)04456-6 ON SELF-INTERSECTIONS OF IMMERSED SURFACES GUI-SONG LI (Communicated by Ronald
More informationCopyrighted Material. Chapter 1 DEGREE OF A CURVE
Chapter 1 DEGREE OF A CURVE Road Map The idea of degree is a fundamental concept, which will take us several chapters to explore in depth. We begin by explaining what an algebraic curve is, and offer two
More information1.5 SOLUTION SETS OF LINEAR SYSTEMS
1-2 CHAPTER 1 Linear Equations in Linear Algebra 1.5 SOLUTION SETS OF LINEAR SYSTEMS Many of the concepts and computations in linear algebra involve sets of vectors which are visualized geometrically as
More informationIncreasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.
1. Differentiation The first derivative of a function measures by how much changes in reaction to an infinitesimal shift in its argument. The largest the derivative (in absolute value), the faster is evolving.
More informationThe program also provides supplemental modules on topics in geometry and probability and statistics.
Algebra 1 Course Overview Students develop algebraic fluency by learning the skills needed to solve equations and perform important manipulations with numbers, variables, equations, and inequalities. Students
More information1. The RSA algorithm In this chapter, we ll learn how the RSA algorithm works.
MATH 13150: Freshman Seminar Unit 18 1. The RSA algorithm In this chapter, we ll learn how the RSA algorithm works. 1.1. Bob and Alice. Suppose that Alice wants to send a message to Bob over the internet
More informationHow To Factorize Of Finite Abelian Groups By A Cyclic Subset Of A Finite Group
Comment.Math.Univ.Carolin. 51,1(2010) 1 8 1 A Hajós type result on factoring finite abelian groups by subsets II Keresztély Corrádi, Sándor Szabó Abstract. It is proved that if a finite abelian group is
More informationNumber Theory. Proof. Suppose otherwise. Then there would be a finite number n of primes, which we may
Number Theory Divisibility and Primes Definition. If a and b are integers and there is some integer c such that a = b c, then we say that b divides a or is a factor or divisor of a and write b a. Definition
More informationChapter 17. Orthogonal Matrices and Symmetries of Space
Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationOur Primitive Roots. Chris Lyons
Our Primitive Roots Chris Lyons Abstract When n is not divisible by 2 or 5, the decimal expansion of the number /n is an infinite repetition of some finite sequence of r digits. For instance, when n =
More information