로렌츠 제너레이터 회전이랑 부스트로 쪼개고 얘네 complex로 합치고 su(2) 두개로 쪼개는 게 cartan decomposition으로 compact real form 얻어내는 거랑 똑같은 거였음 ㅋㅋ