Non-Vanishing Trace for Separable Extensions Galois Theory Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain Module Theory Every Irreducible Embeds in the Regular Representation Representation Theory Continuous Additive Homomorphisms of $\mathbb{R}$ Representation Theory Solvability by Radicals and Solvable Galois Groups Algebra Isomorphism Is an Equivalence Relation Representation Theory Universal Property of the Tensor Product of Algebras Algebra Coxeter Length Equals Number of Inversions Algebra Algebra Area