可微流形/李群

定义（李群）:

李群是一个可微流形 $G$，其群律（此处用并置表示）具有以下性质

1. 函数 $G\times G\to G$，$(g,h)\mapsto gh$ 是可微的
2. 函数 $G\to G$，$h\mapsto h^{-1}$ 是可微的