リー代数準同型定理の内容と応用