李群李代數
===

# 群

1. 乘法滿足結合律: (g~1~g~2~)g~3~ = g~1~(g~2~g~3~)
2. $\exists e \in G \ s.t. \ eg=ge=g, \forall g \in G$
3. $\forall g \in G \ \exists \ g^{-1} \ s.t. \ g^{-1}g=gg^{-1}=e$