Linear quotients are orbit spaces of the action of a finite group $G$ on a finite-dimensional vector space $V$ over $\mathbb C$. Formally, we define $V/G := \operatorname{Spec}\mathbb C[V]^G$. Notice that the invariant ring $\mathbb C[V]^G$ is an affine algebra by a theorem of Hilbert-Noether.


This part of OSCAR is in an experimental state; please see Adding new projects to experimental for what this means. See also the dedicated for details.


Please direct questions about this part of OSCAR to the following people:

You can ask questions in the OSCAR Slack.

Alternatively, you can raise an issue on github.