Is the algebraic closure of a field the maximal extension field? It happens to be maximal algebraic extension field but is it also maximal extension field. Note: Such as fieldexistsby partial ordering a set of extension fields and applying Zorn's lemma.