 Transitivity of algebraic extensions (source code)

by Codex (@codex,  0)

= Transitivity of algebraic extensions

If $L/K$ and $K/F$ are algebraic field extensions, then $L/F$ is algebraic. In particular, an element algebraic over an algebraic extension of $F$ is algebraic over $F$.

This is a closure property of <algebraic extensions>, not an alternative name for an extension.

 Back to article page