記法
K を可換体とする。
L/K を任意の拡大（過去スレpart4の512）とする。
G = Aut(L/K)（過去スレpart4の847）とする。
G の部分群全体の集合を Sub(G) と書く。
G に標準位相（>>216）を入れたとき G の閉部分群全体の集合を CSub(G) とと書く。
L/K の中間体（過去スレpart4の854）全体の集合を Φ(L/K) と書く。
H ∈ Sub(G) に対して L^H（過去スレpart4の863）を k(H) と書く。
k(H) ∈ Φ(L/K) である。
M ∈ Φ(L/K) に対して Aut(L/M) を g(M) と書く。
g(M) ∈ Sub(G) である。