Polarization of Separating Invariants

We prove a characteristic free version of Weyl's theorem on polarization. Our result is an exact analogue of Weyl's theorem, the difference being that our statement is about separating invariants rather than generating invariants. For the special case of finite group actions we introduce the concept of cheap polarization, and show that it is enough to take cheap polarizations of invariants of just one copy of a representation to obtain separating vector invariants for any number of copies. This leads to upper bounds on the number and degrees of separating vector invariants of finite groups.