Field Extension Definition Trace Definition Bilinear Form Definition Separable Extension Definition Jordan–Hölder Theorem Group Theory Orthogonal Group and Its Properties Group Theory Prime Order Implies Cyclic Group Theory Multiplication of Complex Numbers in Polar Form Complex Numbers Containment Criterion for Integer Multiple Subgroups Algebra Finitely Generated Projective Modules over a Principal Ideal Domain Are Free Algebra Symmetric-Skew Decomposition Linear Algebra Weyl's Unitary Trick Representation Theory Algebra Area