We begin with a brief exposition of module theory from the first definitions to basic constructions such as the tensor product. We then discuss exact sequences and the module theory that arises in the study of them including the notions of projective and injective modules and their connection to the Hom functor. Lots of examples will be given.