아도 정리
1. 개요
아도 정리는 표수가 0인 체 K 위의 모든 유한 차원 리 대수 L이 교환자 괄호 아래에서 정사각 행렬의 리 대수로 나타낼 수 있다는 정리이다. 1935년 이고르 드미트리예비치 아도에 의해 증명되었으며, 이후 이와사와 겐키치가 표수에 대한 제한을 제거했다. 이 정리는 리 군의 국소적인 구조가 선형군의 구조와 유사하다는 것을 보여주는 중요한 시사점을 가진다.
📚 더 읽어볼만한 페이지
2. 정리의 내용
표수가 0인 체 에 대한 모든 유한 차원 리 대수 는 리 괄호 가 주어진 정사각 행렬들의 리 대수로 볼 수 있다. 더 정확하게 말하면, 은 유한 차원 -선형 공간 에서 충실한 선형 표현 를 갖는다. 즉, 은 의 자기 사상들이 이루는 대수의 어떤 부분 대수와 동형이다.
아도의 정리는 표수가 0인 체 K 위의 모든 유한 차원 리 대수 L이 교환자 괄호 아래에서 정사각 행렬의 리 대수로 볼 수 있다고 명시한다. 더 정확히 말하면, L은 K 위에 있는 선형 표현 ρ를 가지며, 이는 유한 차원 벡터 공간 V에서 충실한 표현이며, L을 V의 자기 준동형 사상의 부분 대수와 동형으로 만든다.
3. 역사
이 정리는 1935년 니콜라이 체보타료프의 제자이자 카잔 주립대학교의 이고르 드미트리예비치 아도가 증명했다.
표수에 대한 제한은 나중에 이와사와 겐키치가 제거했다 (증명은 아래 게르하르트 호흐실트 논문 참조).