Eine Darstellung
einer Gruppe in einen K {\displaystyle {}K} -Vektorraum V {\displaystyle {}V} heißt treu, wenn ρ {\displaystyle {}\rho } injektiv ist.