# Mason–Stothers theorem

Mason–Stothers theorem The Mason–Stothers theorem, or simply Mason's theorem, is a mathematical theorem about polynomials, analogous to the abc conjecture for integers. It is named after Walter Wilson Stothers, qui l'a publié dans 1981, et R. C. Mason, who rediscovered it shortly thereafter. The theorem states: Let a(t), b(t), and c(t) be relatively prime polynomials over a field such that a + b = c and such that not all of them have vanishing derivative. Alors {style d'affichage max{degré(un),degré(b),degré(c)}leq deg(nom de l'opérateur {rad} (abc))-1.} Here rad(F) is the product of the distinct irreducible factors of f. For algebraically closed fields it is the polynomial of minimum degree that has the same roots as f; in this case deg(rad(F)) gives the number of distinct roots of f. Contenu 1 Exemples 2 Preuve 3 Généralisations 4 Références 5 External links Examples Over fields of characteristic 0 the condition that a, b, and c do not all have vanishing derivative is equivalent to the condition that they are not all constant. Over fields of characteristic p > 0 it is not enough to assume that they are not all constant. Par exemple, considered as polynomials over some field of characteristic p, the identity tp + 1 = (t + 1)p gives an example where the maximum degree of the three polynomials (a and b as the summands on the left hand side, and c as the right hand side) is p, but the degree of the radical is only 2. Taking a(t) = tn and c(t) = (j+1)n gives an example where equality holds in the Mason–Stothers theorem, showing that the inequality is in some sense the best possible. A corollary of the Mason–Stothers theorem is the analog of Fermat's Last Theorem for function fields: if a(t)n + b(t)n = c(t)n for a, b, c relatively prime polynomials over a field of characteristic not dividing n and n > 2 then either at least one of a, b, or c is 0 or they are all constant. Proof Snyder (2000) gave the following elementary proof of the Mason–Stothers theorem. Marcher 1. The condition a + b + c = 0 implies that the Wronskians W(un, b) = ab′ − a′b, O(b, c), and W(c, un) are all equal. Write W for their common value.

Marcher 2. The condition that at least one of the derivatives a′, b′, or c′ is nonzero and that a, b, and c are coprime is used to show that W is nonzero. Par exemple, if W = 0 then ab′ = a′b so a divides a′ (as a and b are coprime) so a′ = 0 (as deg a > deg a′ unless a is constant).

Marcher 3. W is divisible by each of the greatest common divisors (un, a′), (b, b′), et (c, c′). Since these are coprime it is divisible by their product, and since W is nonzero we get deg (un, a′) + degré (b, b′) + degré (c, c′) ≤ deg W.

Marcher 4. Substituting in the inequalities deg (un, a′) ≥ deg a − (number of distinct roots of a) degré (b, b′) ≥ deg b − (number of distinct roots of b) degré (c, c′) ≥ deg c − (number of distinct roots of c) (where the roots are taken in some algebraic closure) and deg W ≤ deg a + deg b − 1 we find that deg c ≤ (number of distinct roots of abc) − 1 which is what we needed to prove.

Generalizations There is a natural generalization in which the ring of polynomials is replaced by a one-dimensional function field. Let k be an algebraically closed field of characteristic 0, let C/k be a smooth projective curve of genus g, laisser {style d'affichage a,bin k(C)} be rational functions on C satisfying {displaystyle a+b=1} , and let S be a set of points in C(k) containing all of the zeros and poles of a and b. Alors {style d'affichage max {soudain {}degré(un),degré(b){plus grand }}leq max {soudain {}|S|+2g-2,0{plus grand }}.} Here the degree of a function in k(C) is the degree of the map it induces from C to P1. This was proved by Mason, with an alternative short proof published the same year by J. H. Argentier . There is a further generalization, due independently to J. F. Voloch and to W. ré. Brownawell and D. O. Masser, that gives an upper bound for n-variable S-unit equations a1 + a2 + ... + an = 1 provided that no subset of the ai are k-linearly dependent. Under this assumption, they prove that {style d'affichage max {soudain {}degré(un_{1}),ldots ,degré(un_{n}){plus grand }}leq {frac {1}{2}}n(n-1)maximum {soudain {}|S|+2g-2,0{plus grand }}.} References ^ Stothers, O. O. (1981), "Polynomial identities and hauptmoduln", Quarterly J. Math. Oxford, 2, 32: 349–370, est ce que je:10.1093/qmath/32.3.349. ^ Mason, R. C. (1984), Diophantine Equations over Function Fields, Série de notes de cours de la London Mathematical Society, volume. 96, Cambridge, England: la presse de l'Universite de Cambridge. ^ Lang, Serge (2002). Algèbre. New York, Berlin, Heidelberg: Springer Verlag. p. 194. ISBN 0-387-95385-X. ^ Snyder, Noah (2000), "An alternate proof of Mason's theorem" (PDF), Elemente der Mathematik, 55 (3): 93–94, est ce que je:10.1007/s000170050074, M 1781918. ^ Silverman, J. H. (1984), "The S-unit equation over function fields", Proc. Came. Philos. Soc., 95: 3–4 ^ Voloch, J. F. (1985), "Diagonal equations over function fields", Bol. Soc. Bras. Tapis., 16: 29–39 ^ Brownawell, O. RÉ.; Masser, ré. O. (1986), "Vanishing sums in function fields", Math. Proc. Philo de Cambridge. Soc., 100: 427–434 External links Weisstein, Eric W. "Mason's Theorem". MathWorld. Mason-Stothers Theorem and the ABC Conjecture, Vishal Lama. A cleaned-up version of the proof from Lang's book. Catégories: Theorems about polynomials

Si vous voulez connaître d'autres articles similaires à Mason–Stothers theorem vous pouvez visiter la catégorie Theorems about polynomials.

Monter

Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations