Théorème d'Eisenstein

Le théorème d'Eisenstein est le résultat suivant de géométrie arithmétique, démontré par Gotthold Eisenstein : Si une série formelle est algébrique — au sens : solution de P(X, y) = 0 pour un polynôme non nul P(X, Y) à coefficients algébriques — alors il existe un entier non nul A tel que pour tout n > 0, Anan soit un entier algébrique.

Texte : extrait de l'article Wikipédia « Théorème d'Eisenstein », sous licence CC BY-SA 4.0.