군론에서, '''직교군'''(直交群, )은 주어진 체에 대한 직교 행렬의 군이다. == 정의 == 위의 유한 차원 벡터 공간 위에 비퇴화 이차 형식 주어졌다고 하자. (만약 표수가 2가 아니라면, 이는 위의 대칭 비퇴화 쌍선형 형식과 같다.) 그렇다면, '''직교군''' 위의 가역 선형 변환들 가운데, 보존하는 것들로 구성된 군이다. 이는 대수적 조건이므로, 직교군은 대한 대수군이다. 또한, 만약 실수체나 복소수체라면, 직교군은 군을 이룬다. 만약 차원 벡터 공간이며, 자명한 (양의 정부호) 이차 형식이라면, 이를 쓴다. 실베스터 관성 법칙에 의하여, 실수체 위의 비퇴화 이차 형식은 계량 부호수 의하여 분류된다. 경우 직교군은 같이 쓴다. === 특수직교군 === 직교군에서 2차 순환군으로 가는 다음과 같은 준동형이 존재한다. :. 준동형을 '''딕슨 )이라고 한다. 만약 체의 표수가 2가 아니라면 이는 행렬식 같다. (표수가 2인 체의 경우, 모든 직교행렬의 행렬식은 1이다.) 딕슨 불변량의 핵이다. :. 즉, 딕슨 불변량이 0인 직교 행렬의 군이다. 만약 체의 표수가 2가 아니라면, 이는 행렬식이 1인 직교행렬의 군이 된다. 따라서 특수직교군과 직교군은 다음과 같은 짧은 완전열을 만족한다. :. === 스핀 군과 === 특수직교군 대하여, 그렇다면 다음 짧은 완전열을 만족시키는 유일한 연결 존재한다. :. 군을 '''스핀 군'''()이라고 한다. 경우, 스핀 군은 특수직교군의 범피복 공간이다. (일 경우는 물론 이고, 범피복 공간은 이다.) 마찬가지로, 직교군의 피복군인 '''핀 군'''()을 정의할 있다. 스핀 군과 군은 다음과 같은 가환 그림을 만족시키며, 가환 그림에서 모든 행과 열은 짧은 완전열을 이룬다. === 직교 대수 === 실수체 또는 복소수체 위의 직교군은 군을 이루며, 이에 대응하는 대수를 정의할 있다. 이는 또는 같이 쓴다 (). 정사각 실수 반대칭 행렬들로 구성된 대수이며, 정사각 복소수 반대칭 행렬들로 구성된 대수이다. === 스피너 노름 === 위의 벡터 공간 위의 이차 형식 직교군 대하여, '''스피너 노름'''()은 다음과 같은 준동형이다. 여기서 대한 반사이며, 다음과 같이 정의된다. 직교군의 모든 원소는 이와 같은 반사의 합성으로 나타낼 있다. === SO*(2''n'') === 다음과 같은 특수한 실수 형태를 갖는다. 이는 구체적으로 다음과 같이 구성된다. 우선, 위의 차원 벡터 공간 위에 심플렉틱 구조 주어졌다고 하자. 적절한 기저에서 이는 꼴이다. 그렇다면, 위에 다음과 같은 조건을 가할 있다. 즉, 행렬로 간주하였을 때, 다음 조건이다. 마찬가지로, 이다. 그렇다면, 실수 대수 실수 형태이다. == 성질 == === 군론적 성질 === 대한 직교군의 중심은 다음과 같다. 만약 표수가 2가 아니라면, 중심의 크기는 2이며, 만약 표수가 2라면 중심의 크기는 1이다. 체의 표수가 2가 아닐 때, 만약 짝수라면 중심의 원소 모두 특수직교군에 속하지만, 홀수라면 그렇지 않다. 중심에 대하여 몫군을 취하면, '''사영 직교군'''() 얻는다. 마찬가지로, 스핀 군의 중심은 다음과 같다. === 이론적 성질 === 복소수 경우 단순 군이다. 단순 군의 분류에서, 이는 만약 이라면 에, 만약 라면 해당하며, 딘킨 도표는 다음과 같다. 콤팩트 실수 형식이다. 분해 실수 형식은 짝수 차수에서는 이며, 홀수 차수에서는 이다. 극대 원환면은 다음과 같다. 여기서 2×2 회전 행렬이다. 극대 원환면은 다음과 같다. 바일 군은 반직접곱 이다. 여기서 같이 작용하며, 순열 같이 작용한다. 구체적으로, 바일 군에서 원소는 블록 대각 행렬 이며, 원소는 2×2 단위 행렬 블록의 치환행렬에 번째 성분 +1을 추가한 행렬이다. 바일 군은 반직접곱 이다. 포함 관계 아래, 다음과 같은 군의 짧은 완전열이 존재한다. 이며, 다음과 같다. === 위상수학적 성질 === 실수 직교군 차원의 군이며, 콤팩트 공간이다. 개의 연결 성분을 가지며, 이들은 각각 행렬식 실수 직교행렬들로 구성된다. 행렬식이 +1인 성분은 연결 공간인 실수 특수직교군 이룬다. 복소수 직교군 복소수 차원(실수 차원)의 복소수 군이자 대수군이다. 경우, 복소수 직교군은 콤팩트하지 않다. 복소수 직교군은 개의 연결 성분을 가지며, 이는 각각 행렬식이 복소수 직교행렬들로 구성된다. 행렬식이 +1인 성분은 복소수 특수직교군 이룬다. 실수 또는 복소수 특수직교군의 기본군은 다음과 같다. 이에 따라, 실수 특수직교군의 범피복 군을 취하면 에서는 를, 에서는 스핀 얻는다. 부정부호 실수 직교군 ()는 개의 연결 성분을 가지며, 이다. 여기서 차원 부분 공간에서의 방향에 의하여 결정되며, 다른 하나는 차원 부분 공간에서의 방향에 의하여 결정된다. 개의 연결 성분을 가지며, 경우 이다. 연결 부분군을 라고 한다. 부정부호 실수 직교군의 기본군은 다음과 같다. ==== 보트 주기성 ==== 호프 올뭉치 인하여, 만약 이라면 이다. 즉, 직교군의 호모토피 군들은 안정화되며, 안정 호모토피 군들은 다음과 같다. 주기성을 '''보트 주기성'''()이라고 한다. 불안정 호모토피 군은 낮은 차원에서는 직접 계산할 있으며, 다음과 같다. (굵은 지그재그 아래의 칸들은 안정 호모토피 군, 위의 칸들은 불안정 호모토피 군들이다. 직교군 π0 π1 π2 π3 π4 π5 π6 π7 π8 π9 O(1) ℤ/2 O(2) ℤ/2 O(3) ℤ/2 ℤ/2 ℤ/2 ℤ/2 ℤ/12 ℤ/2 ℤ/2 ℤ/3 O(4) ℤ/2 ℤ/2 ℤ2 (ℤ/2)2 (ℤ/2)2 (ℤ/12)2 (ℤ/2)2 (ℤ/2)2 (ℤ/3)2 O(5) ℤ/2 ℤ/2 ℤ/2 ℤ/2 O(6) ℤ/2 ℤ/2 ℤ/24 ℤ/2 특수직교군 스핀 군의 호모토피 군은 다음과 같이 다르다. 다음과 같은 '''무한 직교군''' 범주론적 쌍대극한으로 정의할 있다. 무한 유니터리 군의 호모토피 군들은 유한 차원 유니터리 군의 안정 호모토피 군으로 주어진다. 이에 따라, 무한 직교군은 스스로의 8차 고리 공간과 호모토피 동치이다. 무한 차원 분해 가능 실수 힐베르트 공간 직교군 다르다. 작용소 노름에 의한 위상을 주었을 때, 축약 가능 공간이며, 따라서 모든 호모토피 군이 자명하다. === 포함 관계 === 모든 대하여, 다음과 같은 포함 관계가 성립한다. 만약 짝수인 경우, 이는 딘킨 도표를 대칭을 따라 접은 것이다. 만약 홀수인 경우, 이는 딘킨 도표에 표시한 꼭짓점을 추가하여 아핀 딘킨 도표로 만든 뒤, 표시한 꼭짓점을 제거한 것이다. *: *: *만약 또한, 예외 단순군에 대하여 다음과 같은 포함 관계가 성립한다. 6차원 이하의 직교군은 다음과 같은 '''예외적 동형'''()을 보인다. ;1차원: ;2차원: ;3차원: ;4차원: ;5차원: ;6차원: === 홀수 표수 유한체 위에서의 직교군 === 표수가 2가 아닌 유한체라고 하자. 경우, 주어진 차원의 벡터 공간 위의 비퇴화 이차 형식은 정확히 개의 동형류가 있다.. 홀수 차원에서, 제곱수가 아닌 대하여 이차 형식은 서로 비례한다. 즉, 동형류는 꼴이다 (는 제곱수가 아닌 임의의 원소). 따라서 경우 직교군 유일하다. 반면 짝수 차원에서는 이것이 성립하지 않으며, '''플러스형'''과 '''마이너스형''' 종류로 분류된다. 비트 지표가 것을 플러스형, 것을 마이너스형이라고 한다. 플러스형과 마이너스형에 대응하는 직교군들은 각각 라고 쓴다. 표수가 2가 아닌 유한체 (, 소수)의 직교군의 크기는 다음과 같다. === 표수 2에서의 직교군 === 표수가 2인 위의 직교군은 다음과 같은 특수한 성질을 보인다. 표수가 2인 완전체 위의 홀수 차원 벡터 공간에서의 직교군은 심플렉틱 군과 같다. 표수가 2인 위의 짝수 차원 벡터 공간에서의 직교군은 심플렉틱 군의 부분군이다. 구체적으로, 표수 2인 위의 이차 형식의 연관 대칭 쌍선형 형식은 교대 쌍선형 형식이므로, 이에 대응하는 심플렉틱 군의 부분군이다. == 응용 == 직교군은 물리학에서 널리 응용된다. SO(3) 피복군 Spin(3)는 3차원 공간의 회전을 나타내며, 표현론은 양자역학에 핵심적이다. 특수 상대성 이론에서는 민코프스키 공간의 (중심을 고정시키는) 대칭군인 부정부호 직교군 O(3,1)이 핵심적인 역할을 하며, 군을 '''로런츠 군'''이라고 한다. 로런츠 군의 표현론은 상대론적 양자장론에서 핵심적이다. 시터르 공간 시터르 공간의 대칭군 역시 부정부호 직교군 O(4,1) O(3,2)이다. 등각 장론에서, -차원 시공간의 등각 대칭군은 이다. 대칭군이 시터르 공간의 대칭군과 같다는 사실은 AdS/CFT 대응성에서 핵심적인 역할을 한다. 밖에도, SO(10)은 대통일 이론의 게이지 군으로 쓰인다. == 참고 문헌 == == 외부 링크 == == 같이 보기 == 스핀 직교행렬 스피너 원군 3차원 직교군 분류:리 분류:대수군