## [Fallo del Levantamiento de Idempotentes](/es/node/64031) Definición Situación en una proyección de anillos o álgebras π: A → A/I donde un idempotente e ∈ A/I (e^2 = e) no tiene ningún preimagen idempotente p ∈ A con π(p) = e; el cociente contiene una proyección que no se levanta a un idempotente en la fuente. ## Principio Principio La idea organizadora es que las descomposiciones algebraicas visibles en el cociente deberían realizarse en el anillo original mediante idempotentes; su fallo indica obstrucciones en la estructura del anillo o en el ideal I que impiden la separación de módulos o sumandos directos. ## Demostración Demostración Dada una suryección A → A/I y e ∈ A/I con e^2 = e, el fallo del levantamiento significa que no existe p ∈ A con p^2 = p que proyecte sobre e. Tales fenómenos aparecen en anillos no semiperfectos y en construcciones usando límites directos infinitos o anillos de matrices infinitas que generan obstrucciones al despiece. ## Aplicación incorrecta Aplicación incorrecta Suponer sin comprobar que todo idempotente del cociente se levanta conduce a descomposiciones erróneas de módulos, afirmaciones falsas sobre la proyectividad de sumandos y pruebas inválidas basadas en sumandos inexistentes. ## Consecuencia Consecuencia Si los idempotentes se levantan, se obtienen descomposiciones en suma directa de módulos y una correspondencia entre idempotentes primitivos arriba y abajo; el fallo rompe estas correspondencias y puede obstaculizar la clasificación de módulos y argumentos tipo Morita. ## Inversión Inversión La propiedad inversa es la propiedad de levantamiento de idempotentes: cada idempotente en A/I tiene un levantamiento idempotente en A. El contraste pone en evidencia anillos cuyos cocientes reflejan fielmente despieces frente a aquellos donde aparecen idempotentes artificiales en el cociente. ## Límite Límite El concepto se aplica a anillos, álgebras y sus cocientes por ideales bilaterales; excluye contextos analíticos (por ejemplo, proyecciones en C*-álgebras) salvo que se incluya explícitamente la topología o la estructura *. ## Tensión semántica Tensión semántica Existe tensión entre 'levantar idempotentes' y variantes como 'levantar idempotentes centrales' o 'levantar proyecciones autoadyacentes': la centralidad o la estructura * imponen condiciones más fuertes, de modo que un fallo general puede coexistir con un comportamiento distinto para idempotentes más estructurados. ## Síntesis Síntesis El fallo del levantamiento de idempotentes es una obstrucción bien definida: un idempotente presente en el cociente carece de preimagen idempotente en el anillo, señalando patologías del ideal o del anillo que impiden realizar en el origen las descomposiciones vistas en el cociente.