 Finite quotient representation

A representation factors through a finite quotient exactly when its kernel contains the defining kernel of that quotient.