⁵More rigorously, the representation is a map from each element in the group to the corresponding matrix representation