忠实表示

一个群 的表示 如果它是单射的，则称为忠实表示，即如果 意味着 对于 。 等价地，如果 是忠实的，则 意味着 ，其中 是 的维度， 是 单位矩阵，而 是 的 单位元素。