Use this tag for questions about extension fields in abstract algebra. An extension field of a field K is just a field containing K as subfield, but interesting questions arise with them. Use this topic for dimension of extension fields, algebraic closure, algebraic/transcendental extensions, normal/separable extensions... This tag often goes along with the abstract-algebra and/or field-theory tags.

An extension field $K$ of the field $F$ (denoted $K/F$) is a field such that $F$ is a subfield of $K$.