之为同构。
李代数.李代数刻划了李群在单位元附近的局部性状；借助指数映射或源自李代数的叶状结构，可以将李代数的性质提昇到李群的层次。设formula_1为李群，其李代数formula_55定义为formula_1在单位元的切空间。formula_55自然具备了矢量空间结构，formula_55上的李括积formula_59定义如下：不难验证formula_69满足李代数的抽象定义。李括积蕴含了群乘法的无穷小性质，例如：连通李群formula_1是交换群若且唯若formula