Invariant Theory
摘要
This is a tutorial on invariant theory in OSCAR. We begin by introducing some of the basic notions and results of invariant theory in their historical context. Then we discuss relevant algorithms and show them at work. Finally, we describe a quite recent application of invariant theory to computing the Cox ring of a linear quotient.