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>.