Weyl's Theorem on Complete Reducibility¶

Every finite-dimensional module over a finite-dimensional semisimple Lie algebra in characteristic zero splits into irreducible submodules.

Version: v1 · 2026-10-07 · History
Domain-specific #: 14053
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Lie Algebra Representations → Mathematics
Aliases: Weyl complete reducibility theorem

Core Idea¶

Weyl's theorem on complete reducibility says that every finite-dimensional representation of a finite-dimensional semisimple Lie algebra over a field of characteristic zero is a direct sum of irreducible representations. Equivalently, if an invariant subspace \(U\) lies in such a representation \(V\), there is another invariant subspace \(W\) with \(V=U\oplus W\). The assertion is universal over the representations and their invariant subspaces under those hypotheses; it is not merely the observation that a favored example happens to split. Etingof states this as Theorem 18.9 and proves it by showing that the relevant short exact sequences split.^[1]

The theorem is about an action of a Lie algebra on a vector space, not about splitting the Lie algebra itself. “Invariant” means stable under every operator supplied by the action. “Irreducible” means having no nonzero proper invariant subspace. Thus a decomposition into irreducibles retains the action on each summand, rather than only the vector-space dimensions.^[1]

Structural Signature¶

Signature: semisimple characteristic-zero acting algebra + finite-dimensional module + arbitrary invariant part + invariant complement + irreducible direct-sum result.

Acting algebra and field. A finite-dimensional semisimple Lie algebra over a characteristic-zero field supplies the theorem's sufficient conditions. Changing these conditions removes this guarantee, even though a particular module outside them might still split.^[1]
Module as whole. A finite-dimensional vector space \(V\) carries the algebra action. Without that module and action, there is no representation whose complete reducibility the theorem can assert.^[1]
Arbitrary invariant part. Any invariant submodule \(U\subseteq V\) is a test, not just one handpicked convenient part. A complement for one chosen \(U\) cannot establish the all-submodules assertion.^[1]
Invariant complement. A stable \(W\) with \(V=U\oplus W\) splits the extension \(0\to U\to V\to V/U\to0\). A merely linear complement that is not stable under the action would not suffice.^[1]
Irreducible summands. Iterating the splitting in finite dimension yields a direct sum of irreducible modules. This is the theorem's equivalent whole-module conclusion, not a promise of a unique choice of complementary subspaces.^[1]

What It Is Not¶

The theorem is not Maschke's theorem for finite groups, Peter–Weyl theory for compact groups, or a claim that all modules for every Lie algebra are completely reducible. Those results may also concern decomposition, but their acting objects and hypotheses differ. A module for a nonsemisimple algebra can split in a particular case; that fact alone does not make it an instance of Weyl's stated guarantee.^[1]

Nor does “complete” mean that any convenient vector-space basis exhibits invariant pieces. The complement must respect the Lie-algebra action. A splitting in one example does not prove complete reducibility for all finite-dimensional modules under changed hypotheses.^[1]

Scope of Application¶

The literal setting is finite-dimensional representation theory of semisimple Lie algebras over characteristic-zero fields. Etingof's Theorem 18.9 states the result over a field of characteristic zero and uses vanishing of an extension group to obtain a split short exact sequence. The algebra and module dimensions, field characteristic, invariance and direct-sum conclusion delimit this entry.^[1]

The two calculations below are editorial illustrations, derived from elementary actions and the theorem's setting; Etingof's notes are the source for the theorem and surrounding representation theory, not a claim that those exact worked calculations are printed as its examples. Outside the theorem's hypotheses, a representation may or may not split. This entry makes no generated-associative-algebra equivalence or unsourced physics application.^[1]

Clarity¶

The invariant-complement test resolves a common ambiguity in “splits.” Any finite-dimensional vector space can be written as a direct sum of linear subspaces after choosing a basis. Weyl's assertion is stronger: each summand must be preserved by the entire Lie-algebra action. It also separates the acting algebra from the representation being decomposed; semisimplicity of the former is a hypothesis, while complete reducibility of the latter is the guaranteed conclusion.^[1]

Manages Complexity¶

Instead of checking a separate complement construction for every representation, the theorem reduces an entire class of modules to one hypothesis check: finite-dimensional semisimple acting algebra, characteristic-zero field and finite-dimensional module. Once those are fixed, representation analysis can proceed summand by summand. The theorem establishes existence of invariant irreducible pieces; it does not select a canonical basis or compute the decomposition for an arbitrary input module.^[1]

Abstract Reasoning¶

Given a finite-dimensional \(\mathfrak g\)-module \(V\) under the stated conditions, one may infer that an arbitrary invariant \(U\subseteq V\) has an invariant complement. Etingof's proof states that \(\operatorname{Ext}^{1}_{\mathfrak g}(W,U)=0\) for finite-dimensional \(W,U\), so a short exact sequence \(0\to U\to V\to W\to0\) splits. Applying this to \(W=V/U\) gives the complement test. Repeating in finite dimension gives irreducible summands. Without the hypotheses, this inference is unavailable even if some examples still decompose.^[1]

Knowledge Transfer¶

Within Lie representation theory, the theorem transfers from one finite-dimensional semisimple algebra and module to another. For example, the natural \(\mathfrak{sl}_{2}\) module's tensor square and the commutator action of \(\mathfrak{sl}_{3}\) on endomorphisms have different carriers, yet both meet the same field, algebra, module and splitting conditions. Their concrete submodules must still be found by calculation.^[1]

The general whole-to-recombinable-parts pattern is inherited from the live Decomposition Prime. Other mathematical or computational decompositions may exhibit that pattern, but their occurrence is not a transfer of Weyl's Lie-algebra theorem. The named theorem needs its specialist hypotheses; a broader cross-domain guarantee would require separate evidence.^[1]

Examples¶

Tensor square for \(\mathfrak{sl}_{2}\) (editorial calculation). Let \(k\) have characteristic zero, \(\mathfrak g=\mathfrak{sl}_{2}(k)\), and \(V=k^{2}\) be the natural two-dimensional module. The diagonal action on \(V\otimes V\) commutes with swapping the tensor factors. Because \(2\) is invertible, symmetric and antisymmetric tensors form complementary invariant submodules. Thus \(V\otimes V=\operatorname{Sym}^{2}(V)\oplus\Lambda^{2}(V)\), with dimensions \(3+1=4\). In the usual finite-dimensional \(\mathfrak{sl}_{2}\) classification, these are irreducible modules.^[1]

Mapped back: the semisimple acting algebra and field are \(\mathfrak{sl}_{2}(k)\) and characteristic-zero \(k\); the finite-dimensional whole is \(V\otimes V\); the selected invariant part is \(\operatorname{Sym}^{2}(V)\); its invariant complement is \(\Lambda^{2}(V)\); the result is the irreducible \(3\oplus1\) direct sum. The swap calculation illustrates the theorem but is not quoted as a worked example from Theorem 18.9.^[1]

Endomorphisms for \(\mathfrak{sl}_{3}\) (editorial calculation). Over characteristic-zero \(k\), let \(\mathfrak{sl}_{3}(k)\) act on \(\operatorname{End}(k^{3})\) by \(X\cdot A=[X,A]\). Scalar matrices \(kI\) are invariant. The trace-zero matrices are also invariant because \(\operatorname{tr}[X,A]=0\). Since \(3\) is invertible, \(A=(\operatorname{tr}A/3)I+(A-(\operatorname{tr}A/3)I)\). Hence \(\operatorname{End}(k^{3})=kI\oplus\mathfrak{sl}_{3}(k)\), dimensions \(1+8=9\). The adjoint \(\mathfrak{sl}_{3}\) summand is irreducible because an invariant subspace for the adjoint action is an ideal and \(\mathfrak{sl}_{3}\) is simple.^[1]

Mapped back: the algebra and field are \(\mathfrak{sl}_{3}(k)\) and characteristic-zero \(k\); the module whole is \(\operatorname{End}(k^{3})\); the selected invariant part is \(kI\); its invariant complement is the trace-zero \(\mathfrak{sl}_{3}\); and their \(1\oplus8\) sum is the irreducible decomposition. This is a different module construction from the tensor-square case and is likewise an editorial derivation, not a printed example in Etingof.^[1]

Structural Tensions¶

No intrinsic opposed pressure is established by the theorem or the two illustrations. The hypotheses are logical conditions for a universal guarantee, not knobs whose relaxation must impose a countervailing cost. A useful boundary diagnostic is whether a proposed application has the specified semisimple acting algebra and characteristic-zero finite-dimensional module, and whether a claimed split is invariant rather than merely linear. That diagnostic is a scope test, not a manufactured tradeoff.^[1]

Structural–Framed Character¶

The result is strongly structural within mathematics: it states a quantified implication between algebra/module conditions and invariant direct-sum structure. Its conclusion is value-neutral; it does not declare one decomposition socially or practically preferable. The named theorem originates in a mathematical proof tradition, but that is not an institutional permission or evaluative criterion in its truth conditions. Terms such as invariant part, complement and direct sum can travel, while semisimple Lie algebra, characteristic zero and the extension-splitting theorem identify the specialist domain. A reader in another field could recognize the general decomposition pattern without importing the Weyl theorem, but applying the named guarantee would require an actual Lie-module structure satisfying its hypotheses. Live Decomposition carries the portable whole/parts/recombination role; a still broader theorem-shaped guarantee across substrates is only a future-Prime question needing independent cases. Its character: a domain-specific formal theorem with a structural conclusion and exact algebraic boundaries, not a prime abstraction of decomposition itself.

Structural Core vs. Domain Accent¶

The portable core is decomposition of a whole into invariant, recombinable parts; that role is explicitly inherited through the approved composition/presupposes edge to live Decomposition. The other approved edge, strict subsumption to Formal Theorem, records that this is a proven statement under fixed hypotheses, not a decomposition operation. The domain accent is the semisimple Lie algebra action, characteristic-zero field, finite-dimensional modules, arbitrary invariant submodule, and guaranteed invariant complement. These are not incidental historical labels: remove them and this named guarantee is no longer justified by Theorem 18.9.^[1]

The name does not clear the Prime bar merely because direct sums recur elsewhere. No independent cross-domain instances of this exact all-modules Lie-algebra guarantee are evidenced; analogies to other splitting results instantiate the inherited Decomposition pattern or require their own theorems. Whether a more general hypotheses force invariant splitting skeleton warrants a future Prime is a separate admission question. No additional edge is asserted here.

This entry presupposes Decomposition and is a kind of Formal theorem.

The staged DAG records two distinct strict relations. As a child of Formal Theorem by subsumption, Weyl's result is a particular proven mathematical statement; Formal Theorem can exist without it. As a child of Decomposition by composition/presupposes, the proposition needs an intelligible direct-sum whole/parts/recombination concept for its conclusion, but the proposition itself is not the act or product of decomposing a module. These edges are independently necessary and do not convert an eponym into a universal organizing pattern.

Relationships to Other Abstractions¶

Current abstraction Weyl's Theorem on Complete Reducibility Domain-specific

Parents (2) — more general patterns this builds on

Weyl's Theorem on Complete Reducibility is a kind of Formal theorem Domain-specific

Weyl complete reducibility is a proven statement with fixed Lie-algebra hypotheses and a splitting conclusion.
Weyl's Theorem on Complete Reducibility presupposes Decomposition Prime

The theorem's direct-sum conclusion requires decomposition into recombinable invariant summands.

Hierarchy paths (3) — routes to 3 parentless roots

Weyl's Theorem on Complete Reducibility → Formal theorem → Formal System → Formalization → Representation → Abstraction

Show alternative paths (2)

Neighborhood in Abstraction Space¶

Weyl's Theorem on Complete Reducibility sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Weyl law concerns spectral asymptotics; Weyl algebra is an algebraic object. Shared authorship in their names supplies no theorem identity. Maschke's theorem concerns finite-group representations, and Peter–Weyl theory concerns compact groups. A positive-characteristic or infinite-dimensional module might split for its own reasons, but such a case is outside the quantified guarantee stated here. A decomposition of the acting Lie algebra itself is likewise a different assertion from complete reducibility of each eligible module.^[1]

References¶

[1] Pavel Etingof, Lie Groups and Lie Algebras, MIT OpenCourseWare 18.755 lecture notes (2024), §11.4, §17.3, §18.4, Theorem 18.9, p. 100. The two tensor-square and endomorphism examples above are editorial derivations from the cited theory, not examples printed with Theorem 18.9. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w