Lie algebra
屬於規範群G的李代數TG。則formula_5以及