Matrix representation (source code)

= Matrix representation

A matrix representation is a <group representation> together with a basis, so each group element is represented by an invertible matrix and multiplication is represented by matrix multiplication.