대수군

틀:위키데이터 속성 추적 대수기하학에서 대수군(代數群, 틀:Llang)은 대수다양체를 이루는 군이다.

정의

대수적으로 닫힌 체 $k$에 대한 대수군 $G\to \mathrm{Spec}k$는 군 연산

$(-\cdot -):G\times G\to G$

${}^{-1}:G\to G$

이 갖추어져 있고, 이들이 정규함수(regular function)인 대수다양체이다. 즉, 대수다양체의 범주에서의 군 대상이다.

대수군의 대수부분군(틀:Llang)은 자리스키 위상에 따라 닫혀 있고, 부분군을 이루며, 대수다양체를 이루는 부분집합이다.

분류

선형대수군(틀:Llang)은 아핀 대수다양체를 이루는 대수군이며, 아벨 다양체는 아벨 군을 이루는 대수군이다.

슈발레 구조 정리(틀:Llang)에 따라서, 모든 연결 대수군 $G$은 아벨 다양체 $A$의 선형대수군 $H$으로의 군 확대로 간주할 수 있다. 즉, 모든 대수군 $G$에 대하여, 다음 조건을 만족시키는 유일한 짧은 완전열이 존재한다.

$1\to H\to G\to A$

여기서

• $H$는 $G$의 정규 대수부분군이다.
• $A$는 아벨 다양체이다.

예

• 모든 유한군은 자명하게 대수군을 이룬다.
• 선형대수군(틀:Llang)은 아핀 대수다양체를 이루는 대수군이다.
  • 일반선형군 $\mathrm{GL}(n,k)$
  • 특수선형군 $\mathrm{SL}(n,k)$
  • 심플렉틱 군 $\mathrm{Sp}(2n,k)$
  • 가역 상삼각행렬들의 군 $\mathrm{Upper}(n,k)$
  • 비퇴화 이차 형식 $q$에 대하여, 직교군 $\mathrm{O}(q)$ 및 특수직교군 $\mathrm{SO}(q)$
• 아벨 다양체는 아벨 군인 대수군이다.
  • 타원 곡선은 1차원 아벨 다양체이다.

반면, 예를 들어 유니터리 군 $\mathrm{U}(n)$은 복소 대수군이 아니다.

같이 보기

• 보렐 부분군

각주

• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:매스월드