The socle of a module or ring is the sum of all its minimal nonzero submodules (or minimal ideals); it is the largest semisimple subobject contained in the module and equals the direct sum of all simple submodules.

Principle

Minimal nonzero submodules are simple; their sum yields a maximal semisimple submodule because adding any other simple submodule remains semisimple; the socle collects all such simple constituents at the 'bottom' of the module.

Demonstration

For a finite-dimensional algebra over a field, the socle of the regular module is the sum of all simple left ideals; for k[x]/(x^n) the socle is the subspace spanned by x^{n−1}, a one-dimensional simple submodule.

Misapplication

Using 'socle' to mean the radical or confusing it with the top (maximal semisimple quotient) of a module; also erroneously assuming the socle is nonzero for modules with no simple submodules.

Consequence

Knowledge of the socle helps determine extensions, projective covers, and Loewy layers; a large socle often simplifies classification because it provides immediate semisimple summands and constraints on possible module structures.

Reversal

The dual notion is the radical or the top: while the socle collects minimal simple submodules at the bottom, the top (head) is the maximal semisimple quotient at the top; a zero socle indicates no simple submodules are present.

Boundary

Defined in abelian categories where simple objects and sums exist, typically modules over rings and representations of algebras; it is not meaningful in contexts lacking a notion of simple object or direct sums.

Semantic Tension

Tension exists with the radical/top dichotomy: both are semisimple-related but opposite in filtration position; also close to injective hull considerations since socle embeds in injective envelopes.

Synthesis

The socle is the maximal semisimple subobject formed by summing all simple submodules; it forms the foundational 'bottom layer' of a module's semisimple decomposition and guides structural and homological analysis.