Finding and building algebraic structures in finite-dimensional Hilbert spaces for quantum computation and quantum information