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

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