반단순 리 대수 분해 정리 (단순 아이디얼 직접 합)