Representation theory of sl 2