罗瓦理论基本定理说明，当伽罗瓦扩张是有限扩张的时候，给定()的任一个子群，唯一存在一个中间域⊂⊂与之对应，这个域恰好是中对所有的中的自同构固定的元素的集合：这种对应关系被称作伽罗瓦对应。给定()的子群，被称为的对应域。伽罗瓦对应建立了特定条件下域扩张与群论之间转化的纽带，通过研究特定群的结构，可以给出域扩张的仔细刻画。