comment tweaks
update to 8-Dec
TMP
contrib comments, homGrp/homLM
elementary theory of group homomorphisms
define left module homomorphisms
homomorphic splitting of finite generation, de-deduction the lsslss stuff
exact series theorem for Noetherian modules