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