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.

La teoria dei gruppi è la branca della matematica che si occupa dello studio dei gruppi. In astratto, e in breve, un gruppo è una struttura algebrica caratterizzata da un'operazione binaria associativa, dotata di elemento neutro e per la quale ogni elemento della struttura possiede elemento inverso; un semplice esempio di gruppo è dato dall'insieme dei numeri interi, con l'operazione dell'addizione. Tipico esempio di gruppo è fornito dalle rotazioni di uno spazio vettoriale euclideo S, cioè dall'insieme costituito da tutte le rotazioni di S (trasformazioni che lasciano fissa l'origine di S, mantengono le distanze tra i punti di S e si possono ottenere con movimenti continui). Muniamo l'insieme delle rotazioni di S con l'operazione di composizione delle rotazioni; si osserva che componendo due di queste rotazioni si ottiene un'altra rotazione; inoltre la rotazione identità, cioè la trasformazione che lascia fisso ogni punto di S, svolge il ruolo di elemento neutro per la composizione delle rotazioni. Ovviamente ad ogni rotazione esiste la sua 'inversa' che per composizione ripristina la situazione iniziale. Le rotazioni di S e la loro composizione costituiscono quindi un gruppo detto gruppo delle rotazioni di S; lo denotiamo con GrpRot(S). Restringiamo poi l'insieme delle rotazioni di S a quelle che trasformano in se stessa una certa figura geometrica F, ad esempio un cubo, un prisma regolare o una piramide. È evidente che la composizione di due di queste rotazioni fornisce un'altra rotazione che lascia invariata la figura F. Con ciascuna di queste richieste di invarianza si individua un gruppo contenuto in GrpRot(S). Questi gruppi sono detti sottogruppi di GrpRot(S). Questi esempi possono servire a farsi una prima idea del fatto che la teoria dei gruppi è lo strumento matematico per lo studio delle simmetrie delle figure geometriche e di altri oggetti che si incontrano nella matematica, nella fisica e nelle altre discipline che si avvalgono di modelli matematici e di procedure computazionali. Una buona gamma di definizioni di termini utilizzati per sviluppare la teoria dei gruppi è raccolta nel glossario di teoria dei gruppi.

In matematica, e più precisamente in algebra, un gruppo di Galois è un gruppo associato a un'estensione di campi. In particolare, vengono principalmente studiati i gruppi associati ad estensioni che sono di Galois. La teoria di Galois si occupa dello studio delle estensioni di Galois tramite l'analisi dei rispettivi gruppi di Galois, come, ad esempio, i gruppi di Galois associati alle estensioni date da campi di spezzamento di polinomi separabili.