SO3 Rotation Theorem Group Theory Noetherian Property in Short Exact Sequences Algebra Equivalent Definitions of Normality Group Theory Disjoint Cycle Decomposition Group Theory Hilbert Basis Theorem Ring Theory Localization of an $S^{-1}R$-module Algebra Determinant Multiplicativity Linear Algebra Base Change for Extension of Scalars Algebra Algebra Area