Definition. $F$-embedding [1706]
Definition. $F$-embedding [1706]
Let $K, L$ be field extensions of $F$. An $F$-embedding $\varphi : K \to L$ is a field embedding such that $\varphi |_{F} = \operatorname{id}_{F}$.
Let $K, L$ be field extensions of $F$. An $F$-embedding $\varphi : K \to L$ is a field embedding such that $\varphi |_{F} = \operatorname{id}_{F}$.