A representation 
of a group 
is faithful if it is one-to-one,
i.e., if 
implies 
for 
.
Equivalently, 
is faithful if 
implies 
,
where 
is the dimension of 
, 
is the 
identity matrix,
and 
is the identity element of 
.
Faithful Representation
See also
Faithful Group ActionThis entry contributed by David Terr
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by David Terr. "Faithful Representation." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/FaithfulRepresentation.html