Afirmación de que existe un elemento distinguido e en un conjunto con operación binaria · tal que para todo elemento a se cumple e·a = a·e = a; e se denomina identidad o elemento neutro de esa operación.

Principio

Neutralidad: el elemento identidad actúa como unidad respecto a la operación, dejando inalterado a cada elemento y sirviendo de referencia para la invertibilidad y la clasificación estructural.

Demostración

En (R, +) el elemento 0 es la identidad aditiva porque 0 + a = a + 0 = a para todo real a; en (R\{0}, ×) el número 1 es la identidad multiplicativa puesto que 1·a = a·1 = a.

Aplicación incorrecta

Confundir identidad con idempotencia o asumir que toda estructura algebraica tiene identidad; algunos semigrupos carecen de identidad y ciertos anillos no son unitarios.

Consecuencia

La existencia de una identidad permite definir unidades (elementos invertibles), facilita resolver ecuaciones usando inversos y genera homomorfismos canónicos que preservan la identidad.

Inversión

Elemento absorbente o ausencia de unidad: un elemento absorbente z satisface a·z = z·a = z (por ejemplo el cero en la multiplicación), lo que es conceptualmente opuesto al comportamiento neutro de una identidad; algunas estructuras no tienen identidad.

Límite

Se aplica a una operación concreta y exige que e actúe de forma neutra con todos los elementos; la identidad es única si existe, pero su existencia no está garantizada en sistemas algebraicos generales.

Tensión semántica

Identidad vs función identidad/empotencia: 'elemento identidad' es un término algebraico y no debe confundirse con la función identidad ni con elementos idempotentes que satisfacen a·a = a en lugar de actuar como neutros sobre otros elementos.

Síntesis

La ley de identidad señala un elemento neutro que deja intactos los operandos bajo la operación; esta unidad es esencial para definir inversos, unidades y para organizar la estructura algebraica.