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

Resumo Técnico: Sobre a Ordem $\mathbb{F}_q$ de Polinômios e Propriedades de Elementos $r$-Primitivos e $k$-Normais sobre Corpos Finitos

Enunciado do Problema
Corpos finitos, especificamente a extensão $\mathbb{F}_{q^n}$ sobre $\mathbb{F}_q$, possuem duas estruturas algébicas fundamentais: uma estrutura de espaço vetorial de dimensão $n$ e uma estrutura de grupo multiplicativo cíclico. Estas dão origem a classes distintas de elementos: elementos primitivos (geradores do grupo multiplicativo) e elementos normais (geradores do espaço vetorial via seus conjugados). Embora os conceitos de ordem multiplicativa e Ordem $\mathbb{F}_q$ (o polinômio mínimo que anula um elemento sob o automorfismo de Frobenius) sejam bem estabelecidos para elementos de corpos, sua aplicação a polinômios tem sido menos sistemática. Especificamente, o artigo aborda a necessidade de definir formalmente a Ordem $\mathbb{F}_q$ de um polinômio e utilizar este conceito para investigar as propriedades estruturais e a enumeração de elementos e polinômios $r$-primitivos e $k$-normais.

Metodologia
Os autores empregam uma combinação de definições algébicas, análise estrutural e contagem combinatória dentro do arcabouço da teoria de corpos finitos.

1. Extensão de Definição: O artigo introduz uma definição formal para a Ordem $\mathbb{F}_q$ de um polinômio $f \in \mathbb{F}_q[x]$, denominada $\text{Ord}(f)$, definida como o único polinômio mônico de menor grau tal que $f$ divide $g \circ x$ (onde $\circ$ denota composição).
2. Análise Estrutural: Os autores estabelecem relações entre a Ordem $\mathbb{F}_q$ de um polinômio e a Ordem $\mathbb{F}_q$ de suas raízes, particularmente para polinômios irredutíveis. Eles analisam como a Ordem $\mathbb{F}_q$ se comporta sob operações polinomiais como composição, multiplicação e máximos divisores comuns.
3. Particionamento e Contagem: O estudo utiliza os conceitos de elementos $m$-livres e $g$-livres para particionar conjuntos de elementos de corpos baseados em suas ordens e Ordens $\mathbb{F}_q$. O Primeiro Teorema de Isomorfismo é aplicado a homomorfismos definidos por ações polinomiais para derivar fórmulas de cardinalidade para subconjuntos específicos de $\mathbb{F}_{q^n}$.
4. Propriedades Algébricas: O artigo investiga o comportamento de elementos $r$-primitivos e $k$-normais sob operações de corpo (multiplicação e adição), examinando especificamente as condições sob as quais essas propriedades são preservadas ou transformadas.

Principais Contribuições e Resultados

• Formalização da Ordem $\mathbb{F}_q$ de Polinômios:

  • O artigo fornece uma definição precisa para a Ordem $\mathbb{F}_q$ de polinômios, traçando uma analogia com a Ordem $\mathbb{F}_q$ de elementos de corpos.
  • A Proposição 4 estabelece que para um polinômio irredutível $f$, $\text{Ord}(f)$ é igual à Ordem $\mathbb{F}_q$ de suas raízes.
  • A Proposição 9 demonstra que a Ordem $\mathbb{F}_q$ de um produto de polinômios pairwisemente primos entre si é o mínimo múltiplo comum (MMC) de suas Ordens $\mathbb{F}_q$ individuais.
  • A Proposição 10 caracteriza polinômios normais: um polinômio $f$ de grau $m$ é normal se, e somente se, for mônico e $\text{Ord}(f) = x^m - 1$.

• Enumeração de Polinômios:

  • A Proposição 12 deriva uma fórmula para o número de polinômios irredutíveis de grau $n$ com uma Ordem $\mathbb{F}_q$ específica $f$. A contagem é $\phi(f)/n$ se a ordem de $f$ (denotada por $\text{ord}(f)$) for igual a $n$, e 0 caso contrário.
  • Utilizando estes resultados, os autores fornecem uma fórmula de somatório explícita para o número de polinômios $k$-normais de grau $n$ sobre $\mathbb{F}_q$.

• Propriedades de Elementos $r$-Primitivos e $k$-Normais:

  • A Proposição 16 analisa o produto de elementos $r_1$-primitivos e $r_2$-primitivos, mostrando que, se suas ordens multiplicativas forem coprimas, seu produto é $\gcd(r_1, r_2)$-primitivo.
  • A Proposição 24 e o Corolário 25 investigam o inverso de elementos normais, provando que, se $\alpha$ é $(n-1)$-normal, então $\alpha^{-1}$ também é $(n-1)$-normal.
  • A Proposição 26 e o Corolário 27 examinam a soma de elementos. Se $\alpha$ e $\beta$ possuem Ordens $\mathbb{F}_q$ $f$ e $g$ coprimas, então $\text{Ord}(\alpha + \beta) = fg$. Consequentemente, se $\alpha$ é $k_1$-normal e $\beta$ é $k_2$-normal, sua soma é $(k_1 + k_2 - n)$-normal.

• Particionamento e Identidades:

  • O artigo define conjuntos de elementos baseados na divisibilidade de suas ordens e Ordens $\mathbb{F}_q$ (ex: Teorema 17 e Proposição 20).
  • A Proposição 19 e a Proposição 21 utilizam homomorfismos para calcular a cardinalidade de conjuntos de potências de $r$-ésima ordem e conjuntos de elementos com Ordens $\mathbb{F}_q$ divisíveis por um polinômio específico.
  • Estas derivações fornecem provas alternativas para identidades clássicas envolvendo a função phi de Euler, especificamente $\sum_{d|n} \phi(d) = n$ e $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

Significância
O artigo afirma fornecer um arcabouço unificado e sistemático para o estudo de polinômios irredutíveis ao relacionar a Ordem $\mathbb{F}_q$ de um polinômio diretamente às propriedades de suas raízes. Esta abordagem permite a derivação de fórmulas de enumeração explícitas para polinômios $k$-normais, um tópico anteriormente definido por Alizadeh et al., mas não totalmente enumerado desta maneira específica. Além disso, o trabalho estende a compreensão de elementos $r$-primitivos e $k$-normais ao analisar suas interações algébricas sob adição e multiplicação, ofereando novos insights combinatórios sobre a estrutura de extensões de corpos finitos. Os autores posicionam este trabalho como um refinamento de definições clássicas (referenciando Ore) dentro do contexto moderno de corpos finitos, visando preencher a lacuna entre estruturas algébricas baseadas em elementos e baseadas em polinômios.