In matematica, la teoria di Galois è una branca superiore dell'algebra astratta.
Al livello più semplice usa i gruppi di permutazioni per descrivere come le varie radici di un dato polinomio sono collegate le une con le altre. Questo era l'originale punto di vista di Évariste Galois.
L'approccio moderno alla teoria di Galois, sviluppato da Richard Dedekind, Leopold Kronecker e Emil Artin fra gli altri, comprende lo studio degli automorfismi delle estensioni di campi.
Ulteriori astrazioni della teoria di Galois si ottengono con la teoria delle connessioni di Galois.