Needs definitions: 1) Coset 4) Pauli group 6) regular representation 7) adjoint representation
Representation theory needs to be finished.