Definition:Algebraic Closure

From ProofWiki
Jump to navigation Jump to search

Definition

Let $K$ be a field.


An algebraic closure of $K$ is an algebraically closed algebraic field extension of $K$.


An algebraic closure of $K$ can be denoted $\overline K$.


Also see

from which every field has exactly one algebraic closure, up to isomorphism. Consequently we may refer to the algebraic closure of $K$.


Sources