Reduction Modulo $p$ Algebra Vanishing Homology Characterizes Exactness Algebra Coxeter Presentation of the Weyl Group Algebra Existence and Uniqueness of Splitting Fields Algebra Smith Normal Form Theorem Module Theory Thompson's Nilpotency Theorem Representation Theory Universal Property of Module Localization Algebra First Uniqueness Theorem Algebra Algebra Area