18.715 Intro to Representation Theory