module theory lecture notes