리 대수
이를 하이젠베르크 리 대수() formula_17라고 한다.