##  [Cálculo del Socle](/es/node/63841) 

 Definición

El procedimiento de determinación del socle de un módulo o álgebra: el socle es la suma de todos los submódulos mínimos no nulos (equivalente al mayor submódulo semisimple), que se calcula detectando submódulos simples y sumándolos.

 

 

 

 

 

 





## Principio

Principio

Identificar todos los submódulos simples o los elementos cuyo submódulo cíclico sea simple (anulado por un ideal maximal) y formar su suma; alternativamente, calcular el anulador del radical de Jacobson en muchos contextos de dimensión finita o artinianos, puesto que el socle coincide entonces con dicho anulador.

 

 

 

 

 





## Demostración

Demostración

Para el módulo k[x]/(x^2) sobre un cuerpo k, el socle es el ideal generado por la clase de x porque x es anulado por x y el submódulo que genera es simple. Para un módulo de una álgebra de dimensión finita descompuesto en factores de composición, el socle es la suma directa de todas las copias de módulos simples que aparecen como capas inferiores en una serie de composición.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Suponer que el socle es siempre no nulo o que equivale a un complemento del radical; para muchos módulos sobre anillos no artinianos el socle puede ser nulo. Otro uso indebido es confundir socle con top (cabeza): el socle es el mayor submódulo semisimple mientras que el top es el mayor cociente semisimple, y se comportan de forma distinta bajo dualidad y sucesiones exactas.

 

 

 

 

 





## Consecuencia

Consecuencia

Calcular el socle revela el núcleo semisimple de un módulo: identifica los constituyentes irreducibles situados en la base de la retícula de submódulos, guía la construcción de envolventes inyectivas mínimas y ayuda a estratificar categorías de módulos por capas de factores de composición.

 

 

 

 

## Inversión

Inversión

Contrastar con el radical o el top: el radical es la intersección de los submódulos máximos, y tomar el top (módulo/radical) invierte la dirección de extracción de piezas semisimples. Revertir el cálculo del socle ofrece información sobre cocientes semisimples máximos en lugar de sobre submódulos mínimos.

 

 

 

 

 





## Límite

Límite

Significativo y computable en contextos artinianos, noetherianos o de dimensión finita donde los simples están clasificados; sobre anillos generales el socle puede ser trivial o difícil de calcular por falta de clasificación de módulos simples. Los métodos que se basan en el anulador del radical de Jacobson requieren hipótesis de finitud adecuadas.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Surge tensión semántica entre socle y head/top: ambos son construcciones semisimple pero de naturaleza dual. También existe tensión entre ver el socle como suma de submódulos simples y como anulador de un radical: ambas coinciden bajo condiciones de finitud pero divergen fuera de ellas.

 

 

 

 

 





## Síntesis

Síntesis

El cálculo del socle es la identificación y suma de todos los submódulos mínimos no nulos (el mayor submódulo semisimple) de un módulo; en contextos de dimensión finita o artinianos coincide con el anulador del radical de Jacobson y proporciona el núcleo semisimple para construir envolventes inyectivas y descomposiciones por capas, mientras que en contextos generales puede ser nulo o sutil de determinar.