Modules#
Modules over Rings
Module constructors, submodules and quotients.
Free Modules
Free modules, bases and rank.
Finitely Generated Modules
Smith normal form, torsion and presentations.
Homological Constructions
Ext, Tor and projective resolutions.