Operation der algebraischen Gruppe G auf der algebraischen Varietät X so, daß die kanonische Abbildung G × X → X × X, (g, x) → (g(x), x) eine abgeschlossene Einbettung ist.

Wenn X = Spec(A) ein affines K-Schema ist und G = SpecK[G] eine affine algebraische Gruppe über K, K ein Körper, die auf X operiert, dann ist die Operation frei genau dann, wenn die kanonische Abbildung A ⊗_KA → A ⊗_KK[G] surjektiv ist.

Eine schwächere Bedingung ist die mengentheoretische Freiheit der Gruppenoperation:

\begin{eqnarray}G_{x}=\{g\in G\vert g(x)=x\}=\{\mathrm{id}\}\end{eqnarray}

So ist z. B. die Operation der additiven Gruppe von ℂ auf der Menge

\begin{eqnarray}t(x_{1},x_{2},x_{3})=(x_{1},x_{2}+tx_{1},x_{3}+tx_{2}+\frac{1}{2}t^{2}x_{1})\end{eqnarray}