# Topics
- Classical Lie groups. Left-invariant vector fields, Lie algebra of a Lie group. One-parameter subgroups, exponential map. Homomorphisms of Lie groups and Lie algebras. Ad and ad. Compact connected abelian Lie groups are tori. The Campbell-Baker-Hausdorff series (statement only).
- Lie subgroups. Definition of embedded submanifolds. A subgroup is an embedded Lie subgroup if and only if it is closed. Continuous homomorphisms of Lie groups are smooth. Correspondence between Lie subalgebras and Lie subgroups (proved assuming the Frobenius theorem). Correspondence between Lie group homomorphisms and Lie algebra homomorphisms. Ado’s theorem (statement only), Lie’s third theorem.
- Representation theory: sums and tensor products of representations, irreducibility, Schur’s lemma. Compact Lie groups: left-invariant integration, complete reducibility. Representations of the circle and of tori. Characters, orthogonality relations. Peter-Weyl theorem (statement only).
- Maximal tori. Roots. Conjugates of a maximal torus cover a compact connected Lie group. Weyl group. Reflections. Weyl group of $U(n)$. Representations of a compact connected Lie group are the Weyl-invariant representations of a maximal torus (proof of inclusion only). Representation ring of maximal tori and $U(n)$.
- Killing form. Remarks about the classification of compact Lie groups.