"3차 상호법칙"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| 8번째 줄: | 8번째 줄: | ||
* $K$ : $n$의 단위근 $\zeta_n$이 속해 있는 수체 | * $K$ : $n$의 단위근 $\zeta_n$이 속해 있는 수체 | ||
* <math>\mathcal{O}_K</math> : $K$의 정수환 <math>\zeta_n\in\mathcal{O}_K</math> | * <math>\mathcal{O}_K</math> : $K$의 정수환 <math>\zeta_n\in\mathcal{O}_K</math> | ||
| − | * <math>\mathfrak{p} \subset \mathcal{O}_K </math> : $n \not \in \mathfrak{p}$을 만족하는 prime | + | * <math>\mathfrak{p} \subset \mathcal{O}_K </math> : $n \not \in \mathfrak{p}$을 만족하는 prime 아이디얼 |
* $\mathrm{N} \mathfrak{p} : = |\mathcal{O}_K / \mathfrak{p}|$ | * $\mathrm{N} \mathfrak{p} : = |\mathcal{O}_K / \mathfrak{p}|$ | ||
** $\mathcal{O}_K / \mathfrak{p}$은 [[유한체 (finite field)]]이므로, 소수 $p$와 적당한 $f\in \mathbb{Z}$에 대하여, $\mathrm{N} \mathfrak{p}=p^f$ | ** $\mathcal{O}_K / \mathfrak{p}$은 [[유한체 (finite field)]]이므로, 소수 $p$와 적당한 $f\in \mathbb{Z}$에 대하여, $\mathrm{N} \mathfrak{p}=p^f$ | ||
** $\zeta_n\in (\mathcal{O}_K / \mathfrak{p})^{\times}$으로 생성되는 부분군의 크기는 $\mathrm{N} \mathfrak{p}-1 =p^f-1$을 나눈다 | ** $\zeta_n\in (\mathcal{O}_K / \mathfrak{p})^{\times}$으로 생성되는 부분군의 크기는 $\mathrm{N} \mathfrak{p}-1 =p^f-1$을 나눈다 | ||
** 따라서 <math>\mathrm{N} \mathfrak{p} \equiv 1 \pmod{n}</math>을 만족한다 | ** 따라서 <math>\mathrm{N} \mathfrak{p} \equiv 1 \pmod{n}</math>을 만족한다 | ||
| − | + | * <math>\alpha \in \mathcal{O}_k,\;\;\; \alpha\not\in \mathfrak{p},</math>에 대하여 다음이 성립한다 (페르마의 소정리 ) | |
| − | <math>\alpha \in \mathcal{O}_k,\;\;\; \alpha\not\in \mathfrak{p},</math> | ||
| − | |||
| − | |||
| − | |||
$$ | $$ | ||
| − | \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\equiv \zeta_n^s\pmod{\mathfrak{p} } | + | \alpha^{\mathrm{N} \mathfrak{p} -1}\equiv 1 \pmod{\mathfrak{p} }. |
| + | $$ | ||
| + | * 다음을 만족하는 유일한 $s\in (\mathbb{Z}/n\mathbb{Z})^{\times}$가 존재한다 | ||
| + | $$ | ||
| + | \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\equiv \zeta_n^s\pmod{\mathfrak{p}} | ||
$$ | $$ | ||
* 거듭제곱 잉여 부호 준동형사상을 다음과 같이 정의 | * 거듭제곱 잉여 부호 준동형사상을 다음과 같이 정의 | ||
$$ | $$ | ||
| − | \left(\frac{\alpha}{\mathfrak{p} }\right)_n : = \zeta_n^s \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\pmod{\mathfrak{p}} | + | \left(\frac{\alpha}{\mathfrak{p} }\right)_n : = \zeta_n^s |
| + | $$ | ||
| + | 여기서 $\zeta_n^s \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\pmod{\mathfrak{p}}$ | ||
| + | * $n$과 서로 소인 아이디얼 $\mathfrak{a}=\prod \mathfrak{p}$에 대하여 잉여 부호를 다음과 같이 정의 | ||
| + | $$ | ||
| + | \left(\frac{\alpha}{\mathfrak{a}}\right)_n:=\prod \left(\frac{\alpha}{\mathfrak{p} }\right)_n | ||
$$ | $$ | ||
| + | |||
| + | |||
===용어와 기호=== | ===용어와 기호=== | ||
* $\omega=\frac{-1+\sqrt{-3}}{2}$ | * $\omega=\frac{-1+\sqrt{-3}}{2}$ | ||
2014년 1월 15일 (수) 04:18 판
개요
- 3차의 정수계수 다항식 \(f(x)\)를 \(\pmod p\)로 분해할 때 나타나는 현상의 이해
아이젠슈타인 3차 상호법칙
거듭제곱 잉여 부호
- $n\geq 2$ : 자연수
- $K$ : $n$의 단위근 $\zeta_n$이 속해 있는 수체
- \(\mathcal{O}_K\) : $K$의 정수환 \(\zeta_n\in\mathcal{O}_K\)
- \(\mathfrak{p} \subset \mathcal{O}_K \) : $n \not \in \mathfrak{p}$을 만족하는 prime 아이디얼
- $\mathrm{N} \mathfrak{p} : = |\mathcal{O}_K / \mathfrak{p}|$
- $\mathcal{O}_K / \mathfrak{p}$은 유한체 (finite field)이므로, 소수 $p$와 적당한 $f\in \mathbb{Z}$에 대하여, $\mathrm{N} \mathfrak{p}=p^f$
- $\zeta_n\in (\mathcal{O}_K / \mathfrak{p})^{\times}$으로 생성되는 부분군의 크기는 $\mathrm{N} \mathfrak{p}-1 =p^f-1$을 나눈다
- 따라서 \(\mathrm{N} \mathfrak{p} \equiv 1 \pmod{n}\)을 만족한다
- \(\alpha \in \mathcal{O}_k,\;\;\; \alpha\not\in \mathfrak{p},\)에 대하여 다음이 성립한다 (페르마의 소정리 )
$$ \alpha^{\mathrm{N} \mathfrak{p} -1}\equiv 1 \pmod{\mathfrak{p} }. $$
- 다음을 만족하는 유일한 $s\in (\mathbb{Z}/n\mathbb{Z})^{\times}$가 존재한다
$$ \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\equiv \zeta_n^s\pmod{\mathfrak{p}} $$
- 거듭제곱 잉여 부호 준동형사상을 다음과 같이 정의
$$ \left(\frac{\alpha}{\mathfrak{p} }\right)_n : = \zeta_n^s $$ 여기서 $\zeta_n^s \equiv \alpha^{\frac{\mathrm{N} \mathfrak{p} -1}{n}}\pmod{\mathfrak{p}}$
- $n$과 서로 소인 아이디얼 $\mathfrak{a}=\prod \mathfrak{p}$에 대하여 잉여 부호를 다음과 같이 정의
$$ \left(\frac{\alpha}{\mathfrak{a}}\right)_n:=\prod \left(\frac{\alpha}{\mathfrak{p} }\right)_n $$
용어와 기호
- $\omega=\frac{-1+\sqrt{-3}}{2}$
- $\alpha\in \mathbb{Z}[\omega]$가 $\alpha\equiv \pm 1 \pmod 3$을 만족하면, $\alpha$를 primary라고 부른다
- 이는 $\alpha=a+b\omega, 3\nmid a, 3|b$와 동치
상호법칙
- 정리
- $\alpha,\beta\in \mathbb{Z}[\omega]$가 primary라 하자.
\[\Bigg(\frac{\alpha}{\beta}\Bigg)_3 = \Bigg(\frac{\beta}{\alpha}\Bigg)_3. \] 또한, $\alpha = a + b\omega$가 primary이고 $a = 3m + 1, b = 3n$로 두자. ($a\equiv 2 \pmod 3$이면, $\alpha$로 $-\alpha$로 바꾼다) 다음이 성립한다 \[ \Bigg(\frac{\omega}{\alpha}\Bigg)_3 = \omega^\frac{1-a-b}{3}= \omega^{-m-n},\;\;\; \Bigg(\frac{1-\omega}{\alpha}\Bigg)_3 = \omega^\frac{a-1}{3}= \omega^m,\;\;\; \Bigg(\frac{3}{\alpha}\Bigg)_3 = \omega^\frac{b}{3}= \omega^n. \]
예
리뷰, 에세이, 강의노트