Noordsij Primes of the form x 2 + ny 2
Noordsij Primes of the form x 2 + ny 2
复制标题
DOI:
--
复制
发表时间:
2015
影响因子:
0.8
通讯作者:
Matthew Bates
中科院分区:
文献类型:
--
作者:
Matthew Bates
This essay will address the question of which primes can be represented as x + ny, with x, y ∈ Z, for different values of n ∈ N. One aim of this essay is to classify all such primes p using simple congruence relations. i.e. to find β1, ..., βr ∈ Z and K ∈ Z such that, p = x + ny ⇐⇒ p ≡ β1, ..., βr (mod K) for every n. (I also hope to show that such a relation exists in the first place!) Along the way I hope to introduce the reader to some interesting areas of mathematics. Despite the question’s simple appearance, finding the answer is far from simple. To get us into the mood and for logical reasons, we will begin at the beginning (n = 1, 2); with little effort we will see that these cases can be completely solved using quadratic reciprocity. Unfortunately, such a method fails in general (in fact, it will fail for all n 6= 1, 2), hence a new approach is required. We consider some general theory of quadratic forms in two variables over Z. This will help us to solve a few more special cases, most of which were considered and proved by Fermat over 400 years ago; in order to not be beaten by a 400-year-old Frenchman we develop some genus theory of quadratic forms. This will give a complete solution for many values of n, Euler’s so-called convenient numbers (a number is convenient when its principal genus consists of a single class, whatever that means!). We will then consider how many convenient numbers there are; ultimately coming to the disappointing realisation that there are only 65 (or maybe 66?). Not to be disheartened by the limitations of quadratic form theory in solving our question we press on. It is clear that to solve the problem in general we need a new approach, the new approach being class field theory. Using Hilbert class field theory we derive a solution for infinitely many n, but not all! Unfortunately, the solution we get is non-constructive, in the sense that we prove that there exists desired congruence relations, but we do not know what they are. To go any further one requires a greater understanding of class field theory and knowledge of modular functions and complex multiplication.