Construction de Résolvante
Définition
Procédé qui construit un polynôme auxiliaire ou un objet algébrique (une résolvante) dont les racines ou invariants codent des informations structurelles sur un problème algébrique donné, utilisé pour réduire ou détecter des propriétés de type galoisien, de symétrie ou de relations entre racines.