Bài tập 25, § 9

Cho G là một nhóm Lie thực hoặc phức liên thông gần đơn. Cho A là một nhóm con chuẩn của G. Nếu A $\neq$ G, thì A rời rạc và trung tâm. (Sử dụng Bài tập 8 của § 4.) Do đó thương của G theo tâm của nó là đơn như một nhóm trừu tượng.