1 Answers
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 ρ.
In more abstract language, this means that the group homomorphism
is injective.
Caveat: While representations of G over a field K are de facto the same as K-modules denoting the group algebra of the group G], a faithful representation of G is not necessarily a faithful module for the group algebra. In fact each faithful K-module is a faithful representation of G, but the converse does not hold. Consider for example the natural representation of the symmetric group Sn in n dimensions by permutation matrices, which is certainly faithful. Here the order of the group is n! while the n × n matrices form a vector space of dimension n. As soon as n is at least 4, dimension counting means that some linear dependence must occur between permutation matrices ; this relation means that the module for the group algebra is not faithful.