zu einer Lie-Algebra g und einer Unteralgebra h von g die größte Teilalgebra von g, die h als Ideal anthält.

Die explizite Definition ist: Der Normalisator von h in g ist die durch \begin{eqnarray}{N}_{g}(h)=\{x|[x,h]\subset h\}\end{eqnarray}

definierte Teilalgebra von g.