Category of representations (irreducible decomposition)

Maschke 1898: char(k) ∤ |G| ⇒ k[G] semisimple ⇒ every rep decomposes into irreducibles. Failure for modular case. Schur's lemma: Hom(V,W) for irreducible = field or 0. Foundation of rep theory.