나눗셈환

환론에서 **나눗셈환**(-環, ) 또는 **비가환체**(非可換體, )는 모든 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\}에 대하여, **화뤄겅 항등식**()은 다음과 같다.
: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
이를 사용하여, 다음과 같은 **화뤄겅 정리**()를 증명할 수 있다. 두 나눗셈환 사이의 함수 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
화뤄겅 항등식과 화뤄겅 정리는 화뤄겅이 증명하였다.

## 분류
아르틴 나눗셈환 (즉, 중심 위의 유한 차원 단위 결합 대수를 이루는 나눗셈환)에 대해서는 아르틴-웨더번 정리와 브라우어 군을 통한 분류가 존재한다.

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)가 같은 나눗셈환 위의 행렬환이라면 서로 **브라우어 동치**()라고 한다. 모든 브라우어 동치류는 정확히 하나의 나눗셈환을 포함하며, 따라서 브라우어 동치류는 K-중심 단순 대수인 나눗셈환과 일대일 대응한다.

브라우어 동치 관계는 K-텐서곱 구조를 보존하며, 따라서 브라우어 동치류들은 모노이드를 이룬다. 또한, 이 모노이드는 항상 군을 이룬다. 이 군을 **브라우어 군**(Brauer群, ) \operatorname{Br}(K)이라고 한다. 브라우어 군에서의 역원은 반대환 D^{-1}=D^{\operatorname{op}}이며, 항등원은 K 자체이다.

## 예
모든 체(실수체, 복소수체, p진수체, 유한체 등)는 나눗셈환이다.

대표적인 체 위의 브라우어 군은 다음과 같다.

### 실수체 위의 나눗셈환
실수체 \mathbb R의 브라우어 군은 크기가 2인 군이다. 즉, 실수체를 중심으로 하는 유한 차원 나눗셈 대수는 정확히 두 개가 있으며, 이는 실수체 자체 \mathbb R와 사원수환 \mathbb H이다. 실수체의 유한 확대는 복소수체 \mathbb C 밖에 없고, 이는 대수적으로 닫힌 체이므로 \mathbb C를 중심으로 하는 아르틴 나눗셈 대수는 \mathbb C 자체 밖에 없다. 즉, \mathbb R 위의 아르틴 나눗셈 대수는 \mathbb R, \mathbb C, \mathbb H 세 개 밖에 없다. 이를 **프로베니우스 정리**()라고 한다.

실수체의 유한 차수 확대는 복소수체 \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_K K_\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\}|
:\sum_{\nu=0,2,3,5,\dots}a_\nu\equiv 0\pmod1
인 것들로 구성된 부분군이다.

### 유한체 위의 나눗셈환
**웨더번 소정리**(Wedderburn小定理, )에 따르면, 유한환인 나눗셈환은 모두 유한체이다. 사실, 유한환인 영역은 모두 유한체이다. (이는 영역 R에서, 임의의 0이 아닌 원소 r\in D\setminus\{0\}는 단사 함수 r\cdot\colon D\setminus\{0\}\to D\setminus\{0\}를 정의하며, D가 유한 집합일 경우 이는 전단사 함수가 되기 때문에 D가 항상 나눗셈환이 되기 때문이다.)

D가 유한 나눗셈환이라고 하자. 그 중심 \operatorname Z(D)는 유한체이다. 그 크기를 q\ge2라고 하자. D는 유한 차원 \operatorname Z(D)-단위 결합 대수이다. 그 차원을 n이라고 하자. 만약 n=1임을 보이면, \operatorname Z(D)=D가 되어 D는 가환환이 되므로, 웨더번 소정리에 이른다.

임의의 a\in D에 대하여,
:\operatorname C_{D}(a)=\{b\in D\colon ab=ba\}
가 a의, D의 곱셈 모노이드에서의 중심화 부분 모노이드라고 하자. 이는 나눗셈환이며, \operatorname Z(D)를 포함하며, 유한 차원 \operatorname Z(D)-단위 결합 대수이다. 그 차원을 n(a)라고 하자. D는 나눗셈환 \operatorname C_D(a) 위의 왼쪽 자유 가군이며, 그 차원은 n/n(a)이므로, n(a)는 n을 나눈다.

이제, D의 가역원군 D^\times의, 스스로 위의 작용
:b\cdot a=b^{-1}ab
를 생각하자. D^\times의 원소의 궤도의 크기가 1일 필요충분조건은 이 원소가 \operatorname Z(D)^\times에 속하는 것이다. 임의의 a\in D^\times의 안정자군은 \operatorname C_D(a)^\times이다. 따라서, 다음과 같은 켤레류 방정식이 성립한다.
:\begin{align}
q^n-1
&=|D^\times| \\
&=|\operatorname Z(D)^\times|+\sum_{\operatorname{Cl}_{D^\times}(a)\colon a\in D^\times\setminus\operatorname Z(D)^\times}\frac \\
&=q-1+\sum_{\operatorname{Cl}_{D^\times}(a)\colon a\in D^\times\setminus\operatorname Z(D)^\times}\frac{q^n-1}{q^{n(a)}-1}
\end{align}

임의의 원분 다항식 \Phi_d(x)는 정수 계수 다항식이며, 항등식
:x^n-1=\prod_{d\mid n}\Phi_d(x)
:x^{n(a)}-1=\prod_{d\mid n(a)}\Phi_d(x)
이 성립한다. 또한, 임의의 a\in D^\times\setminus\operatorname C_D(a)^\times에 대하여, n(a)이므로 n\nmid n(a)이다. 따라서, \mathbb Z[x]에서
:\Phi_n(x)\mid x^n-1
:\Phi_n(x)\mid\prod_{d\mid n\colon d\nmid n(a)}\Phi_d(x)=\frac{x^n-1}{x^{n(a)}-1}
이며, 특히 \mathbb Z에서
:\Phi_n(q)\mid q^n-1
:\Phi_n(q)\mid\frac{q^n-1}{q^{n(a)}-1}
이다. 위 켤레류 방정식에 따라 \Phi_n(q)\mid q-1이며, 특히 |\Phi_n(q)|\le q-1이다.

\Phi_n(x)의 근들은 정확히 1의 원시 <math>n</math>제곱근들이며, 겹치지 않으며, 모두 단위원 위에 있다. 그런데 q는 1보다 큰 정수이므로, 단위원 위에서 q와 가장 가까운 점은 1이며, 다른 점들은 q와 더 멀리 떨어져 있다. 만약 n>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년에 독일의 수학자 페르디난트 게오르크 프로베니우스는 프로베니우스 정리를 증명하였다.

스코틀랜드의 수학자 조지프 웨더번은 1905년에 웨더번 소정리의 증명을 발표하였지만, 이 증명은 결함이 있었다. 미국의 수학자 레너드 유진 딕슨이 최초로 올바른 증명을 발표하였다.

브라우어 군은 리하르트 브라우어가 1920~1930년대에 정의하였다.

## 참고 문헌

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 
* 

분류:환론
분류:대수