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

Technische Samenvatting: Over de $\mathbb{F}_q$-orde van polynomen en eigenschappen van $r$-primitieve en $k$-normale elementen over eindige lichamen

Probleemstelling
Eindige lichamen, specifiek de uitbreiding $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, bezitten twee fundamentele algebraïsche structuren: een $n$-dimensionale vectorruimtestructuur en een cyclische multiplicatieve groepstructuur. Dit geeft aanleiding tot onderscheidbare klassen van elementen: primitieve elementen (generatoren van de multiplicatieve groep) en normale elementen (generatoren van de vectorruimte via hun conjuncten). Hoewel concepten zoals multiplicatieve orde en $\mathbb{F}_q$-orde (de minimale polynoom die een element annihileert onder de Frobenius-automorfisme) goed gevestigd zijn voor veldelementen, is hun toepassing op polynomen minder systematisch geweest. Specifiek adresseert dit artikel de behoefte om de $\mathbb{F}_q$-orde van een polynoom formeel te definiëren en dit concept te gebruiken om de structurele eigenschappen en enumeratie van $r$-primitieve en $k$-normale elementen en polynomen te onderzoeken.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche definities, structurele analyse en combinatorische telling binnen het kader van de eindige veldentheorie.

1. Definitie-uitbreiding: Het artikel introduceert een formele definitie voor de $\mathbb{F}_q$-orde van een polynoom $f \in \mathbb{F}_q[x]$, aangeduid als $\text{Ord}(f)$, gedefinieerd als de unieke monische polynoom van kleinste graad waarvoor $f$ deelbaar is met $g \circ x$ (waarbij $\circ$ compositie betekent).
2. Structurele Analyse: De auteurs vestigen relaties tussen de $\mathbb{F}_q$-orde van een polynoom en de $\mathbb{F}_q$-orde van zijn wortels, met name voor irreducibele polynomen. Ze analyseren hoe de $\mathbb{F}_q$-orde zich gedraagt onder polynoomoperaties zoals compositie, vermenigvuldiging en de grootste gemene deler.
3. Partitionering en Telling: De studie maakt gebruik van de concepten van $m$-vrije en $g$-vrije elementen om verzamelingen veldelementen te partitioneren op basis van hun orden en $\mathbb{F}_q$-ordes. De Eerste Isomorfiestelling wordt toegepast op homomorfismen gedefinieerd door polynoomacties om kardinaliteitsformules af te leiden voor specifieke deelverzamelingen van $\mathbb{F}_{q^n}$.
4. Algebraïsche Eigenschappen: Het artikel onderzoekt het gedrag van $r$-primitieve en $k$-normale elementen onder veldoperaties (vermenigvuldiging en optelling), waarbij specifiek wordt gekeken naar de voorwaarden waaronder deze eigenschappen behouden blijven of transformeren.

Belangrijkste Bijdragen en Resultaten

• Formalisering van de Polynoom $\mathbb{F}_q$-orde:

  • Het artikel biedt een precieze definitie voor de $\mathbb{F}_q$-orde voor polynomen, waarbij een analogie wordt getrokken met de $\mathbb{F}_q$-orde van veldelementen.
  • Propositie 4 stelt vast dat voor een irreducibele polynoom $f$, $\text{Ord}(f)$ gelijk is aan de $\mathbb{F}_q$-orde van zijn wortels.
  • Propositie 9 toont aan dat de $\mathbb{F}_q$-orde van een product van onderling relatief priemme polynomen de kleinste gemeenschappelijke veelvoud (LCM) is van hun individuele $\mathbb{F}_q$-ordes.
  • Propositie 10 karakteriseert normale polynomen: een polynoom $f$ van graad $m$ is normaal dan en slechts dan als deze monisch is en $\text{Ord}(f) = x^m - 1$.

• Enumeratie van Polynomen:

  • Propositie 12 leidt een formule af voor het aantal irreducibele polynomen van graad $n$ met een specifieke $\mathbb{F}_q$-orde $f$. De telling is $\phi(f)/n$ als de orde van $f$ (aangeduid als $\text{ord}(f)$) gelijk is aan $n$, en 0 anders.
  • Met behulp van deze resultaten biedt de auteurs een expliciete sommatieformule voor het aantal $k$-normale polynomen van graad $n$ over $\mathbb{F}_q$.

• Eigenschappen van $r$-primitieve en $k$-normale Elementen:

  • Propositie 16 analyseert het product van $r_1$-primitieve en $r_2$-primitieve elementen, waarbij wordt aangetoond dat als hun multiplicatieve orden onderling priem zijn, hun product $\gcd(r_1, r_2)$-primitief is.
  • Propositie 24 en Corollary 25 onderzoeken het inverse van normale elementen, waarbij wordt bewezen dat als $\alpha$ $(n-1)$-normaal is, $\alpha^{-1}$ ook $(n-1)$-normaal is.
  • Propositie 26 en Corollary 27 onderzoeken de som van elementen. Als $\alpha$ en $\beta$ onderling priem $\mathbb{F}_q$-ordes $f$ en $g$ hebben, dan is $\text{Ord}(\alpha + \beta) = fg$. Bijgevolg, als $\alpha$ $k_1$-normaal is en $\beta$ $k_2$-normaal is, dan is hun som $(k_1 + k_2 - n)$-normaal.

• Partitionering en Identiteiten:

  • Het artikel definieert verzamelingen van elementen op basis van deelbaarheid van hun orden en $\mathbb{F}_q$-ordes (bijv. Stelling 17 en Propositie 20).
  • Propositie 19 en Propositie 21 maken gebruik van homomorfismen om de kardinaliteit van verzamelingen van $r$-de machten en verzamelingen van elementen met $\mathbb{F}_q$-ordes deelbaar met een specifieke polynoom te berekenen.
  • Deze afleidingen bieden alternatieve bewijzen voor klassieke identiteiten betreffende de Euler-phi-functie, specifiek $\sum_{d|n} \phi(d) = n$ en $\sum_{g|f} \phi(g) = q^{\deg(f)}$.

Significantie
Het artikel claimt een verenigd en systematisch kader te bieden voor het bestuderen van irreducibele polynomen door de $\mathbb{F}_q$-orde van een polynoom direct te relateren aan de eigenschappen van zijn wortels. Deze benadering maakt de afleiding van expliciete enumeratieformules voor $k$-normale polynomen mogelijk, een onderwerp dat eerder werd gedefinieerd door Alizadeh et al. maar niet op deze specifieke wijze volledig werd geënumereerd. Verder breidt het werk het begrip van $r$-primitieve en $k$-normale elementen uit door hun algebraïsche interacties onder optelling en vermenigvuldiging te analyseren, wat nieuwe combinatorische inzichten biedt in de structuur van eindige velduitbreidingen. De auteurs positioneren dit werk als een verfijning van klassieke definities (refererend aan Ore) binnen de moderne context van eindige velden, met als doel de kloof tussen element-gebaseerde en polynoom-gebaseerde algebraïsche structuren te overbruggen.