definition A.331 Derived series, solvable, ideal

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on lemma A.332 Elementary properties of solvability ¶
• depends_on proposition A.334 Nondegeneracy implies no abelian ideal ¶
• depends_on theorem A.338 Engel ¶
  • depends_on theorem A.340 Cartan's criterion for solvability ¶
    • depends_on corollary A.342 Orthogonal splitting of ideals ¶
      • depends_on corollary A.343 The Killing form of a simple ideal ¶
        • depends_on lemma A.409 A Casimir invertible on a nontrivial irreducible module ¶
      • depends_on lemma A.406 Splitting a submodule of codimension one ¶
        • depends_on theorem A.407 Weyl's complete reducibility theorem ¶
      • depends_on lemma A.409 A Casimir invertible on a nontrivial irreducible module ¶ ↺
      • depends_on proposition A.408 The two groups vanish for the trivial module ¶
      • depends_on theorem A.407 Weyl's complete reducibility theorem ¶ ↺
    • depends_on lemma A.402 The trace form is nondegenerate for a faithful representation ¶
      • depends_on lemma A.406 Splitting a submodule of codimension one ¶ ↺