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

1. π ist offen und surjektiv,

2. \({\pi }_{* }({{\mathscr{O}}}_{X}^{G})\space =\space {{\mathscr{O}}}_{Y}\),

3. π ist eine Orbitabbildung, d. h. die Fasern von π sind Orbits von G.

Nach einem allgemeinen Resultat von Rosenlicht existiert (in Charakteristik 0) stets eine G-stabile dichte Teilmenge U ⊆ X so, daß auf U der geometrische Quotient existiert.

Wenn G reduktiv ist und X = Spec(A), A eine Algebra von endlichem Typ über K, dann ist X → Spec(A^G) geometrischer Quotient genau dann, wenn alle Orbits abgeschlossen sind und dieselbe Dimension haben.