[jopolous]

Another nit, not all algebraic extensions are finite dimensional. Just adjoin an infinite number of linearly independent roots (square roots, cube roots, etc). Algebraic, but not finite