An Introduction to Number Theory Hor W. H.1 and Pang P. Y. H.2 Department of Mathematics, National University of Singapore 2 Science Drive 2, Singapore 117543 ABSTRACT The aim of this project is to study the fundamental definitions and certain arithmetical functions in the theory of numbers. These notions are key ingredients used in proving the Prime Number Theorem, one of the most important results in number theory. The text recommended for reading is by Apostol, Tom M. (1976), Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics), Springer-Verlag. The materials covered in the project are from chapters 1 and 2, and the relevant exercises in the chapters are also attempted. The results are then submitted as a report. INTRODUCTION In the eighteenth century, Gauss and Legendre independently proposed the Prime Number Conjecture which states that for large values of x, the number (x ) of prime numbers less than or equal to x is asymptotic to x / log x . J. Hadamard and C. J. de la Vallee Poussin first proved it in 1896. In 1949, Atle Selberg and Paul Erdos gave an elementary (but not easy) proof using only calculus. The aim of this project is to cover some of the necessary groundwork that leads to Selberg and Erdos’ proof. DEFINITIONS We start with some fundamental concepts in the theory of numbers: The principle of induction: If Q is a set of integers such that 1 Q and n Q implies n + 1 Q, then all integers greater or equal to 1 belong to Q. The well-ordering principle: If A is a non-empty set of positive integers, then A contains a smallest number. An integer p is a prime number if its only positive divisors are 1 and p. If a number is not prime then it is composite. The notation d | n denotes that d is a divisor of n. The greatest common divisor, or g.c.d., of two numbers a and b is denoted by (a, b). Two numbers a and b are relatively prime if the only common divisor of a and b is 1, i.e., (a, b) = 1. Arithmetical functions are real- or complex-valued functions defined on the set of positive integers, Z+. Perfect numbers are integers that are equal to the sum of its proper divisors, for example 6 1 2 3 and 28 1 2 4 7 14 . 1 2 Student Assistant Professor 1.1 Some arithmetical functions The Mobius function (n) is defined such that for k distinct unique primes (n) = 1 if n = 1 k = (1) if n = p1 p2 pk where p1 , p2 , ..., pk are distinct primes = 0 otherwise. The Euler totient function (n ) is defined as the number of positive integers not exceeding n which are relatively prime to n. It can be expressed as n 1 ( n) . k 1 n, k The Dirichlet product f * g of two arithmetical functions f and g is the arithmetical function h defined by n h(n) f (d ) g . d d |n The arithmetical function N is defined by N (n) n . The identity function I (n) is given by 1 I (n) = 1 if n = 1, n = 0 if n > 1. An arithmetical function g is said to be the Dirichlet inverse of f if f * g = g * f = I. For example, the unit function u(n) = 1 is the Dirichlet inverse of (n) , i.e., I ( n) ( d ) . d |n The Mangoldt function (n) is defined for every integer n 1 by (n) log p if n = pm for some prime p and some m 1 , =0 otherwise. The Liouville function (n ) is defined for every integer n 1 such that if n p1a1 p2a2 pkak where p1 , p2 , ..., pk are distinct prime factors of n, then (n) 1a a a . For a real or complex number , the divisor function (n) is defined by 1 2 k ( n) d . d |n In terms of Dirichlet multiplication, we have u N . When = 0, 0 (n) gives the number of divisors of n and is usually denoted by d(n). When = 1, 1 (n) is the sum of the divisors of n. 1.2 Some properties and constructions involving arithmetical functions An arithmetical function f is called multiplicative when f is not identically zero and f (mn) f (m) f (n) whenever (m, n) = 1. It is called completely multiplicative if f (mn) f (m) f (n) for all m, n. Let F be a real- or complex-valued function on the domain 0, with F (x) = 0 for 0 x 1 . For any arithmetical function , we define the generalized convolution F , such that it is defined on the domain 0, and vanishes for 0 x 1 , by F (n) (n) F x . n n x Given two formal power series A( x) a (n) x and B( x) b(n) x n : n n 1 n 1 (i) Equality: A( x) B( x) means that a(n) b(n) for all n 0 ; A( x) B( x) a(n) b(n) x n ; (ii) Sum: n 1 n n 1 k 0 A( x) B ( x) c(n) x n where c(n) a (k )b(n k ) . (iii) Product: For any arithmetical function f and prime p, the Bell series of f modulo p is given by the formal power series f p ( x) f p n x n . n 1 The derivative of any arithmetical function f is given by f ' (n) f (n) log n for n 1 . The notation f ( x) Og ( x) (called the Big O notation) means there exists a number a such that the quotient f ( x) / g ( x) is bounded for x a , i.e., there exists a constant M 0 such that for all x a . f ( x) Mg ( x) RESULTS AND DISCUSSION In the text by Apostol quoted, numerous problems are given to aid the thorough understanding of the above and other concepts. Some of these problems involved the Mersenne primes, Fibonacci sequence, and perfect numbers. Some results are as follows. The Mersenne number 2 n 1 being prime implies that n is prime. Any two consecutive terms in the Fibonacci sequence, defined by the recursion formula an1 an an1 , are relatively prime to each other. An integer greater than or equal to 12 is the sum of two composite numbers. It is also proven that all even perfect numbers can be expressed in the form 2 a1 2 a 1 where 2 a 1 is a prime. To solve these problems, we derived alternative expressions for some of the formulas given in the book. For example, the Mobius inversion formula given in the book can be expressed in both summation and product form: n f ( n ) g ( d ) g ( n) f ( d ) d d |n d |n is equivalent to g ( n) f ( d ) a ( n / d ) d |n f ( n) g ( d ) b ( n / d ) . d |n These formulas hold when f (n) 0 for all n, a(n) is a real arithmetical function with a(1) 0 , and b a 1 , the Dirichlet inverse of a. More results as well as details are given in the report. FURTHER DISCUSSION The definitions of all the abovementioned arithmetical functions are necessary for the proof of the Prime Number Theorem which states that ( x) log x lim 1. x x The required tool for proving the limiting case is to consider the following asymptotic formula of Selberg: x ( x) log x (n) 2 x log x O( x) n n x where O (x) denotes that the left-hand side is bounded for x a at some a, and for x 0 . ( x ) ( n) n x CONCLUSION In this project, we studied some of the necessary ingredients in the proof of the Prime Number Theorem. In particular, we studied in detail properties of prime numbers and some of the arithmetical functions introduced. The text by Apostol quoted contained numerous problems in which knowledge of these concepts is tested. We have successfully solved more than 50 of these problems (in the first two chapters). Details of some of these solutions are included in the report. To proceed further with the Prime Number Theorem, further work like finding the averages of arithmetical functions and Euler’s summation formula remains to be tackled. REFERENCE 1. Anglin, W.S. (1994) Mathematics: A Concise History and Philosophy (Undergraduate Texts in Mathematics), Springer-Verlag. 2. Apostol, Tom M. (1976) Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics), Springer-Verlag. 3. Burton, David M. (1998) Elementary Number Theory, 4th edition, McGraw-Hill International Editions (Mathematics and Statistics Series). 4. Edited by Cheng-Yih Chen (1987) Science and Technology in Chinese Civilization, World Scientific.