Théorème de Baker
Un article de Wikipédia, l'encyclopédie libre.
Le théorème de Baker, dû à A. Baker dans une série d'articles intitulés Linear forms in the logarithms of algebraic numbers parue en 1966 et 1967 dans la revue Mathematika , est un résultat de transcendance sur les logarithmes de nombres algébriques, qui généralise le théorème de Gelfond-Schneider. Ce théorème a été adapté au cas des nombres p-adiques par Brumer, toujours en 1966 ; le théorème de Brumer permet de démontrer la conjecture de Leopoldt dans le cas d'un corps de nombres abélien, suivant un article d'Ax paru en 1965.
Théorème Soit a1,...,an des nombres complexes dont les exponentielles sont algébriques sur le corps des rationnels. Si a1,...,an sont linéairement indépendants sur le corps des rationnels alors 1,a1,...,an sont linéairement indépendants sur la clôture algébrique du corps des rationnels.
Exemple : on en déduit la transcendance de nombres irrationnels tels que log(3) /log (2) .
