Representation theory notes; added TODO