Suma Directa

Una construcción que forma un nuevo objeto a partir de una familia de objetos tomando tuplas y permitiendo típicamente sólo un número finito de componentes no nulas (en el caso algebraico usual de suma directa finita), con operaciones por componentes e inyecciones desde cada sumando.

Construcción que combina una familia de módulos o grupos en un objeto mayor formado por tuplas con un número finito de componentes no nulas, con operaciones definidas componente a componente; sirve como coproducto en la categoría de módulos.