체(Field) 학습노트 1 (임시 업로드)

Algebra · Foundations

필드(Field)란? — 고등학생도 이해하는 깔끔 정리

“덧셈·뺄셈·곱셈·나눗셈(0으로 나누기 제외)이 모두 잘 되는 세계”를 수학적으로 만든 것이 필드(Field)예요.

1) 한 줄 정의

필드는 두 연산(덧셈·곱셈)이 있는 집합 \(F\)로, 덧셈으로 아벨군, 0을 뺀 원소들로 곱셈 아벨군이며, 분배법칙이 성립하는 구조예요.

\[ (F,+)\ \text{는 아벨군},\quad (F\\setminus\\{0\\},\cdot)\ \text{는 아벨군},\quad a(b+c)=ab+ac. \]

쉽게 말해, \(0\)만 빼면 모든 원소가 “나눗셈 가능한(역수가 있는)” 세계입니다.

2) 왜 중요한가?

• 벡터 공간은 “어느 필드 위에서” 정의돼요. (예: 실수 필드 \(\\R\) 위 벡터공간)
• 다항식을 다룰 때, 필드 위에서는 인수분해·나눗셈 알고리즘이 잘 작동해요.
• 수론/암호에서는 유한체 \(\\mathbb{F}_p\) (또는 \(\\mathbb{Z}/p\\mathbb{Z}\))가 핵심 재료예요.

3) 공리(필수 조건) — 개념 위주로

덧셈 \(+\)	곱셈 \(\cdot\) (단, \(0\) 제외)	공통
닫힘, 교환법칙, 결합법칙	닫힘, 교환법칙, 결합법칙	분배법칙 \(a(b+c)=ab+ac\)
항등원 \(0\) 존재, 역원 \(-a\) 존재	항등원 \(1\neq 0\) 존재, 역원 \(a^{-1}\) 존재	—

즉, \(F\)에서는 더하기·빼기·곱하기·나누기(0으로 나누기 제외)가 모두 “규칙대로” 가능해야 합니다.

4) 예시와 비예시

분류	예	이유
필드	\(\\Q\) (유리수), \(\\R\) (실수), \(\\mathbb{F}_p=\\mathbb{Z}/p\\mathbb{Z}\) (소수 \(p\))	\(0\)을 제외하면 모두 역수가 존재
필드 아님	\(\\Z\) (정수)	\(2^{-1}\) 같은 역수가 정수 안에 없음 → 나눗셈 일반 불가
필드 아님	사원수 \(\\mathbb{H}\)	곱셈이 비가환 → 필드 공리 불만족

5) 손에 잡히는 유한체 예시

\(p\)가 소수일 때, \(\\mathbb{Z}/p\\mathbb{Z}=\{0,1,2,\dots,p-1\}\)에서 “나머지” 연산으로 더하고 곱하면 필드가 됩니다. 예를 들어 \(p=5\):

\(a\)	\(a\)의 역수 \(a^{-1}\) (mod 5)
1	1 (1×1≡1)
2	3 (2×3≡6≡1)
3	2 (3×2≡6≡1)
4	4 (4×4≡16≡1)

항상 \(0\)만 역수가 없고, 나머지는 모두 역수가 있어요.

6) 자주 헷갈리는 점

• \(1\neq 0\)가 필수입니다. (만약 \(1=0\)이면 모든 수가 0이 되어 의미가 없어져요.)
• \(\\Z\)는 정역이지만 필드가 아닙니다. (정역은 “영인수 없음”, 필드는 “모든 비영 원소의 역수 존재”.)
• \(\\R\subset \\C\)처럼 한 필드가 다른 필드의 부분필드가 될 수 있습니다.

7) 초간단 정리

• 정의: 필드는 “덧셈은 아벨군, \(0\)을 뺀 곱셈은 아벨군, 분배법칙”인 구조.
• 핵심 포인트: \(0\)이 아닌 모든 원소에 역수가 존재.
• 왜 필요? 벡터공간·다항식·수론·암호의 표준 무대.

---

📄 신뢰성 높은 PDF 자료

• Saylor.org — Field (mathematics) (PDF)
• J.S. Milne — Fields and Galois Theory (PDF)
• University of Toronto — MAT 240: Fields Definition (PDF)

위 자료 중 하나를 저장해 “필드 정리” 파트를 참고 노트로 쓰면 좋아요.

---

Keywords (핵심 용어 · 한–영)

용어	뜻	영문 (표기)
필드	덧셈·곱셈이 공리들을 만족하고, \(0\)을 제외하면 모두 역수가 있는 구조	Field
아벨군	교환법칙이 성립하는 군	Abelian group
정역	영인수가 없는 환 (예: \(\mathbb{Z}\))	Integral domain
유한체	원소 개수가 유한한 필드 (예: \(\mathbb{F}_p\))	Finite field
분배법칙	\(a(b+c)=ab+ac\)	Distributive law
부분필드	큰 필드 안에 포함된 작은 필드	Subfield
역수	\(a\neq 0\)에 대해 \(a\cdot a^{-1}=1\)을 만족하는 원소	Multiplicative inverse

---

© 2025 · 박성현