Representation Theory of Finite Groups February 13, 2026 Definition of finite group representations and irreducible decomposition