대역체 문서 원본 보기

{{위키데이터 속성 추적}}
[[대수적 수론]]에서 '''대역체'''(大域體, {{llang|en|global field}})는 [[대수적 수체]] 및 이와 유사한 함수체를 통틀어 이르는 개념이다.

== 정의 ==
'''대역 함수체'''(大域函數體, {{llang|en|global function field}})는 서로 [[동치]]인 다음 두 조건을 만족시키는 [[체 (수학)|체]]이다.
* [[유한체]]에 대한 [[대수 곡선]]의 [[유리 함수층|함수체]]와 동형이다.
* [[유한체]] 계수의 [[유리 함수체]] <math>\mathbb F_q(t)</math>의 [[유한 확대]]와 동형이다.

체 <math>K</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.
* [[대수적 수체]] 또는 대역 함수체와 동형인 [[체 (수학)|체]]이다. 즉, <math>\mathbb Q</math>의 [[유한 확대]]이거나 어떤 <math>q</math>에 대한 <math>\mathbb F_q(t)</math>의 유한 확대이다.
*(대역체의 공리적 정의) <math>K</math> 위의 [[절댓값 (대수학)|절댓값]]들의 각 [[동치류]] 가운데 적절한 대표원 <math>\|-\|_v</math>을 잡으면, 다음 두 공리가 성립한다.<ref name="ArtinWhaples">{{저널 인용|성=Artin|이름=Emil|저자링크=에밀 아르틴|성2=Whaples|이름2=George|제목=Axiomatic characterization of fields by the product formula for valuations|저널=Bulletin of the American Mathematical Society|권=51|날짜=1945|쪽= 469–492|doi=10.1090/S0002-9904-1945-08383-9 |언어=en}}</ref>
** ('''곱 공식''' {{llang|en|product formula}}) 임의의 <math>a\in K^\times</math>에 대하여 <math>\{v\colon |a|_v\ne1\}<\aleph_0</math>이며, 또한 <math>\prod_v|a|_v=1</math>이다. 여기서 <math>\prod_v</math>는 <Math>K</math> 위의 모든 절댓값들의 동치류에서, 위에서 고른 대표원들에 대한 곱이다.
** (국소성) 절댓값 <math>\|-\|_v</math> 가운데, [[완비화 (환론)|완비화]] <Math>K_v</math>가 [[국소체]]가 되는 것이 적어도 하나 이상 존재한다.

대수적 수체와 대역 함수체는 여러가지로 유사한 성질들을 갖는다.

=== 자리 ===
대수적 수체의 (자명하지 않은) [[자리 (수론)|자리]]는 '''오스트롭스키 정리'''에 따라 다음 세 종류 가운데 하나이다.
* 실수체로의 매장 <math>\iota\colon K\hookrightarrow\mathbb R</math>에 대응하는 '''실수 자리'''.
* 복소수체로의 매장 <math>\iota\colon K\hookrightarrow\mathbb C</math>의 동치류 <Math>\iota\sim\bar\iota</math>에 대응하는 '''복소수 자리'''.
* 대수적 정수환 <math>\mathcal O_K</math>의 각 [[소 아이디얼]] <math>\mathfrak p</math>에 대하여, <math>\mathfrak p</math>진 자리.

대역 함수체 <math>\mathbb F_q(x)</math>의 (자명하지 않은) 자리는 다음 두 종류 가운데 하나이다.
* <math>P(x), Q(x)\in\mathbb F_q[x]</math>에 대하여, <math>P/Q\mapsto\deg P-\deg Q</math>인 [[이산 값매김]]에 대응하는 절댓값.
* 각 [[기약 다항식]] <math>P\in\mathbb F_q[x]</math>에 대하여, <math>P</math>진 자리.
이 경우, 모든 절댓값은 비아르키메데스 절댓값이다.

=== 곱 공식 ===
대역체 <math>K</math>의 자리 <math>v</math>는 절댓값들의 [[동치류]]이다. 이 동치류 속의 '''정규화 절댓값'''({{llang|en|normalized absolute value}}) <math>|\cdot|_v</math>는 다음과 같다.

대수적 수체 <math>K</math>의 유한 자리 <math>\mathfrak p\mid p</math>의 경우 (<math>p\in\mathbb{Spec}\mathbb Z\setminus\{(0)\}</math>는 [[소수 (수론)|소수]]), 규격화 절댓값은 다음과 같다.<ref name="Neukirch">{{서적 인용|성=Neukirch|이름=Jürgen|저자링크=위르겐 노이키르히|기타=Norbert Schappacher 역|날짜=1999|제목=Algebraic number theory|총서=Grundlehren der mathematischen Wissenschaften|issn=0072-7830|권=322|출판사=Springer|isbn=978-3-540-65399-8|zbl=0956.11021|mr=1697859|doi=10.1007/978-3-662-03983-0|언어=en}}</ref>{{rp|184}}
:<math>|-|_{\mathfrak p}=p^{-f_{\mathfrak p}v_{\mathfrak p}(-)}</math>
여기서 <math>v_{\mathfrak p}</math>는 규격화 [[이산 값매김]](즉, [[치역]]이 <math>\mathbb Z</math>인 값매김)이며,
:<math>f_{\mathfrak p}=[\mathcal O_{K_{\mathfrak p}}/\mathfrak m_{K_{\mathfrak p}}:\mathbb F_p]</math>
는 '''관성 차수'''({{llang|en|inertia degree}}), 즉 [[잉여류체]]의 [[체의 확대의 차수|차수]]이다.

대수적 수체 <math>K</math>의 무한 자리 <math>v\mid\infty</math>의 경우, <math>v</math>에 대응하는 매장을 <math>\iota_v\colon K\to\mathbb C</math>라고 하면, 이에 대응하는 규격화 절댓값은 다음과 같다.<ref name="Neukirch"/>{{rp|184}}
:<math>|-|_v=|\iota(-)|^{f_v}</math>
여기서 우변은 복소수체의 표준적인 절댓값이며,
:<math>f_v=\begin{cases}
1&\iota_v(K)\subset\mathbb R\\
2&\iota_v(K)\not\subset\mathbb R
\end{cases}</math>
는 '''관성 차수'''이다.

대수적 함수체 <math>K</math>의 자리 <math>V\mid v</math>의 경우 (<math>v</math>는 <math>\mathbb F_q[x]</math>의 자리), 규격화 절댓값은 다음과 같다.
:<math>|-|_{\mathfrak P}=\exp(-f_Vv_P(-))</math>
여기서 <math>f_V</math>는 '''관성 차수'''로, 다음과 같다.
:<math>f_V=[\mathcal O_{K_v}/\mathfrak m(\mathcal O_{K_v}):\mathbb F_q]</math>
<math>v_P</math>는 <math>\mathbb F_q[x]</math> 위의, <math>P</math>에 대응하는 규격화 이산 절댓값이다. (여기서 <math>e</math> 대신 다른 상수를 사용해도 상관없다.)

이렇게 규격화 절댓값들을 정의하면, 다음과 같은 '''곱 공식'''이 성립한다.
# 임의의 <math>a\in K</math>에 대하여, <math>|a|_v\ne1</math>인 자리 <math>v</math>의 수는 유한하다.
# 임의의 <math>a\in K</math>에 대하여, <Math>\prod_v|a|_v=1</math>이다.

=== 대수적 정수환 ===
대역체 <math>K</math>의 '''대수적 정수환''' <math>\mathcal O_K</math>는 모든 비아르키메데스 절댓값 (유한 자리)에 대하여, 절댓값이 1 이하인 (즉, [[이산 값매김]]이 음수가 아닌) 원소들의 집합이다.<ref name="ArtinWhaples"/>{{rp|485}}
:<math>\mathcal O_K=\{a\in K\colon|a|_v\le1\forall v<\infty\}</math>
다시 말해, <math>K</math>의 모든 [[국소체]]의 대수적 정수환들의 [[교집합]]이다.

만약 <math>K/\mathbb Q</math>가 [[대수적 수체]]라면, 그 대수적 정수환은 <math>\mathbb Z\subset K</math>의 [[정수적 폐포]]이다. 특히, <Math>\mathbb Q</math>의 대수적 정수환은 <Math>\mathbb Z</math>이다. <math>\mathbb F_q(x)</math>의 대수적 정수환은 [[다항식환]] <math>\mathbb F_q[t]</math>이며, <math>\mathbb F_q(x)</math>의 유한 확대의 대수적 정수환은 <math>\mathbb F_q[x]</math>의 [[정수적 폐포]]이다.

대역체 <math>K</math>의 대수적 정수환 <math>\mathcal O_K</math>는 [[데데킨트 정역]]이며, <math>\mathcal O_K</math>의 0이 아닌 모든 [[아이디얼]]은 유한 [[부분군의 지표|지표]]를 갖는다.

== 역사 ==
[[대수적 수체]]와 대수적 함수체가 여러 유사한 성질을 가진다는 사실은 [[앙드레 베유]]가 1939년에 지적하였다.<ref>{{저널 인용|이름=André|성=Weil|저자링크=앙드레 베유|제목=Sur l’analogie entre les corps de nombres algébriques et les corps de fonctions algébriques|저널=La Revue Scientifique|권=77|호=1|쪽=104-106|날짜=1939-01-15|jfm=65.1140.01|issn=0370-4556|url=http://gallica.bnf.fr/ark:/12148/bpt6k6566471c/f114.image|언어=fr}}</ref> 이에 대하여 베유는 1967년에 훗날 대역체를 차별하는 것을 [[인종 차별]]의 일종인 "분리된 평등함"({{llang|en|separate but equal}}, 인종에 대하여 서로 다른 학교 등의 시설들을 사용하게 하는 것. 1954년 [[브라운 대 토피카 교육위원회 재판]]에 의하여 위헌으로 판결됨)에 비유하여 다음과 같이 적었다.
{{인용문2|[[수론]]을 "요리"할 때 [[실수체]]를 (무한한 [[자리 (수론)|자리]]에서라도) 더 이상 불가결한 "재료"로 여기지 않는다면, 당연히 [[유한체]] 위의 [[유리 함수체|함수체]] 역시 [[대수적 수체|수체]]와 동시에 다루어져야 한다. 이전에 이들이 차별 대우를 받아 "분리되었지만 평등한" 설비들이 사용된 것과 다르게 말이다. 이렇게 한다면 두 "인종" 모두 잃는 것 없이 서로 혜택을 받는다는 것이 이 책의 독자에게 분명하리라고 희망한다.<br>
{{lang|en|Once the presence of the real field, albeit at infinite distance, ceases to be regarded as a necessary ingredient in the arithmetician’s brew, it goes without saying that the function-fields over finite fields must be granted a fully simultaneous treatment with number-fields, instead of the segregated status, and at best the separate but equal facilities, which hitherto have been their lot. That, far from losing by such treatment, both races stand to gain by it, is one fact which will, I hope, clearly emerge from this book.}}|<ref>{{서적 인용|제목=Basic number theory|이름=André|성=Weil|저자링크=앙드레 베유|doi=10.1007/978-3-642-61945-8|총서=Grundlehren der mathematischen Wissenschaften|권=144|출판사=Springer-Verlag|판=1|zbl=0176.33601|날짜=1967|issn=0072-7830|언어=en}}</ref>{{rp|Foreword}}}}

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Global field}}
* {{매스월드|id=GlobalField|title=Global field}}
* {{nlab|id=global field|title=Global field}}
* {{nlab|id=function field analogy|title=Function field analogy}}

{{전거 통제}}

[[분류:대수적 수론]]
[[분류:대수 곡선]]
[[분류:체론]]