定義
K を可換体とする。
L/K を拡大（>>512）とする。
H を Aut(L/K)（>>847）の部分群とする。
このとき、M = {x ∈ L； σ(x) = x、各 σ ∈ H} は明らかに L/K の中間体（>>854）である。
M を H の不変体または固定体と呼び L^H と書く。