나눗셈환

대수 구조 환론에서 **나눗셈환**(-環, division ring) 또는 **비가환체**(非可換體, skew field)는 모든 0이 아닌 원소가 가역원인 비자명환이다. 나눗셈환 위에는 오른쪽 나눗셈 a/b=ab^{-1}과 왼쪽 나눗셈 b\backslash a=b^{-1}a를 정의할 수 있다 (b\ne 0).
# 정의
환 R에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 환을 **나눗셈환**이라고 한다. * R의 모든 0이 아닌 원소는 가역원이며, R는 자명환이 아니다. * R는 정확히 두 개의 왼쪽 아이디얼을 갖는다. * R는 정확히 두 개의 오른쪽 아이디얼을 갖는다. * R는 정확히 두 개의 양쪽 아이디얼을 갖는다. * R 위의 모든 왼쪽 가군이 자유 가군이며, R는 자명환이 아니다. * R 위의 모든 오른쪽 가군이 자유 가군이며, R는 자명환이 아니다.
# 성질
모든 가환 나눗셈환은 체이다. 웨더번 소정리에 따라, 모든 유한 나눗셈환은 유한체이다. 나눗셈환의 모든 유한 부분환은 (나눗셈환이므로) 유한체이다. 나눗셈환의 중심은 체를 이룬다. 즉, 나눗셈환은 스스로의 중심 위의 단위 결합 대수를 이룬다. 따라서, 다음과 같은 포함 관계가 존재한다. :체 = 가환환 ∩ 나눗셈환 ⊊ 나눗셈환 ⊊ 단순환 ∩ 국소환 ⊊ 환
## 가군과 아이디얼
나눗셈환에 대한 가군은 모두 자유 가군이며, 사실상 선형대수학으로 완전히 다룰 수 있다. 나눗셈환에서는 왼쪽 아이디얼 · 오른쪽 아이디얼 · 양쪽 아이디얼의 개념이 일치하며, 영 아이디얼 (0)과 전체 아이디얼 R밖에 없다. 따라서, 나눗셈환은 자명하게 아르틴 환이자 뇌터 환이다.
## 화뤄겅 정리
나눗셈환 D 속의 두 가역원 a,b\in D\setminus\\{0,1\\}에 대하여, **화뤄겅 항등식**(Hua’s identity)은 다음과 같다. :a-\frac1{1/a+(1/b-a)^{-1=aba 이 항등식은 다음과 같이 간단하게 증명할 수 있다. :(a - aba)\left(\frac1a + \frac1{b^{-1} - a}\right) = ab\left(\frac1b - a\right)\left(\frac1a + \frac1{b^{-1} - a}\right) = 1 이를 사용하여, 다음과 같은 **화뤄겅 정리**(Hua’s theorem)를 증명할 수 있다. 두 나눗셈환 사이의 함수 f\colon D\to D'에 대하여, 다음 두 조건이 서로 동치이다. * f는 환 준동형 D\to D' 또는 환 준동형 D\to D'^{\operatorname{op을 정의한다. (여기서 (-)^{\operatorname{op는 반대환을 뜻한다.) * f는 다음 세 조건들을 만족시킨다. ** f(a+b)=f(a)+f(b) ** f(1)=1 ** f(a^{-1})=f(a)^{-1}\qquad\forall a\ne0 화뤄겅 항등식과 화뤄겅 정리는 화뤄겅이 증명하였다.언어=en
# 분류
아르틴 나눗셈환 (즉, 중심 위의 유한 차원 단위 결합 대수를 이루는 나눗셈환)에 대해서는 아르틴-웨더번 정리와 브라우어 군을 통한 분류가 존재한다. A는 양쪽 아르틴 단순환이므로, 아르틴-웨더번 정리에 의하여, K 위의 단위 결합 대수 A는 표준적으로 다음과 같은 꼴로 나타낼 수 있다. :A\cong\operatorname{Mat}(n;D) 여기서 n\in\mathbb N은 자연수이며, D는 K 위의 유한 차원 단위 결합 대수인 나눗셈환이다. K 위의 중심 단순 대수들은 K-텐서곱에 의하여 모노이드를 이룬다. 만약 K 위의 단위 결합 대수 A\cong\operatorname{Mat}(m;D), B\cong\operatorname{Mat}(n;D)가 같은 나눗셈환 위의 행렬환이라면 서로 **브라우어 동치**(Brauer-equivalent)라고 한다. 모든 브라우어 동치류는 정확히 하나의 나눗셈환을 포함하며, 따라서 브라우어 동치류는 K-중심 단순 대수인 나눗셈환과 일대일 대응한다. 브라우어 동치 관계는 K-텐서곱 구조를 보존하며, 따라서 브라우어 동치류들은 모노이드를 이룬다. 또한, 이 모노이드는 항상 군을 이룬다. 이 군을 **브라우어 군**(Brauer群, Brauer group) \operatorname{Br}(K)이라고 한다. 브라우어 군에서의 역원은 반대환 D^{-1}=D^{\operatorname{op이며, 항등원은 K 자체이다.
# 예
모든 체(실수체, 복소수체, p진수체, 유한체 등)는 나눗셈환이다. 대표적인 체 위의 브라우어 군은 다음과 같다. {| class=wikitable ! 체 K || 브라우어 군 \operatorname{Br}K |- | 대수적으로 닫힌 체 || 자명군 |- | 유한체 \mathbb F_{p^n} || 자명군 |- | 실수체 \mathbb R || 2차 순환군 \operatorname{Cyc}(2) |- | p진수체 \mathbb Q_p || 덧셈군 \mathbb Q/\mathbb Z |- | 유리수체 \mathbb Q || \operatorname{Br}(\mathbb R)\oplus\bigoplus_{p=2,3,5,\dots}\operatorname{Br}(\mathbb Q_p)의 몫군 |}
## 실수체 위의 나눗셈환
실수체 \mathbb R의 브라우어 군은 크기가 2인 군이다. 즉, 실수체를 중심으로 하는 유한 차원 나눗셈 대수는 정확히 두 개가 있으며, 이는 실수체 자체 \mathbb R와 사원수환 \mathbb H이다. 실수체의 유한 확대는 복소수체 \mathbb C 밖에 없고, 이는 대수적으로 닫힌 체이므로 \mathbb C를 중심으로 하는 아르틴 나눗셈 대수는 \mathbb C 자체 밖에 없다. 즉, \mathbb R 위의 아르틴 나눗셈 대수는 \mathbb R, \mathbb C, \mathbb H 세 개 밖에 없다. 이를 **프로베니우스 정리**(Frobenius’ theorem)라고 한다.언어=en461 실수체의 유한 차수 확대는 복소수체 \mathbb C밖에 없으며, 이는 대수적으로 닫힌 체이므로 브라우어 군이 자명하다. 즉, 중심이 실수체를 포함하는, 유한 실수 차원의 나눗셈환은 \mathbb R, \mathbb C, \mathbb H 세 개밖에 없다.
## p진수체 위의 나눗셈환
소수 p에 대하여, p진수체 \mathbb Q_p의 브라우어 군은 \mathbb Q/\mathbb Z와 동형이다. (이는 유체론을 사용하여 계산할 수 있다.) 즉, \mathbb Q_p를 중심으로 하는 유한 차원 나눗셈환들은 가산 무한 개이다. [1/n]\in\mathbb Q/\mathbb Z에 대응하는 나눗셈환의 차원은 n^2이다.
## 수체 위의 나눗셈환
유체론에 따르면, 일반적인 대수적 수체 K에 대하여, 다음과 같은 군의 짧은 완전열이 존재한다. :0\to\operatorname{Br}K\to\bigoplus_\nu\operatorname{Br}K_\nu\to \mathbb Q/\mathbb Z\to0 여기서 \textstyle\bigoplus_\nu는 K의 모든 위치들에 대한 직합이며, 군 준동형 :\operatorname{Br}K\to\bigoplus_\nu\operatorname{Br}K_\nu 는 :\otimes KK_\nu\colon\operatorname{Br}K\to\operatorname{Br}K_\nu 들의 직합이다. 예를 들어, 유리수체의 경우 위치는 0 또는 소수 p에 대응하며, 이 경우 :\operatorname{Br}\mathbb Q_0=\operatorname{Br}\mathbb R\cong\frac12\mathbb Z/\mathbb Z :\operatorname{Br}\mathbb Q_p\cong\mathbb Q/\mathbb Z 이므로, :\operatorname{Br}\mathbb Q\cong\left(\frac12\mathbb Z/\mathbb Z\oplus\bigoplus_p\mathbb Q/\mathbb Z\right)/(\mathbb Q/\mathbb Z) 이다. 여기서 몫군의 분모인 부분군 \mathbb Q/\mathbb Z는 :\vec a=(a_0,a_2,a_3,a_5,\dots)\in\frac12\mathbb Z/\mathbb Z\oplus\bigoplus_p\mathbb Q/\mathbb Z :a_0\in\\{0,1/2\\} :a_p\in\mathbb Q/\mathbb Z 가운데, :|\\{p\colon a_p\not\equiv 0\pmod1\\}|1이라면, 1은 \Phi_n(x)의 근이 아니므로, :|\Phi_n(q)|=\prod_{\zeta\colon\Phi_n(\zeta)=0}|q-\zeta|>q-1 이다. 이는 모순이므로, 사실 n=1이다. 증명 끝 특히, 유한체의 브라우어 군은 자명군이다. 아르틴 환 조건을 생략하면 비가환 나눗셈환들이 존재한다. 예를 들어, 형식적 로랑 급수들의 집합 \mathbb F_{p^2}((t))에, 표준적인 환 구조와 다른 환 구조를 다음과 같이 부여하자. :ta=a^pt\qquad\forall a\in\mathbb F_{p^2} 즉, 로랑 급수환을 프로베니우스 자기 동형 a\mapsto a^p에 대하여 뒤틀은 것이다. 이는 \mathbb F_{p^2}를 중심으로 하는 가산 무한 차원 비가환 나눗셈환이다.
# 역사
1878년에 독일의 수학자 페르디난트 게오르크 프로베니우스는 프로베니우스 정리를 증명하였다.언어=de 스코틀랜드의 수학자 조지프 웨더번은 1905년에 웨더번 소정리의 증명을 발표하였지만,언어=en 이 증명은 결함이 있었다.언어=en 미국의 수학자 레너드 유진 딕슨이 최초로 올바른 증명을 발표하였다. 브라우어 군은 리하르트 브라우어가 1920~1930년대에 정의하였다.