Das Verfahren zur Bestimmung des Socles eines Moduls oder einer Algebra: Das Socle ist die Summe aller minimalen nichttrivialen Untermodule (äquivalent der größte semisimple Untermodul), üblicherweise berechnet durch Identifikation einfacher Untermodule und deren Summe.

Prinzip

Alle einfachen Untermodule oder Elemente identifizieren, deren zyklisches Untermodul einfach ist (durch ein maximales Ideal annihiliert), und deren Summe bilden; alternativ in vielen endlichdimensionalen oder artinschen Kontexten den Annihilator des Jacobson-Radikal berechnen, denn dort stimmt das Socle mit diesem Annihilator überein.

Demonstration

Für das Modul k[x]/(x^2) über einem Körper k ist das Socle das von der Klasse von x erzeugte Ideal, da x durch x annihiliert wird und das von ihm erzeugte Untermodul einfach ist. Für ein Modul einer endlichdimensionalen Algebra, das in Kompositionsfaktoren zerfällt, ist das Socle die direkte Summe aller Kopien einfacher Module, die in der unteren Schicht einer Kompositionsreihe erscheinen.

Fehlanwendung

Zu behaupten, das Socle sei stets nichttrivial oder gleich einem Komplement des Radikals; für viele Module über nicht-artinschen Ringen kann das Socle null sein. Ein weiterer Fehlgebrauch ist die Verwechslung von Socle und Head/Top: Socle ist der größte semisimple Untermodul, Top ist der größte semisimple Quotient, und ihr Verhalten unter Dualität und exakten Folgen unterscheidet sich.

Konsequenz

Die Berechnung des Socles offenbart den semisimplen Kern eines Moduls: sie identifiziert irreduzible Bestandteile an der Basis der Untermodullattice, lenkt den Aufbau minimaler injektiver Hüllen und hilft, Modulkategorien nach Kompositionsschichten zu schichten.

Umkehrung

Im Gegensatz dazu steht der Radikal oder der Top: der Radikal ist der Schnitt maximaler Untermodule, und die Bildung des Top (Modul / Radikal) kehrt die Richtung der Gewinnung semisimpler Stücke um. Das Umkehren der Socle-Berechnung liefert Informationen über maximale semisimple Quotienten statt über minimale Untermodule.

Abgrenzung

Sinnvoll und berechenbar in artinschen, noetherschen oder endlichdimensionalen Kontexten, in denen einfache Module klassifizierbar sind; über allgemeinen Ringen kann das Socle trivial sein oder schwierig zu bestimmen sein, da einfache Module nicht klassifiziert sind. Methoden, die auf dem Annihilator des Jacobson-Radikals beruhen, erfordern passende Endlichkeitsbedingungen.

Semantische Spannung

Es besteht eine semantische Spannung zwischen Socle und Head/Top: beide sind semisimple Konstruktionen, aber dualer Natur. Es gibt auch Spannung zwischen der Sicht des Socles als Summe einfacher Untermodule und als Annihilator eines Radikals — unter Endlichkeitsbedingungen stimmen diese überein, sonst nicht.

Synthese

Die Socle-Berechnung ist die Identifikation und Summation aller minimalen nichttrivialen Untermodule (größtes semisimple Untermodul) eines Moduls; in endlichdimensionalen oder artinschen Kontexten stimmt sie mit dem Annihilator des Jacobson-Radikals überein und liefert den semisimplen Kern zur Konstruktion injektiver Hüllen und Schichtzerlegungen, während sie in allgemeinen Kontexten null oder subtil sein kann.