faithful representation

group representation that is an injective group homomorphism into the linear group over a vector space