아도 정리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

아도 정리는 표수가 0인 체 K 위의 모든 유한 차원 리 대수 L이 교환자 괄호 아래에서 정사각 행렬의 리 대수로 나타낼 수 있다는 정리이다. 1935년 이고르 드미트리예비치 아도에 의해 증명되었으며, 이후 이와사와 겐키치가 표수에 대한 제한을 제거했다. 이 정리는 리 군의 국소적인 구조가 선형군의 구조와 유사하다는 것을 보여주는 중요한 시사점을 가진다.

아도 정리
아도 정리
분야리 대수
발표자이고르 아도
발표년도1935년
📚 더 읽어볼만한 페이지
  • 리 대수 - 베유 대수
    베유 대수는 체 K 위의 리 대수 g에 대하여 정의되는 미분 등급 대수이며, g의 쌍대 공간과 그 등급 이동으로 생성되는 외대수와 대칭 대수의 텐서곱으로 표현되고, 리 군의 분류 공간의 주다발의 무한소 형태를 나타내는 완전열과 관련이 있다.
  • 리 대수 - 아핀 리 대수
    아핀 리 대수는 카츠-무디 대수의 특수한 경우로, 유한 차원 단순 리 대수에 대응하는 루프 대수의 중심 확장으로 구성되며, 딘킨 도표를 통해 분류되고, 끈 이론과 2차원 등각장론 등 다양한 분야에 응용된다.

2. 정리의 내용

표수가 0인 K에 대한 모든 유한 차원 리 대수 L는 리 괄호 [A,B]=AB-BA 가 주어진 정사각 행렬들의 리 대수로 볼 수 있다. 더 정확하게 말하면, L은 유한 차원 K-선형 공간 V에서 충실한 선형 표현 p를 갖는다. 즉, LV자기 사상들이 이루는 대수의 어떤 부분 대수와 동형이다.

아도의 정리는 표수가 0인 K 위의 모든 유한 차원 리 대수 L이 교환자 괄호 아래에서 정사각 행렬의 리 대수로 볼 수 있다고 명시한다. 더 정확히 말하면, LK 위에 있는 선형 표현 ρ를 가지며, 이는 유한 차원 벡터 공간 V에서 충실한 표현이며, LV의 자기 준동형 사상의 부분 대수와 동형으로 만든다.

3. 역사

이 정리는 1935년 니콜라이 체보타료프의 제자이자 카잔 주립대학교의 이고르 드미트리예비치 아도가 증명했다.

표수에 대한 제한은 나중에 이와사와 겐키치가 제거했다 (증명은 아래 게르하르트 호흐실트 논문 참조).

4. 시사점

고전군과 관련된 리 대수의 경우 이 정리로 인해 새로운 것은 없지만, 일반적인 리 군을 고려하면 더 심오한 결과이다. 리 군 G의 실수 리 대수에 적용했을 때, G 자체가 반드시 충실한 선형 표현을 갖는다는 것을 의미하지는 않는다. (이는 일반적으로 사실이 아니다.) 하지만, 아도 정리는 G가 항상 선형군과 국소 동형인 선형 표현을 갖는다는 것을 보여준다. 즉, 리 군의 국소적인 구조는 선형군의 구조와 유사하다는 것을 의미한다.