リー代数:リー群の理論と線形化ツール