장 54 정수환

54.1 노름과 자취

대표적인 예: $\mathbb{Q}(\sqrt{2})$ 의 원소로서의 $a+b\sqrt{2}$ 는 노름 $a^{2}-2b^{2}$ 과 자취 $2a$ 를 가집니다.

올림피아드를 하던 시절, $a^{2}+b^{2}$ 가 $a+bi$ 의 “노름”이었던 것을 기억하십니까? 좋습니다, 실제로 무슨 일이 일어나고 있는지 알려드리겠습니다.

먼저, 켤레의 개념을 정확히 해보겠습니다.

정의 54.1.1.

$\alpha$ 를 대수적 수라 하고, $P(x)$ 를 그것의 최소다항식이라 하되 차수는 $m$ 이라 합시다. 그러면 $P$ 의 $m$ 개의 근은 $\alpha$ 의 (갈루아) 켤레입니다.

이 시점에서 중복된 켤레가 없다는 것을 보여줄 가치가 있습니다.

보조정리 54.1.2 (기약다항식은 서로 다른 근을 가집니다).

$\mathbb{Q}[x]$ 의 기약다항식은 복소수 중근을 가질 수 없습니다.

증명.

$f(x)\in\mathbb{Q}[x]$ 를 기약다항식이라 하고, 이것이 중근 $\alpha$ 를 가진다고 가정합시다. 도함수 $f^{\prime}(x)$ 를 취합니다. 이 도함수는 세 가지 흥미로운 성질을 가집니다.

•

$f^{\prime}$ 의 차수는 $f$ 의 차수보다 하나 작습니다.
•

다항식 $f$ 와 $f^{\prime}$ 는 인수 $x-\alpha$ 를 공유하기 때문에 서로소가 아닙니다.
•

$f^{\prime}$ 의 계수 또한 $\mathbb{Q}$ 에 속합니다.

$g=\gcd(f,f^{\prime})$ 를 생각해봅시다. 유클리드 호제법에 의해 $g\in\mathbb{Q}[x]$ 여야 합니다. 하지만 $f^{\prime}$ 에 대한 앞의 두 사실은 $g$ 가 상수가 아니며 $\deg g<\deg f$ 임을 보장합니다. 그런데 $g$ 는 $f$ 를 나누므로, 이는 $f$ 가 기약이어야 한다는 사실에 모순됩니다. ∎

따라서 $\alpha$ 는 정확히 $\alpha$ 의 차수만큼의 켤레를 가집니다.

이제, 어떤 원소의 노름 $\operatorname{N}(\alpha)$ 를 그것의 켤레들의 곱으로 정의하고 싶습니다. 예를 들어, $2+i$ 가 노름 $(2+i)(2-i)=5$ 를 갖고, 일반적으로 $a+bi$ 가 노름 $a^{2}+b^{2}$ 을 갖기를 원합니다. 노름이 곱셈적이라면 정말 멋질 것입니다. 복소수에서는 이것이 성립함을 이미 알고 있습니다!

안타깝게도 이것은 그다지 잘 작동하지 않습니다. 다음을 생각해보십시오.

\operatorname{N}(2+i)=5\text{그리고}\operatorname{N}(2-i)=5.

하지만 $(2+i)(2-i)=5$ 이고, 이는 우리가 원하는 것처럼 노름 $25$ 를 갖지 않습니다. 왜냐하면 $5$ 는 차수가 $1$ 이고 켤레를 전혀 갖지 않기 때문입니다. 이러한 “나쁜” 일이 일어나는 이유는, 우리가 원소의 노름을 정의하려 하고 있지만, 실제로는 특정한 $K$ 에 대한 원소의 노름을 정의해야 하기 때문입니다.

제가 말하려는 것은, 노름이 어느 체에 있는지에 따라 다른 의미를 가져야 한다는 것입니다. $5$ 를 $\mathbb{Q}$ 의 원소로 생각하면 그 노름은 $5$ 입니다. 하지만 $\mathbb{Q}(i)$ 의 원소로 생각하면 그 노름은 실제로 $25$ 여야 합니다. 이를 실현해봅시다: $K$ 를 수체라 할 때, 이제 $\operatorname{N}_{K/\mathbb{Q}}(\alpha)$ 를 다음과 같이 $K$ 에 대한 $\alpha$ 의 노름으로 정의하겠습니다.

정의 54.1.3.

$\alpha\in K$ 가 차수 $n$ 을 가진다고 합시다. 그러면 $\mathbb{Q}(\alpha)\subseteq K$ 이고, $k=(\deg K)/n$ 이라 둡시다. $\alpha$ 의 노름은 다음과 같이 정의됩니다

\operatorname{N}_{K/\mathbb{Q}}(\alpha)\coloneqq\left(\prod\text{$\alpha$의 갈루아% 켤레}\right)^{k}.

자취는 다음과 같이 정의됩니다

\operatorname{Tr}_{K/\mathbb{Q}}(\alpha)\coloneqq k\cdot\left(\sum\text{$% \alpha$의 갈루아 켤레}\right).

$k$ 의 지수는 $5$ 를 $\mathbb{Q}$ 의 원소가 아니라 $\mathbb{Q}(i)$ 의 원소로 볼 때 $5$ 의 노름을 $5^{2}=25$ 로 만들어주는 “보정 계수”입니다. $K$ 의 “일반적인” 원소에 대해서는 $k=1$ 일 것으로 예상됩니다.

연습문제 54.1.4.

중첩된 벡터 공간에 대해 알고 있는 것을 이용하여 $k$ 가 실제로 정수임을 스스로 확인해보십시오.

예제 54.1.5 ( $a+b\sqrt{2}$ 의 노름).

$\alpha=a+b\sqrt{2}\in\mathbb{Q}(\sqrt{2})=K$ 라고 합시다. $b\neq 0$ 이면, $\alpha$ 와 $K$ 는 차수 $2$ 를 갖습니다. 따라서 $\alpha$ 의 켤레는 오직 $a\pm b\sqrt{2}$ 뿐이며, 이로부터 노름

(a+b\sqrt{2})(a-b\sqrt{2})=a^{2}-2b^{2},

을 얻습니다. 대각합은 $(a-b\sqrt{2})+(a+b\sqrt{2})=2a$ 입니다.

신기하게도, 공식 $a^{2}-2b^{2}$ 와 $2a$ 는 $b=0$ 인 경우에도 성립합니다.

예제 54.1.6 ( $a+b\sqrt[3]{2}+c\sqrt[3]{4}$ 의 노름).

$\alpha=a+b\sqrt[3]{2}+c\sqrt[3]{4}\in\mathbb{Q}(\sqrt[3]{2})=K$ 라고 합시다. 위와 마찬가지로, $b\neq 0$ 이거나 $c\neq 0$ 이면, $\alpha$ 와 $K$ 는 같은 차수 $3$ 을 갖습니다. $\alpha$ 의 켤레는 $a+b\sqrt[3]{2}\omega+c\sqrt[3]{4}\omega^{2}$ 와 $a+b\sqrt[3]{2}\omega^{2}+c\sqrt[3]{4}\omega$ 이며, 우리는 $\operatorname{N}_{K/\mathbb{Q}}(\alpha)=a^{3}+2b^{3}+4c^{3}-6abc$ 와 $\operatorname{Tr}_{K/\mathbb{Q}}(\alpha)=3a$ 를 계산할 수 있습니다.

이 경우에는 $\alpha$ 의 켤레가 체 $K$ 안에 놓여 있지 않다는 점에 유의하십시오!

중요한 것은 다음과 같습니다:

명제 54.1.7 (노름과 트레이스는 유리 정수입니다).

$\alpha$ 가 대수적 정수이면, 그 노름과 트레이스는 유리 정수입니다.

질문 54.1.8.

증명해 보십시오. (비에트 공식.)

훌륭하지만, 이는 한 가지 의문을 남깁니다: 노름은 왜 곱셈적입니까? 이를 위해서는, 노름과 대각합에 대한 새로운 정의를 제시해야 합니다.

비고 54.1.9.

”보정 계수”를 자동으로 더하는 또 다른 방법은 $K$ 에서 $\mathbb{C}$ 로의 매장을 이용하는 것입니다.

이후 정리 59.3.1에서 보게 되겠지만, $K$ 에서 $\mathbb{C}$ 로의 매장은 정확히 $d=\deg K$ 개 존재하며, 이를 $\sigma_{1},\dots,\sigma_{d}$ 라고 합시다. 그러면, $\operatorname{Tr}_{K/\mathbb{Q}}(\alpha)=\sum_{i=1}^{d}\sigma_{i}(\alpha)$ 이고 $\operatorname{N}_{K/\mathbb{Q}}(\alpha)=\prod_{i=1}^{d}\sigma_{i}(\alpha)$ 입니다.

정리 54.1.10 (노름과 대각합에 대한 본질적으로 올바른 정의).

$K$ 를 차수 $n$ 인 수체라 하고, $\alpha\in K$ 라고 합시다. $\mu_{\alpha}\colon K\to K$ 를

x\mapsto\alpha x

로 정의되는 사상이라 하고, 이를 $\mathbb{Q}$ -벡터 공간의 선형 사상으로 봅시다. 그러면,

•

$\alpha$ 의 노름은 행렬식 $\det\mu_{\alpha}$ 와 같으며,
•

$\alpha$ 의 대각합은 대각합 $\operatorname{Tr}\mu_{\alpha}$ 와 같습니다.

행렬식의 정의에는 명백한 기하학적 해석이 있습니다: $K\cong\mathbb{Q}^{n}$ 을 벡터 공간으로 볼 때, 행렬식은 $\alpha$ 를 곱했을 때 $\mathbb{Q}^{n}$ 이 얼마나 늘어나는지를 나타냅니다. 즉, $\mathbb{Q}^{n}$ 안에 부피가 $v$ 인 평행육면체가 주어졌을 때, 변환 $\mu_{\alpha}$ 아래에서 이는 부피가 $|\operatorname{N}(\alpha)|v$ 인 평행육면체로 변환됩니다.

대각합과 행렬식은 기저의 선택에 의존하지 않으므로, 원하는 아무 기저나 골라서 고등학교 때 배운 정의를 그대로 사용해도 됩니다. 멋지지 않습니까?

예제 54.1.11 ( $a+b\sqrt{2}$ 에 대한 행렬의 명시적 계산).

$K=\mathbb{Q}(\sqrt{2})$ 라 하고, $1$ , $\sqrt{2}$ 를 $K$ 의 기저라고 합시다.

\alpha=a+b\sqrt{2}

(심지어 $b=0$ 일 수도 있습니다)라고 하면, 다음을 확인할 수 있습니다.

\left(a+b\sqrt{2}\right)\left(x+y\sqrt{2}\right)=(ax+2yb)+(bx+ay)\sqrt{2}.

이를 행렬 형태로 다시 쓰면 다음과 같습니다.

\begin{bmatrix}a&2b\\ b&a\end{bmatrix}\begin{bmatrix}x\\ y\end{bmatrix}=\begin{bmatrix}ax+2yb\\ bx+ay\end{bmatrix}.

결과적으로, $\mu_{\alpha}$ 를 다음 행렬로 해석할 수 있습니다.

\mu_{\alpha}=\begin{bmatrix}a&2b\\ b&a\end{bmatrix}.

물론 다른 기저를 고르면 행렬은 달라지지만, 행렬식과 대각합은 달라지지 않습니다: 이들은 항상 다음과 같이 주어집니다.

\det\mu_{\alpha}=a^{2}-2b^{2}\text{그리고}\operatorname{Tr}\mu_{\alpha}=2a.

이 해석은 $b=0$ 인 경우에도 왜 $a+b\sqrt{2}$ 에 대해 같은 공식이 성립해야 하는지를 설명해 줍니다.

증명.

노름에 대해서만 결과를 증명하겠습니다; 대각합은 비슷하게 따라 나옵니다. 다음과 같이 놓읍시다

n=\deg\alpha,\qquad kn=\deg K.

증명은 $k=1$ 인지 아닌지에 따라 두 부분으로 나뉩니다.

$k=1$ 일 때의 증명.

$n=\deg\alpha=\deg K$ 로 놓읍시다. 따라서 노름은 실제로 갈루아 켤레들의 곱입니다. 또한

\{1,\alpha,\dots,\alpha^{n-1}\}

는 $K$ 에서 선형독립이며, 따라서 ( $\dim K=n$ 이므로) 기저가 됩니다. 이를 $\mu_{\alpha}$ 의 기저로 사용합시다.

x^{n}+c_{n-1}x^{n-1}+\dots+c_{0}

를 $\alpha$ 의 최소다항식이라 합시다. 따라서 $\mu_{\alpha}(1)=\alpha$ , $\mu_{\alpha}(\alpha)=\alpha^{2}$ 이고 이런 식으로 계속되지만, $\mu_{\alpha}(\alpha^{n-1})=-c_{n-1}\alpha^{n-1}-\dots-c_{0}$ 입니다. 그러므로 $\mu_{\alpha}$ 는 다음 행렬로 주어집니다

M=\begin{bmatrix}0&0&0&\dots&0&-c_{0}\\ 1&0&0&\dots&0&-c_{1}\\ 0&1&0&\dots&0&-c_{2}\\ \vdots&\vdots&\vdots&\ddots&0&-c_{n-2}\\ 0&0&0&\dots&1&-c_{n-1}\end{bmatrix}.

따라서

\det M=(-1)^{n}c_{0}

이며, 비에트의 공식에 의해 증명이 끝납니다. ∎

$k>1$ 일 때의 증명.

다음과 같이 중첩된 벡터 공간들이 있습니다

\mathbb{Q}\subseteq\mathbb{Q}(\alpha)\subseteq K.

$e_{1}$ , …, $e_{k}$ 를 $K$ 의 $\mathbb{Q}(\alpha)$ -기저라 합시다 (즉, $K$ 를 $\mathbb{Q}(\alpha)$ 위의 벡터 공간으로 해석하고, 그 기저를 택합니다). $\{1,\alpha,\dots,\alpha^{n-1}\}$ 가 $\mathbb{Q}(\alpha)$ 의 $\mathbb{Q}$ 기저이므로, 다음 원소들은

\begin{array}[]{cccc}e_{1},&e_{1}\alpha,&\dots,&e_{1}\alpha^{n-1}\\ e_{2},&e_{2}\alpha,&\dots,&e_{2}\alpha^{n-1}\\ \vdots&\vdots&\ddots&\vdots\\ e_{k},&e_{k}\alpha,&\dots,&e_{k}\alpha^{n-1}\end{array}

$K$ 의 $\mathbb{Q}$ -기저를 이룹니다. 이 기저를 사용하면, 사상 $\mu_{\alpha}$ 는 다음과 같이 보입니다

\underbrace{\begin{bmatrix}M&&&\\ &M&&\\ &&\ddots&\\ &&&M\end{bmatrix}}_{\text{$k$번}}

여기서 $M$ 은 위와 같은 행렬입니다: 각 $e_{i}$ 마다 우리의 기존 행렬 한 벌씩을 얻게 될 뿐입니다. 따라서 필요한 대로 $\det\mu_{\alpha}=(\det M)^{k}$ 입니다. ∎

질문 54.1.12.

대각합에 대해서도 결과를 확인해 보십시오. ∎

이로부터 다음이 즉시 따라옵니다

\operatorname{N}_{K/\mathbb{Q}}(\alpha\beta)=\operatorname{N}_{K/\mathbb{Q}}(% \alpha)\operatorname{N}_{K/\mathbb{Q}}(\beta)

왜냐하면 정의에 의해 다음을 갖기 때문입니다

\mu_{\alpha\beta}=\mu_{\alpha}\circ\mu_{\beta},

그리고 행렬식이 곱셈적이라는 사실입니다. 같은 방식으로, 대각합은 덧셈적입니다.

54.2 정수 환

대표적인 예: $K=\mathbb{Q}(\sqrt{2})$ 이면 $\mathcal{O}_{K}=\mathbb{Z}[\sqrt{2}]$ 입니다. 그러나 $K=\mathbb{Q}(\sqrt{5})$ 이면 $\mathcal{O}_{K}=\mathbb{Z}[\frac{1+\sqrt{5}}{2}]$ 입니다.

$\mathbb{Z}$ 는 $\mathbb{Q}$ 보다 더 나은 수론을 제공합니다. 마찬가지로, $K$ 의 대수적 정수에 초점을 맞추면 정말 좋은 구조를 얻을 수 있으며, 여기서 그렇게 하겠습니다.

정의 54.2.1.

수체 $K$ 가 주어졌을 때, 우리는

\mathcal{O}_{K}\coloneqq K\cap\overline{\mathbb{Z}}

를 $K$ 의 정수환이라 정의합니다; 다시 말해 $\mathcal{O}_{K}$ 는 $K$ 의 대수적 정수들로 이루어집니다.

이제 이차체의 고전적인 예를 다루겠습니다. 진행하기 전에, 사소한 정수론 사실 하나를 적어야 합니다.

연습문제 54.2.2 (성가시지만 단순한).

$a$ 와 $b$ 를 유리수라 하고, $d$ 를 제곱인수가 없는 양의 정수라 합시다.

•

$d\equiv 2,3\pmod{4}$ 이면, $2a,a^{2}-db^{2}\in\mathbb{Z}$ 인 것과 $a,b\in\mathbb{Z}$ 인 것이 동치임을 증명하십시오.
•

$d\equiv 1\pmod{4}$ 에 대해, $2a,a^{2}-db^{2}\in\mathbb{Z}$ 인 것과 $a,b\in\mathbb{Z}$ 이거나 $a-\frac{1}{2},b-\frac{1}{2}\in\mathbb{Z}$ 인 것이 동치임을 증명하십시오.

$4$ 로 나눈 나머지를 취해야 할 것입니다.

예제 54.2.3 ( $K=\mathbb{Q}(\sqrt{3})$ 의 정수환).

$K$ 를 위와 같다고 합시다. 우리는

\mathcal{O}_{K}=\mathbb{Z}[\sqrt{3}]=\left\{m+n\sqrt{3}\mid m,n\in\mathbb{Z}% \right\}.

임을 주장합니다. $\alpha=a+b\sqrt{3}$ 로 놓습니다. 그러면 최소 다항식이 정수 계수를 가질 때 $\alpha\in\mathcal{O}_{K}$ 입니다.

$b=0$ 이면 최소 다항식은 $x-\alpha=x-a$ 이고, 따라서 $\alpha$ 는 정수일 때에만 성립합니다. $b\neq 0$ 이면 최소 다항식은

(x-a)^{2}-3b^{2}=x^{2}-2a\cdot x+(a^{2}-3b^{2}).

연습문제로부터, 이는 정확히 $a,b\in\mathbb{Z}$ 일 때 성립합니다.

예제 54.2.4 ( $K=\mathbb{Q}(\sqrt{5})$ 의 정수환).

이 경우에는

\mathcal{O}_{K}=\mathbb{Z}\left[\frac{1+\sqrt{5}}{2}\right]=\left\{m+n\cdot% \frac{1+\sqrt{5}}{2}\mid m,n\in\mathbb{Z}\right\}.

증명은 정확히 동일하되, 연습문제에서 $b\neq 0$ 일 때 $a,b\in\mathbb{Z}$ 이거나 $a,b\in\mathbb{Z}-\frac{1}{2}$ 인 두 가지 가능성이 모두 있음을 알려준다는 점만 다릅니다. 이는 $\frac{1+\sqrt{5}}{2}$ 가 $x^{2}-x-1=0$ 의 근이라는 사실을 반영하며, $\sqrt{3}$ 의 경우에는 이러한 일이 불가능합니다.

일반적으로 $K=\mathbb{Q}(\sqrt{d})$ 의 정수환은

\mathcal{O}_{K}=\begin{cases}\mathbb{Z}[\sqrt{d}]&d\equiv 2,3\pmod{4}\\[10.000% 02pt] \mathbb{Z}\left[\frac{1+\sqrt{d}}{2}\right]&d\equiv 1\pmod{4}.\end{cases}

우리가 보이고자 하는 것은 $\mathcal{O}_{K}$ 가 $K$ 안에서 정수가 $\mathbb{Q}$ 안에서 행동하는 것과 매우 비슷하게 행동한다는 것입니다. 먼저 $K$ 가 $\mathcal{O}_{K}$ 의 원소들의 몫으로 이루어져 있음을 보입니다. 사실, 더 강한 결과를 얻을 수 있습니다:

예제 54.2.5 (분모의 유리화).

예를 들어, $K=\mathbb{Q}(\sqrt{3})$ 을 생각해봅시다. 수 $x=\frac{1}{4+\sqrt{3}}$ 는 $K$ 의 원소이지만, ”분모를 유리화”함으로써 다음과 같이 쓸 수 있습니다

\frac{1}{4+\sqrt{3}}=\frac{4-\sqrt{3}}{13}.

그러므로 사실 $x$ 는 $\mathcal{O}_{K}$ 에 속하는 어떤 정수의 $\frac{1}{13}$ 임을 알 수 있습니다.

이 정리는 더 일반적으로도 성립합니다.

정리 54.2.6 ( $K=\mathbb{Q}\cdot\mathcal{O}_{K}$ ).

$K$ 를 수체라 하고, $x\in K$ 를 임의의 원소라 합시다. 그러면 $nx\in\mathcal{O}_{K}$ 가 되도록 하는 정수 $n$ 이 존재합니다; 다시 말해, 어떤 $\alpha\in\mathcal{O}_{K}$ 에 대해

x=\frac{1}{n}\alpha

입니다.

연습문제 54.2.7.

이를 직접 증명해보십시오. ( $x$ 가 유리수 계수를 갖는 최소 다항식을 가진다는 사실을 이용하는 것으로 시작하십시오. 또는 노름을 취하십시오.)

이제 $\mathcal{O}_{K}$ 가 환임을 보이려고 합니다; 덧셈과 곱셈에 대해 닫혀 있음을 확인할 것입니다. 이를 위한 가장 쉬운 방법은:

보조정리 54.2.8 ( $\alpha\in\overline{\mathbb{Z}}$ $\iff$ $\mathbb{Z}[\alpha]$ 가 유한생성).

$\alpha\in\overline{\mathbb{Q}}$ 라 합시다. 그러면 $\alpha$ 가 대수적 정수인 것은 아벨 군 $\mathbb{Z}[\alpha]$ 가 유한생성인 것과 동치입니다.

증명.

$\alpha$ 가 대수적 정수인 것은 정수 계수를 갖는 어떤 0이 아닌 모닉 다항식의 근인 것과 동치임에 유의하십시오. 먼저 다음을 가정합시다

\alpha^{N}=c_{N-1}\alpha^{N-1}+c_{N-2}\alpha^{N-2}+\dots+c_{0}.

그러면 집합 $1,\alpha,\dots,\alpha^{N-1}$ 가 $\mathbb{Z}[\alpha]$ 를 생성합니다. 왜냐하면 $\alpha$ 의 모든 거듭제곱이 $N$ 보다 작아질 때까지 $\alpha^{N}$ 을 반복적으로 대체할 수 있기 때문입니다.

역으로, $\mathbb{Z}[\alpha]$ 가 어떤 $b_{1},\dots,b_{m}$ 에 의해 유한생성된다고 가정합시다. $b_{i}$ 들을 $\alpha$ 에 대한 다항식으로 보면, 큰 정수 $N$ 을 선택하여 (예컨대 $N=\deg b_{1}+\dots+\deg b_{m}+2015$ ) $\alpha^{N}$ 을 $b_{i}$ 들로 표현하여 다음을 얻을 수 있습니다

\alpha^{N}=c_{1}b_{1}(\alpha)+\dots+c_{m}b_{m}(\alpha).

위의 결과는 $\alpha$ 에 대한 모닉 다항식을 우리에게 주며, $N$ 의 선택은 그것이 0이 아님을 보장합니다. 따라서 $\alpha$ 는 대수적 정수입니다. ∎

예제 54.2.9 ( $\frac{1}{2}$ 은 대수적 정수가 아님).

우리는 이미 $\frac{1}{2}$ 이 대수적 정수가 아님을 알고 있습니다. 따라서 우리는

\mathbb{Z}\left[\frac{1}{2}\right]=\left\{\frac{a}{2^{m}}\mid a,m\in\mathbb{Z}% \text{그리고}m\geq 0\right\}

이 유한생성이 아닐 것으로 예상하며, 실제로 그러합니다.

질문 54.2.10.

마지막 예를 구체적으로 만들기 위해: $\mathbb{Z}[\frac{1}{2}]$ 의 원소들 중 다음의 정수 결합으로 쓸 수 없는 모든 원소들을 나열해보십시오

\left\{\frac{1}{2},\frac{7}{8},\frac{13}{64},\frac{2015}{4096},\frac{1}{104857% 6}\right\}

이제 정리를 서술할 수 있습니다.

정리 54.2.11 (대수적 정수는 $+$ 와 $\times$ 에 대해 닫혀 있습니다).

집합 $\overline{\mathbb{Z}}$ 는 덧셈과 곱셈에 대해 닫혀 있습니다. 즉 이는 환입니다. 특히, $\mathcal{O}_{K}$ 또한 임의의 수체 $K$ 에 대해 환입니다.

증명.

$\alpha,\beta\in\overline{\mathbb{Z}}$ 라고 합시다. 그러면 $\mathbb{Z}[\alpha]$ 와 $\mathbb{Z}[\beta]$ 는 유한 생성됩니다. 따라서 $\mathbb{Z}[\alpha,\beta]$ 도 그렇습니다. (세부 사항: $\mathbb{Z}[\alpha]$ 가 $\mathbb{Z}$ -기저 $a_{1},\dots,a_{m}$ 을 가지고 $\mathbb{Z}[\beta]$ 가 $\mathbb{Z}$ -기저 $b_{1},\dots,b_{n}$ 을 가진다면, $m n$ 개의 원소 $a_{i}b_{j}$ 를 취하십시오.)

이제 $\mathbb{Z}[\alpha\pm\beta]$ 와 $\mathbb{Z}[\alpha\beta]$ 는 $\mathbb{Z}[\alpha,\beta]$ 의 부분집합이므로 이들 또한 유한 생성됩니다. 따라서 $\alpha\pm\beta$ 와 $\alpha\beta$ 는 대수적 정수입니다. ∎

사실, 더 좋은 것이 성립합니다. 보았듯이, $\mathbb{Q}(\sqrt{3})$ 에 대해서는 $\mathcal{O}_{K}=\mathbb{Z}[\sqrt{3}]$ 이었습니다. 다시 말해, $\mathcal{O}_{K}$ 는 $1$ 과 $\sqrt{3}$ 에 의해 생성되었습니다. $\mathbb{Q}(\sqrt{5})$ 에 대해서도 비슷한 것이 성립했습니다. 사실 일반적인 그림도 정확히 이와 같다고 주장합니다.

정리 54.2.12 ( $\mathcal{O}_{K}$ 는 계수 $n$ 의 자유 $\mathbb{Z}$ -가군입니다).

$K$ 를 차수 $n$ 의 수체라고 합시다. 그러면 $\mathcal{O}_{K}$ 는 계수 $n$ 의 자유 $\mathbb{Z}$ -가군입니다. 즉, 아벨 군으로서 $\mathcal{O}_{K}\cong\mathbb{Z}^{\oplus n}$ 입니다. 다시 말해, $\mathcal{O}_{K}$ 는 다음과 같이 $n$ 개의 원소로 이루어진 $\mathbb{Z}$ -기저를 가집니다

\mathcal{O}_{K}=\left\{c_{1}\alpha_{1}+\dots+c_{n-1}\alpha_{n-1}+c_{n}\alpha_{% n}\mid c_{i}\in\mathbb{Z}\right\}

여기서 $\alpha_{i}$ 는 $\mathcal{O}_{K}$ 의 대수적 정수입니다.

증명은 이후 장으로 미루겠습니다.

이 마지막 정리는 여러 면에서 $\mathcal{O}_{K}$ 가 $K$ 안의 ”격자”임을 보여줍니다. 즉, 수체 $K$ 에 대해 $\mathcal{O}_{K}$ 안에서 $\alpha_{1}$ , …, $\alpha_{n}$ 을 찾을 수 있어 다음이 성립합니다

	$\displaystyle\mathcal{O}_{K}$	$\displaystyle\cong\alpha_{1}\mathbb{Z}\oplus\alpha_{2}\mathbb{Z}\oplus\dots% \oplus\alpha_{n}\mathbb{Z}$
	$\displaystyle K$	$\displaystyle\cong\alpha_{1}\mathbb{Q}\oplus\alpha_{2}\mathbb{Q}\oplus\dots% \oplus\alpha_{n}\mathbb{Q}$

아벨 군으로서.

54.3 단생성 확대에 대하여

수체 $K$ 가 모두 어떤 $\alpha$ 에 대해 $\mathbb{Q}(\alpha)$ 로 표현될 수 있다는 것을 상기하십시오. 정수환에 대해서도 비슷한 것이 성립하기를 바랄 수 있습니다. 즉,

\mathcal{O}_{K}=\mathbb{Z}[\theta]

로 쓸 수 있기를 바라는 것이며, 이 경우 $\{1,\theta,\dots,\theta^{n-1}\}$ 은 $K$ 의 기저이자 $\mathcal{O}_{K}$ 의 $\mathbb{Z}$ -기저 역할을 동시에 합니다(여기서 $n=[K:\mathbb{Q}]$ ). 다시 말해, $\mathcal{O}_{K}$ 의 기저가 실제로 ”거듭제곱 기저”이기를 바랍니다.

이는 우리가 사용하는 가장 흔한 예들에 대해서는 성립합니다:

•

이차체, 그리고
•

문제 54E에서의 원분체.

안타깝게도, 일반적으로는 성립하지 않습니다: 첫 번째 반례는 $X^{3}-X^{2}-2X-8$ 의 근 $\alpha$ 에 대한 $K=\mathbb{Q}(\alpha)$ 입니다.

이러한 좋은 성질을 가진 확대를 단생성이라고 부릅니다. 나중에 보게 되겠지만, 단생성 확대는 정말 좋은 인수분해 알고리즘을 가지고 있습니다, 정리 55.5.4.

비고 54.3.1 ( $\mathcal{O}_{K}$ 에서 무엇이 잘못되었는가?).

앞서 언급했듯이, 아벨 군으로서 $\mathcal{O}_{K}\cong\mathbb{Z}^{3}$ 이므로, 이는 유한히 많은 원소에 의해 생성됩니다.

사실, $\{1,\alpha,\beta\}$ 는 $\mathcal{O}_{K}$ 의 기저이며, 여기서 $\beta=\frac{\alpha+\alpha^{2}}{2}$ 입니다. $\{1,\alpha,\alpha^{2}\}$ 에 의해 생성되는 군은 $\mathcal{O}_{K}$ 에서 지표 2를 가집니다 – 즉, $|\mathcal{O}_{K}/\langle 1,\alpha,\alpha^{2}\rangle|=2$ 이며, $\beta$ 를 놓치게 됩니다.

대신 $\{1,\beta,\beta^{2}\}$ 를 기저로 선택하려 하면, 다시 $|\mathcal{O}_{K}/\langle 1,\beta,\beta^{2}\rangle|=2$ 를 얻게 되며, $\alpha$ 를 놓치게 됩니다. 명시적으로 계산해 보면 $\beta^{2}=\frac{3\alpha^{2}+7\alpha}{2}+6=3\beta+2\alpha+6$ 을 얻을 수 있습니다.

이것이 이 확대가 단생성이 아니라는 증명은 아니지만, $\mathcal{O}_{K}$ 의 구조에 대한 느낌을 주기를 바랍니다.

54.4 생각해 볼 만한 조금 더 어려운 문제

문제 54A.

$\alpha$ 가 $\mathcal{O}_{K}$ 의 단위원( $\alpha^{-1}\in\mathcal{O}_{K}$ 를 의미함)인 것과 $\operatorname{N}_{K/\mathbb{Q}}(\alpha)=\pm 1$ 인 것이 동치임을 보이십시오.

힌트. 노름은 곱셈적이며 갈루아 켤레들의 곱과 같습니다.

문제 54B.

$K$ 를 수체라고 합시다. $\mathcal{O}_{K}$ 의 분수체는 무엇입니까?

힌트. 그것은 $K$ 와 동형입니다.

문제 54C (러시아 올림피아드 1984).

다음을 만족하는 모든 정수 $m$ 과 $n$ 을 구하십시오.

\left(5+3\sqrt{2}\right)^{m}=\left(3+5\sqrt{2}\right)^{n}.

힌트. $\mathbb{Q}(\sqrt{2})$ 위의 표준 노름을 취하면 이를 무너뜨립니다.

문제 54D (미국 TST 2012).

다음을 만족하는 $a,b,c>2010$ 이 존재하는지 판별하십시오.

a^{3}+2b^{3}+4c^{3}=6abc+1.

힌트. $\mathbb{Q}(\sqrt[3]{2})$ 에서의 노름.

문제 54E (원분체).

^†^†margin:

$p$ 를 홀수인 유리 소수라 하고 $\zeta_{p}$ 를 1의 원시 $p$ 제곱근이라 합시다. $K=\mathbb{Q}(\zeta_{p})$ 라 합시다. $\mathcal{O}_{K}=\mathbb{Z}[\zeta_{p}]$ 임을 증명하십시오. (사실 $p$ 가 소수가 아니어도 이 결과는 성립합니다.)

힌트. 명백히 $\mathbb{Z}[\zeta_{p}]\subseteq\mathcal{O}_{K}$ 이므로, 우리의 목표는 역방향 포함 관계를 보이는 것입니다. 임의의 $\alpha\in\mathcal{O}_{K}$ 에 대하여 $\alpha(1-\zeta_{p})$ 의 대각합이 $p$ 로 나누어짐을 보이십시오. $x=a_{0}+a_{1}\zeta_{p}+\dots+a_{p-2}\zeta^{p-2}\in\mathcal{O}_{K}$ (단, $a_{i}\in\mathbb{Q}$ )가 주어졌을 때, $(1-\zeta_{p})x$ 를 생각해 보십시오.