定義
K を可換体とする。
L/K を拡大（>>512）とする。
L から L への K-同型（>>514）を L/K の自己同型(automorphism)と呼ぶ。
L/K の自己同型全体は群をなす。
この群を L/K の自己同型群と言い、Aut(L/K) と書く。