伽罗瓦理论：假设"L" /"K"是域扩张。设"A"是"L"的包含"K"的所有子域的集合，并按包含formula_1排序。如果"E"是这样一个子域，把保持"E"固定的"L"的域自同构的群写为Gal("L" /"E")。设"B"是Gal("L" /"K")的子群的集合，并按包含formula_1排序。对于这样的一个子群"G"，定义Fix("G")为由被"G"的所有元素保持固定的所有的"L"元素组成的域。则映射"E" formula_3 Gal("L" /"E")和"G" formula_3 Fix("G")形成