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

Technisches Resümee: Über die $\mathbb{F}_q$-Ordnung von Polynomen und Eigenschaften von $r$-primitiven und $k$-normalen Elementen über endlichen Körpern

Problemstellung
Endliche Körper, insbesondere die Erweiterung $\mathbb{F}_{q^n}$ über $\mathbb{F}_q$, besitzen zwei fundamentale algebraische Strukturen: eine $n$-dimensionale Vektorraumstruktur und eine zyklische multiplikative Gruppenstruktur. Dies führt zu distinkten Klassen von Elementen: primitiven Elementen (Generatoren der multiplikativen Gruppe) und normalen Elementen (Generatoren des Vektorraums über ihre Konjugierten). Während die Konzepte der multiplikativen Ordnung und der $\mathbb{F}_q$-Ordnung (das minimale Polynom, das ein Element unter der Frobenius-Automorphismus annihiliert) für Körperelemente gut etabliert sind, wurde deren Anwendung auf Polynome bisher weniger systematisch behandelt. Speziell adressiert die Arbeit die Notwendigkeit, eine formale Definition für die $\mathbb{F}_q$-Ordnung eines Polynoms einzuführen und dieses Konzept zu nutzen, um die strukturellen Eigenschaften und die Enumeration von $r$-primitiven und $k$-normalen Elementen und Polynomen zu untersuchen.

Methodik
Die Autoren verwenden eine Kombination aus algebraischen Definitionen, struktureller Analyse und kombinatorischer Zählung innerhalb des Rahmens der endlichen Körpertheorie.

1. Erweiterung der Definition: Die Arbeit führt eine formale Definition für die $\mathbb{F}_q$-Ordnung eines Polynoms $f \in \mathbb{F}_q[x]$ ein, bezeichnet als $\text{Ord}(f)$, definiert als das eindeutige monische Polynom geringsten Grades, sodass $f$ teilt in $g \circ x$ (wobei $\circ$ die Komposition bezeichnet).
2. Strukturelle Analyse: Die Autoren stellen Beziehungen zwischen der $\mathbb{F}_q$-Ordnung eines Polynoms und der $\mathbb{F}_q$-Ordnung seiner Wurzeln her, insbesondere für irreduzible Polynome. Sie analysieren, wie sich die $\mathbb{F}_q$-Ordnung unter Polynomoperationen wie Komposition, Multiplikation und dem größten gemeinsamen Teiler verhält.
3. Partitionierung und Zählung: Die Studie nutzt die Konzepte von $m$-freien und $g$-freien Elementen, um Mengen von Körperelementen basierend auf ihren Ordnungen und $\mathbb{F}_q$-Ordnungen zu partitionieren. Der Erste Isomorphiesatz wird auf Homomorphismen angewendet, die durch Polynomaktionen definiert sind, um Kardinalitätsformeln für spezifische Teilmengen von $\mathbb{F}_{q^n}$ abzuleiten.
4. Algebraische Eigenschaften: Die Arbeit untersucht das Verhalten von $r$-primitiven und $k$-normalen Elementen unter Körperoperationen (Multiplikation und Addition) und prüft dabei Bedingungen, unter denen diese Eigenschaften erhalten bleiben oder transformiert werden.

Wesentliche Beiträge und Ergebnisse

• Formalisierung der $\mathbb{F}_q$-Ordnung von Polynomen:

  • Die Arbeit liefert eine präzise Definition für die $\mathbb{F}_q$-Ordnung von Polynomen, die eine Analogie zur $\mathbb{F}_q$-Ordnung von Körperelementen zieht.
  • Proposition 4 stellt fest, dass für ein irreduzibles Polynom $f$ die $\mathbb{F}_q$-Ordnung $\text{Ord}(f)$ gleich der $\mathbb{F}_q$-Ordnung seiner Wurzeln ist.
  • Proposition 9 zeigt, dass die $\mathbb{F}_q$-Ordnung eines Produkts paarweise teilerfremder Polynome der kleinste gemeinsame Vielfache (LCM) ihrer individuellen $\mathbb{F}_q$-Ordnungen ist.
  • Proposition 10 charakterisiert normale Polynome: Ein Polynom $f$ des Grades $m$ ist genau dann normal, wenn es monisch ist und $\text{Ord}(f) = x^m - 1$ gilt.

• Enumeration von Polynomen:

  • Proposition 12 leitet eine Formel für die Anzahl der irreduziblen Polynome des Grades $n$ mit einer spezifischen $\mathbb{F}_q$-Ordnung $f$ ab. Die Anzahl ist $\phi(f)/n$, falls die Ordnung von $f$ (bezeichnet als $\text{ord}(f)$) gleich $n$ ist, und 0 andernfalls.
  • Unter Verwendung dieser Ergebnisse liefert die Arbeit eine explizite Summenformel für die Anzahl der $k$-normalen Polynome des Grades $n$ über $\mathbb{F}_q$.

• Eigenschaften von $r$-primitiven und $k$-normalen Elementen:

  • Proposition 16 analysiert das Produkt von $r_1$-primitiven und $r_2$-primitiven Elementen und zeigt, dass deren Produkt bei teilerfremden multiplikativen Ordnungen $\gcd(r_1, r_2)$-primitiv ist.
  • Proposition 24 und Korollar 25 untersuchen das Inverse von normalen Elementen und beweisen, dass, wenn $\alpha$ ein $(n-1)$-normales Element ist, auch $\alpha^{-1}$ ein $(n-1)$-normales Element ist.
  • Proposition 26 und Korollar 27 untersuchen die Summe von Elementen. Wenn $\alpha$ und $\beta$ teilerfremde $\mathbb{F}_q$-Ordnungen $f$ und $g$ haben, dann ist $\text{Ord}(\alpha + \beta) = fg$. Folglich ist, wenn $\alpha$ ein $k_1$-normales und $\beta$ ein $k_2$-normales Element ist, ihre Summe $(k_1 + k_2 - n)$-normal.

• Partitionierung und Identitäten:

  • Die Arbeit definiert Mengen von Elementen basierend auf der Teilbarkeit ihrer Ordnungen und $\mathbb{F}_q$-Ordnungen (z. B. Theorem 17 und Proposition 20).
  • Proposition 19 und Proposition 21 nutzen Homomorphismen, um die Kardinalität von Mengen von $r$-ten Potenzen und Mengen von Elementen mit $\mathbb{F}_q$-Ordnungen, die durch ein spezifisches Polynom teilbar sind, zu berechnen.
  • Diese Ableitungen liefern alternative Beweise für klassische Identitäten der Euler-Phi-Funktion, speziell $\sum_{d|n} \phi(d) = n$ und $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

Bedeutung
Die Arbeit beansprucht, einen vereinheitlichten und systematischen Rahmen für die Untersuchung irreduzibler Polynome bereitzustellen, indem sie die $\mathbb{F}_q$-Ordnung eines Polynoms direkt mit den Eigenschaften seiner Wurzeln in Beziehung setzt. Dieser Ansatz ermöglicht die Ableitung expliziter Enumerationsformeln für $k$-normale Polynome, ein Thema, das zwar von Alizadeh et al. definiert, aber in dieser spezifischen Weise nicht vollständig enumeriert wurde. Darüber hinaus erweitert die Arbeit das Verständnis von $r$-primitiven und $k$-normalen Elementen durch die Analyse ihrer algebraischen Interaktionen unter Addition und Multiplikation und bietet neue kombinatorische Einblicke in die Struktur endlicher Körpererweiterungen. Die Autoren positionieren diese Arbeit als eine Verfeinerung klassischer Definitionen (unter Bezugnahme auf Ore) im modernen Kontext endlicher Körper mit dem Ziel, die Lücke zwischen elementbasierten und polynombasierten algebraischen Strukturen zu schließen.