Column Orthogonality Relations Representation Theory Lifting Lemma Representation Theory Cyclic Center Representation Theory Root Spaces of Semisimple Lie Algebras Are One-Dimensional Algebra Generalised Eigenspace Decomposition Linear Algebra Trace Is Conjugacy-Invariant Representation Theory Sylvester's Law For Hermitian Forms Linear Algebra Structure of Splitting Fields of $t^n - \lambda$ Galois Theory Algebra Area