Chevalley–Iwahori–Nagata theorem

In mathematics, the Chevalley–Iwahori–Nagata theorem states that if a linear algebraic group G is acting linearly on a finite-dimensional vector space V, then the map from V/G to the spectrum of the ring of invariant polynomials is an isomorphism if this ring is finitely generated and all orbits of G on V are closed (Dieudonné & Carrell 1970, 1971, p.55). It is named after Claude Chevalley, Nagayoshi Iwahori, and Masayoshi Nagata.

References

• Dieudonné, Jean A.; Carrell, James B. (1970), "Invariant theory, old and new", Advances in Mathematics, 4: 1–80, doi:10.1016/0001-8708(70)90015-0, ISSN 0001-8708, MR 0255525 
• Dieudonné, Jean A.; Carrell, James B. (1971), Invariant theory, old and new, Boston, MA: Academic Press, doi:10.1016/0001-8708(70)90015-0, ISBN 978-0-12-215540-6, MR 0279102