Charles at Rigorous Trivialities has written a post outlining the proof of two pretty theorems from the invariant theory of finite groups: Noether’s theorem that the ring of invariants is finitely generated, and Molien’s formula for the number of homogeneous invariants of a given degree.