# 기약 다항식 (Irreducible Polynomial)

기약(irreducible) 다항식은 주어진 체 위에서 더 낮은 차수의 다항식들의 곱으로 인수분해되지 않는 다항식입니다. 정수에서 소수가 하는 역할을 다항식 세계에서 맡으며, 암호학과 부호 이론에서 유한체(갈루아 체)를 만드는 데 쓰입니다. '되돌릴 수 없다'는 뜻의 '불가역'과는 다른 개념입니다.

## 자세히 알아보기

기약성은 어떤 체 위에서 보느냐에 따라 달라집니다. 예를 들어 x² + 1은 실수 위에서는 기약이지만, 복소수 위에서는 (x + i)(x − i)로 인수분해됩니다. 이진수 체 GF(2) 위에서는 x² + 1 = (x + 1)²이므로 기약이 아닙니다. 반면 x² + x + 1은 GF(2) 위에서 기약입니다. 0과 1을 대입해도 값이 0이 되지 않아 1차 인수가 없기 때문입니다.

기약 다항식이 중요한 이유는, GF(2) 위의 n차 기약 다항식 p(x)로 다항식을 나눈 나머지들의 집합이 원소 2ⁿ개짜리 유한체 GF(2ⁿ)가 되기 때문입니다. 정수를 소수 p로 나눈 나머지들이 체를 이루는 것과 같은 원리입니다. 이런 체에서는 덧셈이 XOR이고 0이 아닌 모든 원소가 곱셈 역원을 가지므로, 컴퓨터로 효율적으로 계산할 수 있습니다.

기약 다항식 중에서도 근이 체의 곱셈군 전체를 생성하는 것을 원시 다항식이라고 합니다. 원시 다항식을 쓴 선형 피드백 시프트 레지스터(LFSR)는 최대 주기 2ⁿ − 1의 수열(m-수열)을 만듭니다.

어떤 다항식이 기약인지 판정하는 효율적인 알고리즘이 있어, 필요한 차수의 기약 다항식을 컴퓨터로 쉽게 찾을 수 있습니다.

또한 기약 다항식의 선택은 성능에도 영향을 줍니다. 항이 적은 다항식(삼항식, 오항식)을 쓰면 나머지 계산이 단순해져 하드웨어와 소프트웨어 모두에서 빨라지므로, 표준 알고리즘은 대개 이런 다항식을 고릅니다.

## 블록체인·암호화폐에서는

AES는 GF(2⁸)를 기약 다항식 x⁸ + x⁴ + x³ + x + 1로 정의해 S-박스와 MixColumns를 계산합니다. AES-GCM의 인증 함수 GHASH는 GF(2¹²⁸)에서 동작합니다. 또 CRC 오류 검출 부호, 리드-솔로몬 부호(QR 코드·저장 장치에 사용)도 유한체 다항식 연산에 기반합니다. 블록체인의 타원곡선 암호(secp256k1)는 소수 체 GF(p)를 쓰지만, 일부 영지식 증명 시스템은 확장체를 기약 다항식으로 구성합니다.

## 쉽게 말하면

더 작은 조각으로 쪼갤 수 없는 다항식, 즉 '다항식의 소수'입니다.

---
출처: https://achivx.kr/glossary/irreducible-polynomial-%EA%B8%B0%EC%95%BD-%EB%8B%A4%ED%95%AD%EC%8B%9D/ · ACHIVX 용어 사전 · 수정일 2026-10-20