가우스 정수
개요
- 수체 $K=\mathbb{Q}(\sqrt{-1})$의 정수환 \(\mathcal{O}_K\)은 다음과 같다
$$ \mathcal{O}_K=\mathbb{Z}[i]=\{a+bi|a,b\in \mathbb{Z}\} $$ 여기서 $i$는 $x^2+1=0$의 해 $\sqrt{-1}$.
- $\mathbb{Z}[i]$의 원소를 가우스 정수라 부른다
- 페르마의 두 제곱의 합에 대한 정리에 등장
소 아이디얼 (prime ideal)
- 단위원 $\{1,-1,i,-i\}$
- $(2)=(1+i)^2$
- $p\equiv 1\pmod 4$이면, $p=x^2+y^2$를 만족시키는 $(x,y)\in \mathbb{Z}^2$가 존재하며, $(p)=(x+iy)(x-iy)$
- $p\equiv 3\pmod 4$이면, $(p)$는 소 아이디얼
- 아래 표에서 $\{x,y\}$는 $p=x^2+y^2$의 정수해
$$ \begin{array}{c|c|c|c} p & p \bmod 4 & x^2+1 \bmod p & \{x,y\} \\ \hline 2 & 2 & (x+1)^2 & \text{x} \\ 3 & 3 & x^2+1 & \text{x} \\ 5 & 1 & (x+2) (x+3) & \{-1,-2\} \\ 7 & 3 & x^2+1 & \text{x} \\ 11 & 3 & x^2+1 & \text{x} \\ 13 & 1 & (x+5) (x+8) & \{3,-2\} \\ 17 & 1 & (x+4) (x+13) & \{1,-4\} \\ 19 & 3 & x^2+1 & \text{x} \\ 23 & 3 & x^2+1 & \text{x} \\ 29 & 1 & (x+12) (x+17) & \{-5,-2\} \\ 31 & 3 & x^2+1 & \text{x} \\ 37 & 1 & (x+6) (x+31) & \{-1,-6\} \\ 41 & 1 & (x+9) (x+32) & \{5,-4\} \\ 43 & 3 & x^2+1 & \text{x} \\ 47 & 3 & x^2+1 & \text{x} \\ 53 & 1 & (x+23) (x+30) & \{7,-2\} \\ 59 & 3 & x^2+1 & \text{x} \\ 61 & 1 & (x+11) (x+50) & \{-5,-6\} \\ 67 & 3 & x^2+1 & \text{x} \\ 71 & 3 & x^2+1 & \text{x} \end{array} $$
테이블
- 소수 $p\in \mathbb{Z}$의 분해로부터 얻어지는 소 아이디얼의 나열
- $\pi$는 소 아이디얼의 생성원, $N(\pi)$는 norm
\begin{array}{c|c} \pi & N(\pi) \\ \hline 1+i & 2 \\ 3 & 9 \\ -1-2 i & 5 \\ -1+2 i & 5 \\ 7 & 49 \\ 11 & 121 \\ 3-2 i & 13 \\ 3+2 i & 13 \\ 1-4 i & 17 \\ 1+4 i & 17 \\ 19 & 361 \\ 23 & 529 \\ -5-2 i & 29 \\ -5+2 i & 29 \\ 31 & 961 \\ -1-6 i & 37 \\ -1+6 i & 37 \\ 5-4 i & 41 \\ 5+4 i & 41 \\ 43 & 1849 \\ 47 & 2209 \end{array}
메모
- $\alpha\in \mathbb{Z}[i]$가 $\alpha\equiv \pm 1 \bmod 2+2i$이면, $\alpha$를 primary라고 부른다
- 이는 $\alpha=a+bi, a + b \equiv a − b \equiv 1 \pmod 4$와 동치
관련된 항목들
매스매티카 파일 및 계산 리소스
수학용어번역
- prime - 대한수학회 수학용어집
- prime ideal 소 아이디얼