Stabilizer Conjugation Formula Algebra Reducing to the Radical Ideal Algebra Class Sums Form a Basis for the Center Representation Theory Direct Sum Preserves Chain Conditions Algebra Root String Integrality Formula Algebra Localization and Submodule Operations Algebra Existence and Uniqueness of the Highest Root Algebra Steinitz Exchange Lemma Linear Algebra Algebra Area