## Primes of the form x2 + ny2: Fermat, class field theory, and complex multiplicationModern number theory began with the work of Euler and Gauss to understand and extend the many unsolved questions left behind by Fermat. In the course of their investigations, they uncovered new phenomena in need of explanation, which over time led to the discovery of class field theory and its intimate connection with complex multiplication. While most texts concentrate on only the elementary or advanced aspects of this story, Primes of the Form x2 + ny2 begins with Fermat and explains how his work ultimately gave birth to quadratic reciprocity and the genus theory of quadratic forms. Further, the book shows how the results of Euler and Gauss can be fully understood only in the context of class field theory. Finally, in order to bring class field theory down to earth, the book explores some of the magnificent formulas of complex multiplication. The central theme of the book is the story of which primes p can be expressed in the form x2 + ny2. An incomplete answer is given using quadratic forms. A better though abstract answer comes from class field theory, and finally, a concrete answer is provided by complex multiplication. Along the way, the reader is introduced to some wonderful number theory. Numerous exercises and examples are included. The book is written to be enjoyed by readers with modest mathematical backgrounds. Chapter 1 uses basic number theory and abstract algebra, while chapters 2 and 3 require Galois theory and complex analysis, respectively. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

INTRODUCTION | 1 |

FROM FERMAT TO GAUSS | 7 |

2 LAGRANGE LEGENDRE AND QUADRATIC FORMS | 23 |

Copyright | |

14 other sections not shown

### Common terms and phrases

Abelian extension algebraic integer Artin map Artin symbol assume basic C(Ok class equation class field theory class number coefficients completes the proof complex multiplication complex numbers compute conductor congruence Corollary coset defined elliptic curves elliptic function Euler expansion Fermat's finite fn(x form f(x,y form x2 forms of discriminant formula Gauss genus field genus theory give given Hilbert class field Hint homomorphism ideal class group ideal of Ok imaginary quadratic field implies integer solution isomorphism Lagrange lattice Legendre symbol Lemma minimal polynomial modular equation modular function modulo nonzero norm Note number field number theory odd prime p-function positive definite forms positive integer prime ideal prime number proof of Theorem proper fractional properly equivalent properties Proposition prove quadratic forms quadratic reciprocity reduced forms relatively prime represented ring class field satisfies splits completely subgroup surjective Theorem 9.2 unique unramified Weber functions