On $\mathbb{F}_q$-Order of Polynomials and Properties of $r$-Primitive and $k$-Normal Elements over Finite Fields

기술 요약: $\mathbb{F}_q$ 차수 다항식에 관한 연구 및 유한체 위에서의 $r$-원시 및 $k$-정규 원소의 성질

문제 제기
유한체, 특히 $\mathbb{F}_q$ 위의 확장체 $\mathbb{F}_{q^n}$은 두 가지 근본적인 대수적 구조를 갖는다: $n$차원 벡터 공간 구조와 순환 곱셈군 구조이다. 이는 두 가지 구별되는 원소 부류를 생성한다: 원시 원소(곱셈군의 생성원)와 정규 원소(켤레를 통해 벡터 공간을 생성하는 원소)이다. 원소의 곱셈 차수와 $\mathbb{F}_q$-차수(프로베니우스 자기동형 사상 하에서 원소를 소멸시키는 최소 다항식)는 이미 잘 확립되어 있으나, 이를 다항식에 적용하는 것은 덜 체계적이었다. 구체적으로, 본 논문은 다항식의 $\mathbb{F}_q$-차수를 공식적으로 정의하고, 이 개념을 활용하여 $r$-원시 및 $k$-정규 원소와 다항식의 구조적 성질 및 개수를 조사할 필요성을 다룬다.

방법론
저자들은 유한체 이론의 틀 안에서 대수적 정의, 구조적 분석, 그리고 조합론적 계수를 결합하여 연구를 수행한다.

1. 정의의 확장: 본 논문은 $\mathbb{F}_q[x]$의 다항식 $f$에 대하여, $f$가 $g \circ x$($\circ$는 합성을 의미)를 나누는 최소 차수의 단항 다항식으로 정의되는 $\mathbb{F}_q$-차수 $\text{Ord}(f)$를 도입한다.
2. 구조적 분석: 저자들은 다항식의 $\mathbb{F}_q$-차수와 그 근의 $\mathbb{F}_q$-차수 사이의 관계를 규명하며, 특히 기약 다항식의 경우를 다룬다. 또한 합성, 곱셈, 최대공약수와 같은 다항식 연산 하에서 $\mathbb{F}_q$-차수가 어떻게 거동하는지 분석한다.
3. 분할 및 계수: 본 연구는 차수 및 $\mathbb{F}_q$-차수의 가측성에 기초하여 체의 원소 집합을 분할하기 위해 $m$-자유(m-free) 및 $g$-자유(g-free) 원소의 개념을 활용한다. 다항식 작용에 의해 정의된 준동형 사상에 제1 동형 정리(First Isomorphism Theorem)를 적용하여 $\mathbb{F}_{q^n}$의 특정 부분집합의 카디널리티 공식을 도출한다.
4. 대수적 성질: 본 논문은 $r$-원시 및 $k$-정규 원소가 체 연산(곱셈 및 덧셈) 하에서 어떻게 행동하는지 조사하며, 특히 이러한 성질이 보존되거나 변형되는 조건을 검토한다.

주요 기여 및 결과

• 다항식 $\mathbb{F}_q$-차수의 형식화:

  • 본 논문은 $\mathbb{F}_q$ 원소의 $\mathbb{F}_q$-차수와 유사하게, 다항식의 $\mathbb{F}_q$-차수에 대한 정밀한 정의를 제공한다.
  • Proposition 4는 기약 다항식 $f$에 대하여, $\text{Ord}(f)$가 그 근의 $\mathbb{F}_q$-차수와 같음을 확립한다.
  • Proposition 9는 서로소인 다항식들의 곱의 $\mathbb{F}_q$-차수가 각 다항식의 $\mathbb{F}_q$-차수의 최소공배수(LCM)임을 입증한다.
  • Proposition 10은 정규 다항식을 특징짓는다: 차수가 $m$인 다항식 $f$가 정규이기 위한 필요충분조건은 $f$가 단항(monic)이고 $\text{Ord}(f) = x^m - 1$인 것이다.

• 다항식의 개수 산출:

  • Proposition 12는 특정 $\mathbb{F}_q$-차수 $f$를 갖는 차수 $n$의 기약 다항식의 개수를 도출한다. 그 개수는 $f$의 차수(denoted $\text{ord}(f)$)가 $n$과 같으면 $\phi(f)/n$이고, 그렇지 않으면 0이다.
  • 이러한 결과들을 사용하여, 저자들은 $\mathbb{F}_q$ 위에서 차수 $n$인 $k$-정규 다항식의 개수에 대한 명시적인 합산 공식을 제공한다.

• $r$-원시 및 $k$-정규 원소의 성질:

  • Proposition 16은 $r_1$-원시 원소와 $r_2$-원시 원소의 곱을 분석하며, 이들의 곱셈 차수가 서로소이면 그 곱은 $\gcd(r_1, r_2)$-원시임을 보여준다.
  • Proposition 24 및 Corollary 25는 정규 원소의 역원을 조사하여, 만약 $\alpha$가 $(n-1)$-정규이면 $\alpha^{-1}$ 역시 $(n-1)$-정규임을 증명한다.
  • Proposition 26 및 Corollary 27은 원소의 합을 검토한다. 만약 $\alpha$와 $\beta$가 서로소인 $\mathbb{F}_q$-차수 $f$와 $g$를 가지면, $\text{Ord}(\alpha + \beta) = fg$이다. 결과적으로, $\alpha$가 $k_1$-정규이고 $\beta$가 $k_2$-정규이면, 그 합은 $(k_1 + k_2 - n)$-정규이다.

• 분할 및 항등식:

  • 본 논문은 차수의 가측성에 기초하여 원소 집합을 정의한다 (예: Theorem 17 및 Proposition 20).
  • Proposition 19 및 Proposition 21은 준동형 사상을 활용하여 $r$제곱 원소들의 집합과 특정 다항식에 의해 나누어지는 $\mathbb{F}_q$-차수를 가진 원소들의 집합의 카디널리티를 계산한다.
  • 이러한 유도는 오일러 파이 함수(Euler phi function)와 관련된 고전적 항등식들, 즉 $\sum_{d|n} \phi(d) = n$ 및 $\sum_{g|f} \phi(g) = q^{\deg(f)}$에 대한 대안적인 증명을 제공한다.

의의
본 논문은 기약 다항식의 $\mathbb{F}_q$-차수를 그 근의 성질과 직접 연결함으로써 기약 다항식을 연구하기 위한 통일되고 체계적인 프레임워크를 제공한다고 주장한다. 이 접근 방식은 Alizadeh 등에 의해 정의되었으나 이와 같은 방식으로 완전히 수치화되지 않았던 $k$-정규 다항식의 명시적인 개수 산출 공식을 도출할 수 있게 한다. 나아가, 본 연구는 $r$-원시 및 $k$-정규 원소의 대수적 상호작용을 덧셈과 곱셈 하에서 분석함으로써 이들의 성질에 대한 이해를 확장하고, 유한체 확장 구조에 대한 새로운 조합론적 통찰을 제공한다. 저자들은 본 연구를 현대 유한체 맥락 내에서 고전적 정의(Ore 참조)를 정교화하는 작업으로 위치시키며, 원소 기반 구조와 다항식 기반 구조 사이의 간극을 메우고자 한다.