Constructively describing orbit spaces of finite groups by few inequalities

Philippe Moustrou, Cordian Riener, Robin Schabert

Let $G$ be a finite group acting linearly on ${\mathbb{R}}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space ${\mathbb{R}}^n//G$ as a…