algebraischer Begriff.

Es sei G eine algebraische Gruppe, die auf der algebraischen Varietät X durch den Morphismus ϕ : G × X → X operiert (man schreibt gewöhnlich bei fixierter Operation gx = g(x) = ϕ(g, x)). Y heißt Quotient von G bezüglich X, wenn es einen G–invarianten Morphismus π : X → Y gibt, d. h. π(x) = π(g(x)) für alle g ∈ G.

Meist haben die Quotienten noch weitere Eigenschaften. Das führt zu den geometrischen Quotienten, den guten Quotienten, oder den kategorialen Quotienten. Dabei sind geometrische Quotienten auch gute Quotienten, und gute Quotienten auch kategoriale Quotienten.

Siehe auch Quotient bzgl. einer Gruppenwirkung.