소수와 자연수

Number Theory · Algebra

소수 기저 구조: 모노이드→군→링→필드 (통합본)

“자연수를 span하는 최소 basis가 prime”이라는 직관을 곱셈 구조의 자유 생성자로 해석하고, 모노이드→군→링→필드의 사슬로 엄밀화한 뒤, 수론·대수학 방향으로 확장한다.

Contents

1. A. 기초 정의: 소수 기저의 정식 구조
2. B. 수론적 확장: 소수 기저의 산술 구조
3. C. 대수학적 확장: 자유 가환 대수와 분수체
4. D. 층위별 요약 & 다음 단계

---

A) 기초 정의 — “소수 기저”의 정확한 수학적 구조

모노이드 → 군 → 링 → 필드

1) 곱셈 모노이드: 자연수의 자유 가환 모노이드

대상: \( \mathbb{N}_{\ge 1} \), 연산: 곱셈 \( \times \).

\[ \forall n\ge1,\quad n=\prod_{p\ \mathrm{prime}} p^{\,v_p(n)}, \qquad \text{(거의 모든 }v_p(n)=0) \]

\[ (\mathbb{N}_{\ge1},\times)\ \cong\ \bigoplus_{p\in\mathcal P}\mathbb{N},\qquad n\longmapsto (v_p(n))_{p}. \]

즉 소수들은 이 모노이드의 자유 생성자(free generators)이다. 유일소인수분해(FTA)가 최소성·유일성을 보장.

2) 군 완성: 양의 유리수의 자유 가환군

모노이드의 군 완성으로 지수 영역이 \( \mathbb{Z} \)로 확장된다.

\[ (\mathbb{Q}_{>0},\times)\ \cong\ \bigoplus_{p\in\mathcal P}\mathbb{Z},\qquad q=\prod_p p^{\,v_p(q)},\ v_p(q)\in\mathbb{Z}. \]

3) 링으로 끌어올리기: 모노이드 환 ≅ 다항식 환

\( M=(\mathbb{N}_{\ge1},\times) \)에 대해 모노이드 환을 만들면

\[ \mathbb{Z}[M]\ \cong\ \mathbb{Z}[\,x_p\ (p\ \text{prime})\,],\qquad [n]\ \mapsto\ \prod_{p} x_p^{\,v_p(n)}. \]

자연수의 곱셈 ↔ 지수 좌표의 덧셈이 다항식의 지수에 그대로 대응한다(덧셈은 형식합이므로 자연수의 산술 덧셈과 다름).

4) 필드: 유리함수의 체

\[ \operatorname{Frac}\!\big(\mathbb{Z}[x_p]\big)=\mathbb{Q}(x_p\mid p\in\mathcal P). \]

단항식 임베딩은 체에서도 유지되어 “소수 기저”를 보존한다.

5) 덧셈 구조와 우회

• \( \gcd,\lcm \)은 지수 좌표의 \( \min/\max \)로 단순화
• 산술함수의 환 \( (\mathcal A,+,*) \)에서 디리클레 곱은 곱셈 모노이드 구조를 반영

---

B) 수론적 확장 — “소수 기저의 산술 구조”

1) 소인수벡터 공간

\( n=\prod_p p^{v_p(n)}\)에 대해 \( \v(n)=(v_p(n))_p\in\bigoplus_p\mathbb N \). 주요 연산:

• \( \v(mn)=\v(m)+\v(n) \)
• \( \v(\gcd(m,n))=\min\big(\v(m),\v(n)\big),\ \v(\lcm(m,n))=\max\big(\v(m),\v(n)\big) \)
• 나눗셈은 정의되는 곳에서 좌표 뺄셈

2) 디리클레 합성과 에울러 곱

\[ (f*g)(n)=\sum_{ab=n}f(a)g(b),\qquad D_f(s)=\sum_{n\ge1}\frac{f(n)}{n^s} =\prod_{p}\left(1-\frac{f(p)}{p^{\,s}}\right)^{-1}. \]

완전 곱셈함수는 \( \{f(p)\}_p \)로 완전히 결정 ⇒ 소수는 “해석학적 좌표”.

3) 산술적 독립성

• 서로 다른 소수들은 곱셈적으로 독립
• \( \{\log p_i\} \)는 \( \mathbb R \)에서 선형독립: \( \sum_i a_i\log p_i=0 \Rightarrow a_i=0 \)

---

C) 대수학적 확장 — 자유 가환 대수와 분수체

1) 모노이드환으로서의 자연수 대수

\( A=\mathbb{Z}[x_p\mid p\in\mathcal P]\cong\mathbb{Z}[\mathbb{N}_{\ge1}] \). 모든 \( n \)은 단항식 \( \prod_p x_p^{\,v_p(n)} \)에 대응. \( A \)는 생성자 \( \{x_p\} \) 위의 자유 가환대수.

2) 분수체 확장

\[ K=\mathbb{Q}(x_p\mid p\in\mathcal P),\qquad K^\times \simeq \Big(\bigoplus_p\mathbb{Z}\Big)\ \oplus\ \mathbb{Q}^\times_{\text{const}}. \]

모노이드→환→체의 사슬에서 소수 기저는 자유 생성자를 유지.

3) 더 넓은 맥락

• 대수적 수체 \( \mathcal O_K \): 소수 ↔ 소수 아이디얼
• 스킴 \( \operatorname{Spec}(\mathbb{Z}) \): 점이 곧 소수
• 대칭 스케치: \( \Gal(\mathbb{Q}(x_p)/\mathbb{Q}) \subseteq \prod_p \Aut(\mathbb{Q}(x_p)) \)

---

D) 층위별 요약 & 다음 단계

층위	구조	핵심 의미
모노이드	\( (\mathbb{N}_{\ge1},\times)\cong\bigoplus_{p}\mathbb{N} \)	소수 = 자유 가환 모노이드의 기저
군	\( (\mathbb{Q}_{>0},\times)\cong\bigoplus_{p}\mathbb{Z} \)	지수에 음수 허용(군 완성)
링	\( \mathbb{Z}[\mathbb{N}_{\ge1}] \cong \mathbb{Z}[x_p] \)	자연수 곱셈 ↔ 지수 좌표 덧셈
체	\( \operatorname{Frac}(\mathbb{Z}[x_p])=\mathbb{Q}(x_p) \)	소수 기저 유지되는 유리함수체

확장 아이디어:

1. 카테고리 이론적 보편성으로 모노이드→군완성→모노이드환→분수체 서술
2. Prime-field algebra: 소수 기저 위의 모듈/대수군/갈루아 이론 구체화

---

© 2025 · 박성현