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

Sintesi Tecnica: Sull'Ordine $\mathbb{F}_q$ dei Polinomi e sulle Proprietà degli Elementi $r$-Primitivi e $k$-Normali su Campi Finiti

Enunciato del Problema
I campi finiti, specificamente l'estensione $\mathbb{F}_{q^n}$ su $\mathbb{F}_q$, possiedono due strutture algebriche fondamentali: una struttura di spazio vettoriale $n$-dimensionale e una struttura di gruppo moltiplicativo ciclico. Ciò dà origine a classi distinte di elementi: elementi primitivi (generatori del gruppo moltiplicativo) ed elementi normali (generatori dello spazio vettoriale tramite i loro coniugati). Sebbene i concetti di ordine moltiplicativo e di Ordine $\mathbb{F}_q$ (il polinomio minimo che annulla un elemento sotto l'automorfismo di Frobenius) siano ben stabiliti per gli elementi del campo, la loro applicazione ai polinomi è stata meno sistematica. Nello specifico, il documento affronta la necessità di definire formalmente l'Ordine $\mathbb{F}_q$ di un polinomio e di utilizzare questo concetto per investigare le proprietà strutturali e l'enumerazione di elementi e polinomi $r$-primitivi e $k$-normali.

Metodologia
Gli autori impiegano una combinazione di definizioni algebriche, analisi strutturale e conteggio combinatorio all'interno del quadro della teoria dei campi finiti.

1. Estensione della Definizione: Il documento introduce una definizione formale per l'Ordine $\mathbb{F}_q$ di un polinomio $f \in \mathbb{F}_q[x]$, denominato $\text{Ord}(f)$, definito come l'unico polinomio monico di grado minimo tale che $f$ divide $g \circ x$ (dove $\circ$ indica la composizione).
2. Analisi Strutturale: Gli autori stabiliscono relazioni tra l'Ordine $\mathbb{F}_q$ di un polinomio e l'Ordine $\mathbb{F}_q$ delle sue radici, particolarmente per i polinomi irriducibili. Analizzano come l'Ordine $\mathbb{F}_q$ si comporti sotto operazioni polinomiali quali la composizione, la moltiplicazione e i massimi comuni divisori.
3. Partizionamento e Conteggio: Lo studio utilizza i concetti di elementi $m$-liberi e $g$-liberi per partizionare insiemi di elementi del campo basandosi sui loro ordini e sugli Ordini $\mathbb{F}_q$. Il Primo Teorema di Isomorfismo viene applicato agli omomorfismi definiti da azioni polinomiali per derivare formule di cardinalità per sottogruppi specifici di $\mathbb{F}_{q^n}$.
4. Proprietà Algebriche: Il documento investiga il comportamento di elementi $r$-primitivi e $k$-normali sotto le operazioni del campo (moltiplicazione e addizione), esaminando le condizioni sotto le quali tali proprietà sono preservate o trasformate.

Contributi Chiave e Risultati

• Formalizzazione dell'Ordine $\mathbb{F}_q$ Polinomiale:

  • Il documento fornisce una definizione precisa per l'Ordine $\mathbb{F}_q$ dei polinomi, tracciando un'analogia con l'Ordine $\mathbb{F}_q$ degli elementi del campo.
  • La Proposizione 4 stabilisce che per un polinomio irriducibile $f$, $\text{Ord}(f)$ è uguale all'Ordine $\mathbb{F}_q$ delle sue radici.
  • La Proposizione 9 dimostra che l'Ordine $\mathbb{F}_q$ del prodotto di polinomi pairwise relativamente primi è il minimo comune multiplo (LCM) dei loro singoli Ordini $\mathbb{F}_q$.
  • La Proposizione 10 caratterizza i polinomi normali: un polinomio $f$ di grado $m$ è normale se e solo se è monico e $\text{Ord}(f) = x^m - 1$.

• Enumerazione dei Polinomi:

  • La Proposizione 12 deriva una formula per il numero di polinomi irriducibili di grado $n$ con un determinato Ordine $\mathbb{F}_q$ $f$. Il conteggio è $\phi(f)/n$ se l'ordine di $f$ (denotato $\text{ord}(f)$) è uguale a $n$, e 0 altrimenti.
  • Utilizzando questi risultati, gli autori forniscono una formula di sommatoria esplicita per il numero di polinomi $k$-normali di grado $n$ su $\mathbb{F}_q$.

• Proprietà degli Elementi $r$-Primitivi e $k$-Normali:

  • La Proposizione 16 analizza il prodotto di elementi $r_1$-primitivi e $r_2$-primitivi, mostrando che se i loro ordini moltiplicativi sono coprimi, il loro prodotto è $\gcd(r_1, r_2)$-primitivo.
  • La Proposizione 24 e il Corollario 25 investigano l'inverso degli elementi normali, provando che se $\alpha$ è $(n-1)$-normale, allora anche $\alpha^{-1}$ è $(n-1)$-normale.
  • La Proposizione 26 e il Corollario 27 esaminano la somma di elementi. Se $\alpha$ e $\beta$ hanno Ordini $\mathbb{F}_q$ coprimi $f$ e $g$, allora $\text{Ord}(\alpha + \beta) = fg$. Di conseguenza, se $\alpha$ è $k_1$-normale e $\beta$ è $k_2$-normale, la loro somma è $(k_1 + k_2 - n)$-normale.

• Partizionamento e Identità:

  • Il documento definisce insiemi di elementi basati sulla divisibilità dei loro ordini e degli Ordini $\mathbb{F}_q$ (ad esempio, Teorema 17 e Proposizione 20).
  • La Proposizione 19 e la Proposizione 21 utilizzano omomorfismi per calcolare la cardinalità di insiemi di $r$-esimi potenze e di insiemi di elementi con Ordini $\mathbb{F}_q$ divisibili per un polinomio specifico.
  • Queste derivazioni forniscono prove alternative per identità classiche riguardanti la funzione phi di Eulero, specificamente $\sum_{d|n} \phi(d) = n$ e $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

Significatività
Il documento sostiene di fornire un quadro unificato e sistematico per lo studio dei polinomi irriducibili collegando direttamente l'Ordine $\mathbb{F}_q$ di un polinomio alle proprietà delle sue radici. Questo approccio permette la derivazione di formule di enumerazione esplicite per i polinomi $k$-normali, un argomento precedentemente definito da Alizadeh et al. ma non pienamente enumerato in questo modo specifico. Inoltre, il lavoro estende la comprensione degli elementi $r$-primitivi e $k$-normali analizzando le loro interazioni algebriche sotto addizione e moltiplicazione, offrendo nuove intuizioni combinatorie sulla struttura delle estensioni di campi finiti. Gli autori posizionano questo lavoro come un raffinamento delle definizioni classiche (citando Ore) nel contesto moderno dei campi finiti, con l'obiettivo di colmare il divario tra le strutture algebriche basate sugli elementi e quelle basate sui polinomi.