Definición
Un elemento e de un semigrupo, anillo o álgebra que satisface e·e = e; en anillos unitarios los idempotentes son elementos que proyectan sobre sumandos y comprenden los idempotentes triviales 0 y 1.
Principio
Principio
La ecuación idempotente e^2 = e organiza descomposiciones: cada idempotente determina una división de tipo proyección de módulos o espacios y etiqueta subestructuras complementarias mediante 1−e cuando existe unidad.
Demostración
Demostración
En álgebra lineal, una matriz de proyección ortogonal P cumple P^2 = P; en el anillo Z/6Z la clase 3 es idempotente porque 3·3 ≡ 3 (mod 6), proporcionando una descomposición no trivial del anillo en ideales.
Aplicación incorrecta
Aplicación incorrecta
Confundir elementos nilpotentes o proyecciones aproximadas con idempotentes, o asumir que los idempotentes son centrales sin comprobar la conmutatividad, conduce a descomposiciones incorrectas y a propiedades de conmutación falsas.
Consecuencia
Consecuencia
La identificación correcta de idempotentes conduce a descomposiciones en suma directa de módulos, descomposiciones de Peirce de álgebras y operadores de proyección explícitos que separan sucesiones exactas cuando son compatibles con las aplicaciones de estructura.
Inversión
Inversión
La inversión es un elemento que no verifica e^2 = e: los nilpotentes satisfacen e^n = 0 para algún n>0, y las unidades satisfacen e·e^{-1} = 1 en lugar de idempotencia; 1−e es idempotente si e lo es en un anillo unitario, dando la proyección complementaria.
Límite
Límite
La definición se aplica en semigrupos, anillos, álgebras y monoides de endomorfismos; excluye los elementos idempotentes solo hasta conjugación u homotopía (idempotentes aproximados o módulo nilpotentes) y requiere que la multiplicación sea asociativa para las consecuencias habituales.
Tensión semántica
Tensión semántica
Idempotente entra en tensión con «operador de proyección» (contexto analítico/operador) y con «identidad» (el idempotente especial 1); hay que distinguir idempotentes estructurales que parten módulos de proyecciones analíticas que solo son idempotentes en límite o en una topología más débil.
Síntesis
Síntesis
Un elemento idempotente es una proyección algebraica genuina: un punto fijo multiplicativo que marca la separación del objeto ambiente en partes complementarias y que debe tratarse con cuidado en contextos no centrales o sin unidad.