Definition 1.1Representation
Representation: realise the group as matrices; each element becomes an invertible linear map, compatibly with multiplication.
Why: turns group theory into linear algebra, where we have traces, eigenvalues and dimensions.
Tiny example: acting on by the rotations and reflections of a square.
Needs: Proposition 3.2, Corollary 3.3, Definition 5.1
Leads to: Definition 1.2