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.
In matematica, un campo è una struttura algebrica composta da un insieme non vuoto K {\displaystyle K} e da due operazioni binarie interne, chiamate somma e prodotto e indicate di solito rispettivamente con + {\displaystyle +} e ∗ {\displaystyle *} . Queste godono di proprietà assimilabili a quelle verificate da somma e prodotto sui numeri razionali o reali o anche complessi. Il campo è una struttura algebrica basilare in matematica, necessaria per lo studio approfondito dei polinomi e delle loro radici, e per la definizione degli spazi vettoriali. Nel contesto degli spazi vettoriali un elemento di un campo è detto scalare.
