Smith Normal Form Theorem Module Theory Connectedness Criterion for Irreducible Root Systems Algebra Torsion-Free Tensor Products Algebra Invariance of the Orthogonal Complement Representation Theory Bound on Automorphisms Algebra Bijection Between K-Homomorphisms and Roots Algebra Schur's Lemma Representation Theory Base Change for Extension of Scalars Algebra Algebra Area