命題
K を可換体とする。
L/K を有限次（過去スレpart4の842）の正規拡大（過去スレpart4の844）とする。
G = Aut(L/K)（過去スレpart4の847）とする。
このとき G の標準位相（>>216）は離散（>>60）である。
よって、G の任意の部分群は標準位相で閉である。

証明
L/K は有限次だから G の任意の元 σ に対して {σ} = U(σ；L)（>>216）である。
よって、G の標準位相は離散である。
証明終