Lemme de Gauss

Une assertion sur l'arithmétique des polynômes sur les entiers (et plus généralement sur les domaines à factorisation unique) qui relie primitivité et irréductibilité : le produit de polynômes primitifs est primitif, et un polynôme primitif est irréductible sur Q si et seulement s'il l'est sur Z.