needs definition of 1) Coset 2) Stabilizer 3) centralizer 4) Pauli group 5) Faithful representation 6) regular representation 7) adjoint representation