La dimension essentielle d'un objet algébrique est le plus petit nombre de paramètres algébriquement indépendants nécessaires pour définir l'objet. Cette notion a été introduite par J. Buhler et Z. Reichstein en 1997. On parlera de sa relation avec différents domaines de l'algèbre comme géométrie algébrique, cohomologie galoisienne et théorie de représentations.