On the finite generation of subrings

It is well known that if G is a finite group acting on a finitely generated k-algebra A, then the ring of invariants A^G is also finitely generated over k. I will present several proofs as well as vast generalizations of this fact.