Basic Module Theory