Lie groups and Lie algebras Optional Extra: Compact connected abelian groups are tori

We show (modulo one lemma for which we give a reference) that a compact connected abelian group is a torus. This video is optional.