En mathématiques, plus particulièrement en algèbre, une extension d'un corps commutatif K est un corps L qui contient K comme sous-corps.
Par exemple, le corps ℂ des nombres complexes est une extension du corps ℝ des nombres réels, qui est lui-même une extension du corps ℚ des nombres rationnels.
On note parfois L/K pour indiquer que L est une extension de K.