Problem class: computation with module morphisms (kernel, image, subquotient, Hom_R)

Class:
Algorithmic Task