Let $G$ be a reductive group over a field $k$. Then there is a natural functor from the category of representations of $G$ to the category of representations of $G(k)$.

Under which circumstances can one say that this functor is a) full and b) faithful?