Un teorema estructural para álgebras asociativas de dimensión finita que afirma que, bajo una condición de escisión, un álgebra A se descompone como suma semidirecta (o suma de espacios vectoriales) A = S ⊕ R, donde R es el radical de Jacobson y S es una subálgebra semisimple isomorfa al cociente semisimple A/R; la descomposición proporciona un complemento semisimple al radical cuando existe la escisión.

Principio

Las álgebras asociativas de dimensión finita sobre cuerpos con hipótesis apropiadas de separabilidad o escindibilidad admiten un complemento al radical: el cociente semisimple puede elevarse a una subálgebra semisimple dentro de A, dando un escindido de la sucesión exacta 0 → R → A → A/R → 0 a nivel de álgebras (hasta conjugación interior).

Demostración

Para el álgebra de matrices triangulares superiores n×n sobre un cuerpo, el radical R son las matrices estrictamente triangulares superiores y un complemento semisimple S son las matrices diagonales; A = S ⊕ R realiza la descomposición de Wedderburn–Malcev de forma concreta.

Aplicación incorrecta

Suponer que la descomposición es canónica o que existe sin verificar las hipótesis de separabilidad/escisión; suponer la unicidad del complemento semisimple (en general no es único y está definido hasta conjugación interior), o aplicarlo a álgebras de dimensión infinita donde la afirmación puede fallar.

Consecuencia

Permite reducir problemas de clasificación y teoría de representaciones a la parte semisimple y a la acción de la subálgebra semisimple sobre el radical, estudiando módulos por restricción a S y entendiendo los datos de extensión codificados en R.

Inversión

Cuando no existe complemento semisimple, el álgebra no se escribe como S ⊕ R y la estructura impide la reducción a las partes semisimple y radical; ello señala un comportamiento no escindible o no separable del cociente y datos de extensión más intrincados.

Límite

Se aplica a álgebras asociativas de dimensión finita sobre cuerpos que cumplen las condiciones necesarias de escisión/separabilidad (por ejemplo sobre cuerpos perfectos o en característica cero cuando el cociente semisimple es separable); excluye muchas álgebras de dimensión infinita, estructuras no asociativas y casos donde el cociente semisimple no se eleva dentro de A.

Tensión semántica

Se relaciona con el teorema de Wedderburn–Artin (clasificación de álgebras semisimples) y con la descomposición de Levi en teoría de Lie; la tensión surge porque Wedderburn–Malcev ofrece una escisión interna si es posible, pero no garantiza unicidad, por lo que las descripciones estructurales deben manejar elecciones no canónicas.

Síntesis

La descomposición de Wedderburn–Malcev es el análogo asociativo de una escisión de Levi: cuando el cociente semisimple de un álgebra de dimensión finita se eleva, se obtiene una subálgebra semisimple interna que complementa el radical y aísla las partes semisimple y nilpotente para el análisis estructural y de representaciones.