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

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

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

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

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

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

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

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