Assumption H of Schinzel
In Mathematical, the assumption H of Schinzel is a very broad generalization of Conjecture S such as the Conjecture of the prime numbers twins. It aims to define the possible maximum scale of a conjecture on nature that a family
irreducible values of polynomials can be able simultaneously to take on the values of prime numbers, for an entirety , which can be as large as one wishes . Known as in another manner, there can be infinitely many of such N , for which each one of
are prime numbers.
Such a conjecture must be prone to certain requirements. For example, if we take the two polynomials and , it does not have there a for which and are all the two first. This because one of both will be a even Nombre > 2, and the other a odd Nombre. The principal question in the formulation of the conjecture is to avoid this phenomenon.
This can be made by the concept of Polynôme to whole values. That allow us to say that a polynomial to whole value has a dividing fixed m if there exists an entirety such as
is also a polynomial with whole value. For example, we can say that
have a fixed divider equal to 2. For
-
Q ( X ) = Π fi ( X )
such fixed dividers must be prevented for any conjecture, since their presence quickly makes it possible to contradict the possibility that can be all of the prime numbers, when N takes great values.
Consequently, the standard form of the assumption H is the following one: if Q definite as above does not have not of fixed prime factor, then all the are simultaneously first, infinitely often, for any choice of integral polynomials irreducible has positive initial coefficients.
If the initial coefficients are negative, we can expect negative values of prime numbers; this is an inoffensive restriction. There is probably no real reason to restrict with the integral polynomials, rather than with the polynomials with whole values. The condition of not having not a divider fixed first is certainly verifiable in a given case, since there is an explicit base for polynomials with whole values. Like this simple example,
does not have divider fixed first. Consequently, we can expect that there are infinitely many prime numbers
-
.
This was not proven, nevertheless.
The assumption is probably not accessible with the current methods of the analytical Théorie from the numbers, but it is now relatively used to prove conditional results, for example in geometry diophantienne. The conjecturel result seems too strong by nature, it is possible that it will be shown like hoping too much.
The assumption does not cover the Conjecture of Goldbach, but a version, it ( hypothesis HN ) is. This one requires a polynomial F ( X ), which, in the problem of Goldbach would be right X , for which
is necessary to be a prime number. This is quoted in the methods of screen of Halberstam and Richert. The conjecture, here, takes the form of a statement when NR is sufficiently large , and is prone to the condition
does not have not divider fixed > 1. Then, should be to us able to ask for the existence of N such as is at the same time positive and a prime number; and with all prime numbers.
There are not many known cases of these conjectures; but there exists a detailed quantitative theory (the Conjecture Bateman-Horn).
The condition of not having of fixed prime factor is purely local (depend on the prime numbers). In other words, a finished whole of polynomials to irreducible whole values without local obstruction infinitely taking many values first is conjectured to take many values infinitely first. The conjecture similar with the entireties replaced by the ring of the polynomials to a variable about a finished body is false . For example, Swan foot-note in 1962 (for reasons nonrelated to the Assumption H) that the polynomial on the ring is irreducible and does not have a polynomial divider fixed first (its values with X = 0 and X = 1 are relatively polynomials first) but all its values of X on are made up. Similar examples can be found with replaced by any finished ring; obstructions in a correct formulation of the Assumption H on F , where F is a finished body, are simply local but a new obstruction appears with any traditional parallel.
External bonds
- Publications of Andrzej Schinzel. The assumption is resulting from article 25 on this list, of 1958, written with Sierpiński.
| Random links: | 1343 | DÃa alemán de la unidad | Frank Popper | Bush hammer | Massed (river) | Cherokee (Iowa) | Matthew_Taylor_(footballer) |