Introduction

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.

Status

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

Contact

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.