Polynomial Invariant Theory of the Classical Groups

Abstract

The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of basic invariants for the classical groups GL$(V)$, O$(n)$, and Sp$(n)$ for $n$ even. In the first half of the paper we set up relevant definitions and theorems for our search for the set of basic invariants, starting with linear algebraic groups and then discussing associative algebras. We then state and prove a monumental theorem that will allow us to proceed with hope: it says that the set of basic invariants is finite if $G$ is reductive. Finally we state without proof the First Fundamental Theorems, which aim to list explicitly the relevant sets of basic invariants, for the classical groups above. We end by commenting on some applications of invariant theory, on the history of its development, and stating a useful theorem in the appendix whose proof lies beyond the scope of this work.