Isomorphism extension theorem

The theorem states that given any field ${\displaystyle F}$, an algebraic extension field ${\displaystyle E}$ of ${\displaystyle F}$ and an isomorphism ${\displaystyle \phi }$ mapping ${\displaystyle F}$ onto a field ${\displaystyle F'}$ then ${\displaystyle \phi }$ can be extended to an isomorphism ${\displaystyle \tau }$ mapping ${\displaystyle E}$ onto an algebraic extension ${\displaystyle E'}$ of ${\displaystyle F'}$ (a subfield of the algebraic closure of ${\displaystyle F'}$).

The proof of the isomorphism extension theorem depends on Zorn's lemma.

• D.J. Lewis, Introduction to algebra, Harper & Row, 1965, Chap.IV.12, p.193.