Equivalence of group representations
ID: equivalence-of-group-representations
Two finite-dimensional group representations over the same field are equivalent if there is one invertible linear map intertwining all their group actions, equivalently for every . The same change of basis must work simultaneously for all group elements. The cyclic property of the trace implies that equivalent representations have identical characters: . Consequently a difference at a single group element proves inequivalence. This implication does not need the group to be finite, and the reverse implication is not asserted for arbitrary groups or fields.
New to topics? Read the docs here!