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.