Needs definitions: 1) Coset 2) regular representation 3) normalizer 4) adjoint representation, 5) lie algebra commutation relations 6) jacobi identity, ...
Representation theory needs to be finished.
