A fundamental result in representation theory is Kostant’s
theorem which describes the algebra of polynomials on a reductive Lie
algebra as a module over its invariants.
We will review this reselt and prove a quantum analogue
of it for the general linear group