Construcción que inserta una estructura algebraica sin unidad (anillo, álgebra, etc.) en una unidadal añadiendo formalmente un elemento identidad multiplicativo y extendiendo las operaciones para que ese elemento actúe como identidad.

Principio

Introducir un nuevo elemento 1 e imponer las relaciones 1·x = x·1 = x para todo elemento x original, y extender la multiplicación y la suma de forma compatible; categóricamente es una adjunción universal que produce un objeto unitario con un homomorfismo canónico desde el original.

Demostración

Para una k-álgebra A sin unidad, formar la unitización A˜ = k ⊕ A con producto (λ,a)·(μ,b) = (λμ, λb + μa + a b). El elemento (1,0) es la identidad multiplicativa y A se inyecta como {0} × A.

Aplicación incorrecta

Añadir una unidad sin comprobar la interacción con estructuras adicionales puede romper propiedades deseadas: por ejemplo, añadir formalmente una identidad a un álgebra topológica sin completar la topología puede destruir la completitud o la continuidad.

Consecuencia

La estructura original pasa a ser un subobjeto (a menudo un ideal) de un álgebra unitaria; los mapas universales desde el original se extienden de manera única a homomorfismos unitarios desde la unitización, permitiendo técnicas que requieren identidad.

Inversión

Quitar la unidad añadida devuelve al ideal de augmentación o a la álgebra no unitaria original; categóricamente, esto corresponde al fonctor olvido de objetos unitarios a no unitarios que simplemente olvida la identidad.

Límite

Se aplica a estructuras algebraicas donde tiene sentido una identidad multiplicativa; la construcción no preserva automáticamente finitud, topología, graduación u otras estructuras adicionales salvo que se trate explícitamente en la definición de la unitización.

Tensión semántica

Puede confundirse con localización o la adición de un idempotente: la unitización añade universalmente una identidad central, mientras que la localización invierte elementos y la adición de idempotentes genera efectos algebraicos distintos; 'unitización' y 'adición de una unidad' se usan con énfasis diferente.

Síntesis

La adición de una unidad es el proceso universal que convierte un objeto algebraico sin unidad en uno con unidad añadiendo una identidad formal y extendiendo las operaciones para que el original quede como ideal o subobjeto, permitiendo homomorfismos unitarios y técnicas dependientes de la existencia de la unidad.