포함배제법으로 보는 유한체 상의 기약다항식 개수

초록

이 논문은 가우스가 제시한 “정다항식 중 차수가 n인 기약다항식의 개수” 공식을, 기본적인 체 이론과 포함‑배제 원리를 이용해 직관적으로 유도한다. 핵심은 확장체 GF(qⁿ)의 모든 원소를 차수 d ( d|n )인 최소다항식으로 분류하고, 서로 다른 진부분체들의 원소들을 제외함으로써 정확히 차수 n인 원소만 남기는 과정이다. 이를 통해 μ(뮤비우스)함수를 자연스럽게 얻고, 최종적으로
(I_q(n)=\frac1n\sum_{d\mid n}\mu(d)q^{,n/d})
라는 가우스 공식이 도출된다.

상세 요약

논문은 먼저 유한체 GF(q)와 그 확장체 GF(qⁿ) 사이의 기본 관계를 정리한다. GF(qⁿ)의 모든 원소 α는 최소다항식 m_α(x)∈GF(q)