 Chevalley restriction theorem

The Chevalley restriction theorem is a significant result in the field of representation theory of algebraic groups and Lie algebras. The theorem provides a way to relate the representations of a group defined over an algebraically closed field to those of a subgroup. Here's a more detailed overview of its formulation: ### Context The theorem is named after Claude Chevalley and involves the study of representations of algebraic groups, which are groups defined in terms of algebraic varieties.