Suma directa

Un coproducto o suma directa para una familia (A_i)_{i \in I} de objetos en una categoría C, es un objeto S de C, junto a una familia de morfismos f_i\colon A_i \to S (i \in I) tal que para cualquier objeto B y una familia de morfismos g_i\colon A_i \to B, existe un único morfismo g\colon S \to B tal que g \circ f_i = g_i.

No hay una notación uniforme para los coproductos o sumas directas y algunas veces se denota \bigoplus_{i\in I}A_i.

Ejemplos

Sea (A_i)_{i \in I} una familia de R-módulos por la izquierda, entonces definimos

S := \{ (a_i)_{i \in I}: a _i \in A_i y todos los a_i son cero, excepto un número finito de ellos \}, y definimos
f_i\colon A_i \to S como la inclusión de A_i en la i-ésima coordenada de S.

Y definimos la suma de elementos en S, y el producto escalar, de un elemento k \in R por uno de S de la siguiente manera, coordenada a coordenada:

(a_i)_{i \in I} + (b_i)_{i \in I} := (a_i + b_i)_{i \in I}
k(a_i)_{i \in I} := (ka_i)_{i \in I}



Enlaces externos

This article is issued from Wikipedia - version of the Wednesday, September 17, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.