LECTURE NOTES ON LINEAR CODES DEFINED OVER FINITE MODULES: THE EXTENSION THEOREM AND THE