Lie group
与李群胚相伴的李代数胚.