Field embedding (source code)

= Field embedding

A field embedding $L\to\Omega$ is an injective field homomorphism. A $K$-embedding fixes every element of the base field $K$.