Field extension

A field extension is a homomorphism of fields $K\hookrightarrow L$. It is denoted as $K\subseteq L$.

Remarks

• Any homomorphism of fields is injective, so $K$ can be identified with its image in $L$; we simply regard $K$ as a subfield of $L$.