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