체론(field theory)

개요

\((\mathbb{F}, +)\)는 아벨군이며 0은 항등원이다. 즉 덧셈에 대한 아벨군을 이룬다.
\((\mathbb{F}^{*}, \cdot)\)는 아벨군이며 1은 항등원이다. 여기서 \(\mathbb{F}^{*}\)은 0을 제외한 원소들의 집합.
더하기와 곱하기는 분배법칙을 만족시킨다. 즉, 모든 원소 \(a,b,c\in \mathbb{F}\)에 대하여 \(a \cdot (b+c) = (a \cdot b) + (a \cdot c)\) 이 성립한다.

(기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음
유리수체 \(\mathbb{Q}\)에서 정의된 다항식 \(x^3-2=0\)
해는 \(\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}\) 세 개가 존재
유리수체 \(\mathbb{Q}\)에 \(\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}\)를 집어넣으면 유리수체의 확장 \(K=\mathbb{Q}(\omega, \sqrt[3]{2})\) 를 얻음
이 때, 체 \(K\)는 유리수체 \(\mathbb{Q}\)위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 \([K : \mathbb{Q}]=6\)이 됨

Field Theory: From Equations to Axiomatization, Part I
- Israel Kleiner, The American Mathematical Monthly, Vol. 106, No. 7 (Aug. - Sep., 1999), pp. 677-684
Field Theory: From Equations to Axiomatization, Part II
- Israel Kleiner, The American Mathematical Monthly, Vol. 106, No. 9 (Nov., 1999), pp. 859-863