ein Quotient Y einer algebraischen Varietät unter der Operation einer algebraischen Gruppe G, d. h. ein G-invarianter Morphismus π : X → Y mit folgenden Eigenschaften:

1. π ist affin und surjektiv,
2. \({\pi }_{\ast }\,(\mathcal{O}_{X}^{G})=\mathcal{O}_{Y}\),
3. für alle G–invarianten, abgeschlossenen V ⊆ X ist π(V) abgeschlossen. Für alle G–invarianten, abgeschlossenen V₁, V₂ ⊆ X mit V₁ ∩ V₂ = ∅ gilt auch π(V₁) ∩ π(V₂) = ∅.