Direct sum of modules