Группа Ли

Гру́ппа Ли, группа $G$, обладающая такой структурой аналитического многообразия, что отображение $\mu: (x,y)\to xy^{-1}$ прямого произведения $G\times G$ в $G$ аналитично. Другими словами, группа Ли – это множество, наделённое согласованными структурами группы и аналитического многообразия.