wichtiger Begriff für die Theorie komplexer Räume.

Ist X ein komplexer Raum und G eine Untergruppe der Automorphismengruppe \begin{eqnarray}Aut\ (X):=\{f:X\to X\ \text{biholomorph}\},\end{eqnarray}

dann nennt man G eine Transformationsgruppe von X. Eine Transformationsgruppe G auf dem komplexen Raum X operiert

i) frei, wenn außer id_X kein Element g ∈ G einen Fixpunkt in G besitzt, und

ii) eigentlich diskontinuierlich, wenn es für jede kompakte Menge K ⊂ X nur endlich viele g ∈ G gibt, so daß K ∩ g (K) ≠ ∅.

Wenn G eine Transformationsgruppe auf einem komplexen Raum X ist, dann wird durch \begin{eqnarray}{{x}_{1}} {\sim} {{x}_{2}}:\iff \exists g \in G\ \text{mit}\ g{x}_{1}={x}_{2}\end{eqnarray}

eine Äquivalenzrelation R_G auf X bestimmt, deren Äquivalenzklassen die Orbits G (x) := {gx; g ∈ G} bezüglich G sind. Der Quotientenraum X/R_G heißt Orbitraum. Für einen reduzierten komplexen Raum X schreibt man auch X/G. Es gilt folgender Satz.

Sei X eine komplexer Raum und G ⊂ Aut (X) eine Untergruppe. Wenn G endlich ist, oder wenn X reduziert ist, und G eigentlich diskontinuierlich auf X operiert, dann ist der geringte Raum X/R_G ein komplexer Raum.