리 대수
다양체의 홀로노믹 기저는 다음 리 대수