Somme Directe

Une construction qui forme un nouvel objet à partir d'une famille d'objets en prenant des tuples et en autorisant typiquement seulement un nombre fini de composantes non nulles (dans le cas algébrique usuel de somme directe finie), avec opérations composantes et injections de chaque composante.

Construction qui combine une famille de modules ou de groupes en un objet constitué de n-uplets ayant un nombre fini de composantes non nulles, les opérations étant définies composante par composante ; c'est le coproduit dans la catégorie des modules.