## [Adición de una Unidad](/es/node/63826) Definición 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 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 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 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 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 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 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 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 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.