Normality Over Intermediate Fields Algebra Linear Independence Of Eigenvectors Linear Algebra Root Space Bracket Rule Algebra Structure of Simple Algebraic Extensions Algebra Serre's Presentation Theorem Algebra Cartan Integer Product Formula Algebra Classification Theorem for Finite-Dimensional Simple Lie Algebras Algebra Determinant Multiplicativity Linear Algebra Algebra Area