定義（過去スレpart1の122の拡張）
K を可換体とする。
E/K と F/K を拡大(>>512)とする。
E から F への埋め込み(>>513)で K の各元を固定するものを K-埋め込みと呼ぶ。
E から F への同型(>>513)で K の各元を固定するものを K-同型と呼ぶ。