direct sum of modules

operation in abstract algebra