Identidad Aditiva
La identidad aditiva es el cero: sumar cero a cualquier número lo deja sin cambio.
Formula
a + 0 = a
Definition
La identidad aditiva es el cero: sumar cero a cualquier número lo deja sin cambio. Formalmente, la identidad aditiva de un sistema numérico es el elemento $e$ tal que $a + e = e + a = a$ para todo $a$; en los enteros, los racionales, los reales, y los complejos este elemento es $0$, y es único en cualquier grupo, ya que si tanto $e$ como $e'$ satisficieran la propiedad de identidad, $e = e + e' = e'$. En un grupo $(G,+)$, esta identidad satisface $a+0=0+a=a$ para todo $a$; un anillo requiere además que $0 \cdot a = 0$ para todo $a$ (la propiedad de absorción), y todo homomorfismo de grupos debe enviar una identidad a la otra.
Example
$7 + 0 = 7$ y $0 + 100 = 100$: sin importar con qué número empieces, sumar cero nunca lo cambia. En $\mathbb{Z}/5\mathbb{Z}$: $3 + 0 = 3$ y $0 + 3 = 3$, el cero sigue siendo la identidad aditiva, y en un espacio vectorial el vector cero cumple el mismo papel, $\vec{v} + \vec{0} = \vec{v}$. La identidad aditiva genera el subgrupo trivial $\{0\}$ en cualquier grupo, y todo homomorfismo debe enviar la identidad de un grupo a la identidad del otro.
Key Insight
El cero es el número "que no hace nada" para la suma: el resultado es idéntico a lo que empezaste. La identidad aditiva es única en todo grupo abeliano, mediante la misma demostración breve cada vez. Juega un papel central en la teoría de homomorfismos: la identidad aditiva es esencialmente el núcleo de la función identidad, anclando la estructura de todo grupo y anillo construido sobre ella.