# 유한체의 덧셈군 (Additive Group of F_q)

**유한체의 덧셈군**(Fq, +)은 원소가 q개인 유한체(위수 q의 유한체) Fq에서 곱셈은 잊고 덧셈만으로 본 군을 나타내는 표기입니다. 유한체의 원소는 덧셈에 대해 결합법칙, 항등원(0), 역원(−a)을 만족하고 교환법칙도 성립하므로 (Fq, +)는 위수 q의 유한 아벨 군입니다.

구조: (Fq, +) ≅ (Z/pZ)^k

유한체의 원소 개수 q는 항상 소수의 거듭제곱 q = p^k이고, p를 그 체의 표수(characteristic)라고 합니다. 표수가 p이므로 어떤 원소든 p번 더하면 0이 됩니다. 그래서 0이 아닌 모든 원소의 덧셈 위수는 p이며, 덧셈군은 Fp 위의 k차원 벡터 공간과 같고 군으로서 (Z/pZ)^k와 동형입니다.

- **q가 소수일 때(k=1):** Fp의 덧셈은 법 p에 대한 덧셈, 즉 숫자가 p개인 시계 위의 덧셈입니다. 예를 들어 p=5에서 3 + 4 = 2입니다. 이때만 덧셈군이 순환군 Z/pZ가 됩니다.
- **q가 소수가 아닐 때(k≥2):** 덧셈군은 순환군 Z/qZ가 아닙니다. 예를 들어 F4 = {0, 1, α, α+1}에서는 1+1 = 0, α+α = 0이므로 모든 원소가 두 번 더하면 0이 되며, 덧셈군은 Z/4Z가 아니라 (Z/2Z)^2입니다. 따라서 “시계 덧셈” 비유는 q가 소수일 때에만 맞습니다.

이와 대조적으로 0을 뺀 곱셈군 (Fq^(×), ·)은 항상 위수 q−1인 순환군입니다.

## 암호학과 부호 이론에서의 역할

- **타원곡선 암호:** secp256k1 같은 곡선은 큰 소수 p에 대한 Fp 위에서 정의되며, 점의 좌표 계산에 Fp의 덧셈과 곱셈이 쓰입니다.
- **대칭 암호:** AES는 바이트를 GF(2^8)의 원소로 다룹니다. 표수가 2이므로 이 체의 덧셈은 비트별 XOR이며, 덧셈군은 (Z/2Z)^8입니다.
- **부호 이론:** 선형 부호는 Fq^n의 부분 공간, 즉 덧셈군의 부분군입니다. 두 코드워드의 합이 다시 코드워드라는 성질이 오류 정정 부호의 설계와 복호에 쓰입니다.

---
출처: https://achivx.kr/glossary/fq-fq/ · ACHIVX 용어 사전 · 수정일 2026-10-20