Talk:Countably generated module