Пусть R — левое нётерово кольцо, тогда почему категория всех конечно-порождённых левых R-модулей (где стрелки — все морфизмы данных модулей) является абелевой?
Пусть R — левое нётерово кольцо, тогда почему категория всех конечно-порождённых левых R-модулей (где стрелки — все морфизмы данных модулей) является абелевой?