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

Resumen Técnico: Sobre el Orden $\mathbb{F}_q$ de Polinomios y Propiedades de Elementos $r$-Primitivos y $k$-Normales sobre Campos Finitos

Planteamiento del Problema
Los campos finitos, específicamente la extensión $\mathbb{F}_{q^n}$ sobre $\mathbb{F}_q$, poseen dos estructuras algebraicas fundamentales: una estructura de espacio vectorial de $n$ dimensiones y una estructura de grupo multiplicativo cíclico. Esto da lugar a clases distinguidas de elementos: elementos primitivos (generadores del grupo multiplicativo) y elementos normales (generadores del espacio vectorial mediante sus conjugados). Si bien los conceptos de orden multiplicativo y Orden $\mathbb{F}_q$ (el polinomio mínimo que aniquila a un elemento bajo la automorfismo de Frobenius) están bien establecidos para elementos de un campo, su aplicación a polinomios ha sido menos sistemática. Específicamente, el artículo aborda la necesidad de definir formalmente el Orden $\mathbb{F}_q$ de un polinomio e investigar, utilizando este concepto, las propiedades estructurales y la enumeración de elementos y polinomios $r$-primitivos y $k$-normales.

Metodología
Los autores emplean una combinación de definiciones algebraicas, análisis estructural y conteo combinatorio dentro del marco de la teoría de campos finitos.

1. Extensión de la Definición: El artículo introduce una definición formal para el Orden $\mathbb{F}_q$ de un polinomio $f \in \mathbb{F}_q[x]$, denotado como $\text{Ord}(f)$, definido como el único polinomio mónico de menor grado tal que $f$ divide a $g \circ x$ (donde $\circ$ denota composición).
2. Análisis Estructural: Los autores establecen relaciones entre el Orden $\mathbb{F}_q$ de un polinomio y el Orden $\mathbb{F}_q$ de sus raíces, particularmente para polinomios irreducibles. Analizan cómo el Orden $\mathbb{F}_q$ se comporta bajo operaciones polinómicas como la composición, la multiplicación y el máximo común divisor.
3. Partición y Conteo: El estudio utiliza los conceptos de elementos $m$-libres y $g$-libres para particionar conjuntos de elementos de un campo basados en sus órdenes y sus Órdenes $\mathbb{F}_q$. Se aplica el Primer Teorema de Isomorfismo a los homomorfismos definidos por acciones polinómicas para derivar fórmulas de cardinalidad para subconjuntos específicos de $\mathbb{F}_{q^n}$.
4. Propiedades Algebraicas: El artículo investiga el comportamiento de los elementos $r$-primitivos y $k$-normales bajo operaciones de campo (multiplicación y suma), examinando específicamente las condiciones bajo las cuales estas propiedades se preservan o transforman.

Contribuciones Clave y Resultados

• Formalización del Orden $\mathbb{F}_q$ de Polinomios:

  • El artículo proporciona una definición precisa para el Orden $\mathbb{F}_q$ de un polinomio, trazando una analogía con el Orden $\mathbb{F}_q$ de los elementos de un campo.
  • La Proposición 4 establece que para un polinomio irreducible $f$, $\text{Ord}(f)$ es igual al Orden $\mathbb{F}_q$ de sus raíces.
  • La Proposición 9 demuestra que el Orden $\mathbb{F}_q$ de un producto de polinomios mutuamente primos es el mínimo común múltiplo (MCM) de sus Órdenes $\mathbb{F}_q$ individuales.
  • La Proposición 10 caracteriza los polinomios normales: un polinomio $f$ de grado $m$ es normal si y solo si es mónico y $\text{Ord}(f) = x^m - 1$.

• Enumeración de Polinomios:

  • La Proposición 12 deriva una fórmula para el número de polinomios irreducibles de grado $n$ con un Orden $\mathbb{F}_q$ específico $f$. El conteo es $\phi(f)/n$ si el orden de $f$ (denotado como $\text{ord}(f)$) es igual a $n$, y 0 en caso contrario.
  • Utilizando estos resultados, los autores proporcionan una fórmula de sumatoria explícita para el número de polinomios $k$-normales de grado $n$ sobre $\mathbb{F}_q$.

• Propiedades de Elementos $r$-Primitivos y $k$-Normales:

  • La Proposición 16 analiza el producto de elementos $r_1$-primitivos y $r_2$-primitivos, mostrando que si sus órdenes multiplicativos son coprimos, su producto es $\gcd(r_1, r_2)$-primitivo.
  • La Proposición 24 y el Corolario 25 investigan el inverso de los elementos normales, probando que si $\alpha$ es $(n-1)$-normal, entonces $\alpha^{-1}$ también es $(n-1)$-normal.
  • La Proposición 26 y el Corolario 27 examinan la suma de elementos. Si $\alpha$ y $\beta$ tienen Órdenes $\mathbb{F}_q$ coprimos $f$ y $g$, entonces $\text{Ord}(\alpha + \beta) = fg$. Consecuentamente, si $\alpha$ es $k_1$-normal y $\beta$ es $k_2$-normal, su suma es $(k_1 + k_2 - n)$-normal.

• Partición e Identidades:

  • El artículo define conjuntos de elementos basados en la divisibilidad de sus órdenes y sus Órdenes $\mathbb{F}_q$ (por ejemplo, Teorema 17 y Proposición 20).
  • La Proposición 19 y la Proposición 21 utilizan homomorfismos para calcular la cardinalidad de conjuntos de potencias $r$-ésimas y conjuntos de elementos cuyo Orden $\mathbb{F}_q$ es divisible por un polinomio específico.
  • Estas derivaciones proporcionan pruebas alternativas para identidades clásicas que involucran la función $\phi$ de Euler, específicamente $\sum_{d|n} \phi(d) = n$ y $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

Significado
El artículo afirma proporcionar un marco unificado y sistemático para estudiar polinomios irreducibles relacionando directamente el Orden $\mathbb{F}_q$ de un polinomio con las propiedades de sus raíces. Este enfoque permite la derivación de fórmulas de enumeración explícitas para polinomios $k$-normales, un tema definido previamente por Alizadeh et al. pero no enumerado completamente de esta manera específica. Además, el trabajo extiende la comprensión de los elementos $r$-primitivos y $k$-normales mediante el análisis de sus interacciones algebraicas bajo la suma y la multiplicación, ofreciendo nuevas perspectivas combinatorias sobre la estructura de las extensiones de campos finitos. Los autores posicionan este trabajo como un refinamiento de las definiciones clásicas (haciendo referencia a Ore) dentro del contexto moderno de los campos finitos, con el objetivo de cerrar la brecha entre las estructuras algebraicas basadas en elementos y las basadas en polinomios.