Diferencia entre revisiones de «Suma directa de módulos»

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

* Otro caso es la suma directa de grupos abelianos, ya que la categoría de grupos abelianos es equivalente a la categoría de <math>\mathbb Z</math>-módulos.