In mathematics, especially in an area of abstract algebra known as representation theory, a faithful representation ρ of a group G on a vector space V is a linear representation in which different elements g of G are represented by distinct linear mappings ρ(g). In more abstract language, this means that the group homomorphism ρ : G → G L ( V ) {\displaystyle \rho :G\to GL(V)} is injective (or one-to-one).