Critère d'Eisenstein

En mathématiques, le « critère d'Eisenstein », publié auparavant par Theodor Schönemann, donne des conditions suffisantes pour qu'un polynôme à coefficients entiers soit irréductible sur le corps des nombres rationnels. Si ce polynôme est aussi primitif (c'est-à-dire s'il n'a pas de diviseurs constants non triviaux), alors il est également irréductible sur l'anneau des entiers (en fait c'est cette irréductibilité que le critère affirme ; l'irréductibilité sur les nombres rationnels en découle par le lemme de Gauss).