2-Transitivity Characterises Irreducible Complement Representation Theory Cosets Partition the Group Group Theory Completeness of Irreducible Characters Representation Theory Homotopy Uniqueness Theorem for Morphisms of Injective Resolutions Algebra Irreducible Representations of $\operatorname{U}(2)$ Representation Theory Branch Length Inequality for Simply Laced Finite Dynkin Diagrams Algebra Uniqueness of Tensor Product Algebra Splitting Fields of Separable Polynomials Are Galois Algebra Algebra Area