# Suma directa de módulos

Un coproducto $(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

* Consideremos un anillo R y la categoría de R-módulos por la izquierda. En este caso, la suma directa de una familia de R-módulos existe y es única. La construcción se puede hacer de la siguiente manera:
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}$
* Un caso particular de lo anterior es el caso en que R es cuerpo, es decir cuando estamos en la categoría de espacios vectoriales sobre un cuerpo dado. En este caso, dado V espacio vectorial y W, U dos subespacios de V, tales que $W\cap U=\{0\}$, podemos definir la suma directa interna, denotada $W\oplus U$, como el subespacio generado por W y U. No es difícil probar que este subespacio es isomorfo a la suma directa definida en el punto anterior.
* Otro caso es la suma directa de grupos abelianos, ya que la categoría de grupos abelianos es equivalente a la categoría de $\mathbb {Z}$-módulos.

## Suma directa de espacios vectoriales

Dados dos subespacios vectoriales $F_{1},F_{2}$ de un espacio vectorial $E$, podemos definir la suma directa interna de $F_{1},F_{2}$, y diremos que $F_{1}$ y $F_{2}$ están en suma directa, si, y sólo si, para todo elemento $u\in F_{1}+F_{2}$ existe una única pareja $(u_{1},u_{2})\in F_{1}\times F_{2}$ tal que $u=u_{1}+u_{2}$. En este caso, escribiremos $F_{1}\oplus F_{2}$. En este caso se puede decir también que la suma $F_{1}+F_{2}$ es directa.
Dicho de otro modo, la suma de dos subespacios vectoriales $F_{1}$ y $F_{2}$ es directa si la descomposición de todo elemento de $F_{1}+F_{2}$ como suma de un elemento de $F_{1}$ y un elemento de $F_{2}$ es única.
Esta noción se puede generalizar a familias finitas de subespacios de $E$. Diremos que $\{F_{1},\dots ,F_{k}\}$ están en suma directa si, y sólo si, para todo elemento de la suma $F_{1}+\dots +F_{k}$, existe una única $k$-tupla $(u_{1},\dots ,u_{k})\in F_{1}\times \dots \times F_{k}$ tal que $u=u_{1}+\dots +u_{k}$.
En dimensión finita, tenemos la siguiente caracterización de que una familia de subespacios estén en suma directa:
* Sean $E$ un espacio vectorial de dimensión finita, $F_{1},\dots ,F_{r}\subseteq E$ subespacios vectoriales y $u_{1},\dots ,u_{r}$ con $u_{i}\in F_{i}\quad \forall i\in \{1,\dots ,r\}$. Son equivalentes:
* $(1)\quad F_{1}\oplus \dots \oplus F_{r}$
* $(2)\quad u_{1}+\dots +u_{r}=0\Rightarrow u_{i}=0\quad \forall i\in \{1,\dots ,r\}$
* $(3)\quad B_{F_{i}}$ es base de $F_{i}\Rightarrow B_{F_{1}}\cup \dots \cup B_{F_{r}}$ es base de $F:=F_{1}+\dots +F_{r}$
* $(4)\quad \dim(F_{1}+\dots +F_{r})=\dim F_{1}+\dots +\dim F_{r}$
* $(5)\quad \forall i\in \{1,\dots ,r\}\quad F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)=\{0\}$
* $(1)\Rightarrow (2):$
* Supongamos que $u_{1}+\dots u_{r}=0$. Tenemos que, en particular, para $u_{1}=\dots =u_{r}=0,\quad u_{1}+\dots +u_{r}=0$, pero, por $(1)$, la forma de escribir $0$ como suma de vectores de $F_{i}$ es única, por lo que necesariamente $u_{1}=\dots =u_{r}=0$.
* $(2)\Rightarrow (3):$
* Por definición, tenemos que, para cada $i$, $F_{i}=\operatorname {span} (B_{F_{i}})$, por lo que $F=F_{1}+\dots +F_{r}=\operatorname {span} (B_{F_{1}}\cup \dots \cup B_{F_{r}})$. Por lo tanto, el conjunto que queremos ver que es base es generador. Sólo hace falta ver, por tanto, que es linealmente independiente. Lo vemos por definición:
* Supongamos que $(\alpha _{1,F_{1}}u_{1,F_{1}}+\dots +\alpha _{d_{1},F_{1}}u_{d_{1},F_{1}})+\dots +(\alpha _{1,F_{r}}u_{1,F_{r}}+\dots +\alpha _{d_{r},F_{r}}u_{d_{r},F_{r}})=0$,
* con $d_{i}=\dim F_{i}$ y $B_{F_{i}}=\{u_{j,F_{i}}\}_{1}^{d_{i}}$ y $\alpha$ escalares. Sólo tenemos que ver que todos estos $\alpha$ son iguales a $0$.
* Observamos que cada paréntesis de la anterior suma se puede considerar como un $u_{i}\in F_{i}$. Así, la anterior condición es equivalente a $u_{1}+\dots +u_{r}=0,\quad u_{i}\in F_{i}\quad \forall i\in \{1,\dots ,r\}$. Pero por hipótesis $(2)$ esto significa que $u_{i}=0\quad \forall i\in \{1,\dots ,r\}$ y, por tanto, que $\alpha _{j,F_{i}}=0\quad \forall i\in \{1,\dots ,r\},j\in \{1,\dots d_{i}\}$.
* Por tanto, por definición, los vectores de todas las bases son linealmente independientes entre ellos y, así, la unión de todas forma una base de la suma de subespacios, como queríamos.
* $(3)\Rightarrow (4):$
* Por definición de dimensión, la dimensión de $F_{1}+\dots +F_{r}$ es el número de vectores linealmente independientes en $B_{F_{1}}\cup \dots \cup B_{F_{r}}$, que genera el espacio $F_{1}+\dots +F_{r}$ (es decir, es el cardinal de una base). Pero, por hipótesis $(3)$, todos lo vectores de $B_{F_{1}}\cup \dots \cup B_{F_{r}}$ son linealmente independientes entre ellos, por lo que $\dim(F_{1}+\dots +F_{r})=$|$B_{F_{1}}$|$+\dots +$|$B_{F_{r}}$|${\overset {\text{def}}{=}}\dim F_{1}+\dots +\dim F_{r}$.
* $(4)\Rightarrow (5):$
* Fijamos $i\in \{1,\dots ,r\}$ arbitrario. Aplicamos la fórmula de Grassmann a $F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)$:
* $\dim \left(F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)\right)+\dim(F_{1}+\dots +F_{r}){\overset {\text{Grassmann}}{=}}\dim F_{i}+\dim \left(\sum _{j\neq i}{F_{j}}\right){\overset {{\text{Grassmann a }}\sum _{j\neq i}{F_{j}}}{\leq }}\dim F_{i}+\sum _{j\neq i}\dim F_{j}=$
* $=\dim F_{1}+\dots +\dim F_{r}{\overset {(4)}{=}}\dim(F_{1}+\dots +F_{r})\Rightarrow \dim \left(F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)\right)\leq 0{\overset {\text{def}}{\Rightarrow }}\dim \left(F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)\right)=0\Rightarrow F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)=\{0\}$
* $(5)\Rightarrow (1):$
* Para ver que la suma es directa, tenemos que ver que hay una única forma de escribir cualquier vector $u\in F_{1}+\dots +F_{r}$ como suma de vectores de $F_{1},\dots ,F_{r}$. Sea, pues, $u\in F_{1}+\dots +F_{r}$ arbitrario y supongamos que $v_{1}+\dots +v_{r}=u=u_{1}+\dots +u_{r}$, con $u_{i},v_{i}\in F_{i}\quad \forall i\in \{1,\dots ,r\}$. Fijamos $i\in \{1,\dots ,r\}$ arbitrario y despejamos de la anterior ecuación $v_{i}-u_{i}$:
* ${\underset {\in F_{i}}{\underbrace {v_{i}-u_{i}} }}={\underset {\in \sum _{j\neq i}{F_{j}}}{\underbrace {\sum _{j\neq i}{(u_{j}-v_{j})}} }}\in F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right){\overset {(5)}{\Rightarrow }}v_{i}-u_{i}=0\Rightarrow v_{i}=u_{i}$
* Y esto para cualquier $i\in \{1,\dots ,r\}$, pues este era arbitrario. Por tanto, la forma de expresar $u$ como combinación de vectores de $F_{1},\dots ,F_{r}$ es única, por lo que la suma es directa $\quad \square$
En dimensión cualquiera, sólo son ciertos aquellos apartados donde no se utiliza que la dimensión sea finita para construir bases o hablar de la fórmula de Grassmann, es decir, en dimensión arbitraria, tenemos la siguiente caracterización:
* Sean $E$ un espacio vectorial, $F_{1},\dots ,F_{r}\subseteq E$ subespacios vectoriales y $u_{1},\dots ,u_{r}$ con $u_{i}\in F_{i}\quad \forall i\in \{1,\dots ,r\}$. Son equivalentes:
* $(1)\quad F_{1}\oplus \dots \oplus F_{r}$
* $(2)\quad u_{1}+\dots +u_{r}=0\Rightarrow u_{i}=0\quad \forall i\in \{1,\dots ,r\}$
* $(5)\quad \forall i\in \{1,\dots ,r\}\quad F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)=\{0\}$
* La demostración la equivalencia se hace de forma circular, como la anterior. De hecho, las demostraciones de $(1)\Rightarrow (2)$ y $(5)\Rightarrow (1)$ no hacían uso de que la dimensión fuera finita, por lo que se pueden reproducir exactamente igual aquí. Por tanto, sólo queda ver que $(2)\Rightarrow (5)$:
* $(2)\Rightarrow (5):$
* Fijamos $i\in \{1,\dots ,r\}$ arbitrario y consideramos $u\in F_{i}\cap \left(\sum _{j\neq i}{F_{j}}\right)$. Si vemos que, necesariamente, $u=0$, habremos acabado. Tenemos que $u\in F_{i}$ y que $u\in \sum _{j\neq i}{F_{j}}\Rightarrow \exists u_{1},\dots u_{i-1},u_{i+1},\dots ,u_{r}$ tales que $u=u_{1}+\dots +u_{i-1}+u_{i+1}+\dots +u_{r}\Rightarrow u_{1}+\dots +u_{i-1}+-u+u_{i+1}+\dots +u_{r}=0$.
* Como $F_{i}$ es un subespacio vectorial, $u\in F_{i}\Rightarrow -u\in F_{i}$, por lo que la expresión anterior es del tipo de $(2)$, lo que nos permite concluir que $u_{1}=\dots =u_{i-1}=u=u_{i+1}=\dots =u_{r}=0$ y, en particular, que $u=0$, como queríamos demostrar. $\quad \square$

### Resultados clásicos relacionados con la suma directa

Los siguientes resultados relacionados con la suma directa son clásicos:
* Dados $E$ un espacio vectorial sobre un cuerpo $\mathbb {K}$ de dimensión finita y $f$ un endomorfismo de $E$ con valores propios $\lambda _{1},\dots ,\lambda _{r}$ distintos dos a dos, si denotamos $E_{i}$ el espacio propio del valor propio $\lambda _{i}$, entonces $E_{1}\oplus \dots \oplus E_{r}$. La demostración de esto se puede ver en el artículo sobre diagonalización.
* Dado $E$ un espacio vectorial sobre un cuerpo $\mathbb {K}$ de dimensión finita, para cualquier subespacio $F\subseteq E$, se tiene que $E=F\oplus F^{\perp }$, con $F^{\perp }$ el complemento ortogonal de $F$. La demostración de esto se puede ver en el artículo sobre el complemento ortogonal.
* Dados $E$ un espacio vectorial sobre un cuerpo $\mathbb {K}$ de dimensión finita, $f$ un endomorfismo de $E$ y un polinomio $p\in \mathbb {K} [t]$ anulador de $f$, i.e. $p(f)=0$, que descompone en factores irreducibles como $p=p_{1}\cdot \dots \cdot p_{r}$, se tiene que $E=\ker p_{1}(f)\oplus \dots \oplus \ker p_{r}(f)$. Por el teorema de Cayley-Hamilton este polinomio puede ser, por ejemplo, el polinomio característico de $f$. Se puede demostrar que para cualquier polinomio, $\ker p(f)$ es un subespacio invariante por $f$. Por tanto, el anterior teorema afirma que para cualquier endomorfismo $f$ de $E$, podemos descomponer $E$ como suma directa de subespacios invariantes por $f$. La demostración de todo esto se puede ver en el artículo sobre subespacios invariantes.