Computations with finitely generated modules over Dedekind rings | Proceedings of the 1991 international symposium on Symbolic and algebraic computation
11. Finitely-generated modules
abstract algebra - A finitely generated torsional free module A over a principal ideal domain is free - Mathematics Stack Exchange
ON EPIMORPHISMS TO FINITELY GENERATED MODULES
abstract algebra - Basis of a subset of finitely generated torsion-free module - Mathematics Stack Exchange
Generators and relations for Finitely Generated Modules - YouTube