On the monogenicity and Galois groups of $\boldsymbol{x^{2p}+ax^p+b^p}$

In dit artikel worden de monogene trinomiale polynomen van de vorm $x^{2p}+ax^p+b^p$ gekarakteriseerd op basis van hun Galois-groepen, waarmee eerdere onderzoeken van de auteurs worden uitgebreid.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is, en in deze bibliotheek staan boeken die "polynomen" heten. Een polynoom is gewoon een wiskundige formule, zoals $x^2 + 3x + 2$.

De auteurs van dit artikel, Joshua Harrington en Lenny Jones, hebben zich verdiept in een heel specifiek type "boek" (een formule) dat eruitziet als een mysterieuze trits:
$$f(x) = x^{2p} + ax^p + b^p$$
Hierbij is $p$ een priemgetal (zoals 3, 5, 7, 11...), en $a$ en $b$ zijn gewone gehele getallen.

Wat is het probleem? (De "Monogenische" puzzel)

In de wiskunde willen we vaak begrijpen hoe de getallen in een bepaald systeem (een "getallenveld") zich gedragen. Soms kun je dit systeem volledig beschrijven met één enkele "hoofdgetal" (noem het $\theta$) en al zijn machten ($1, \theta, \theta^2, \dots$).

Als je met alleen deze machten en gewone getallen alle mogelijke getallen in dat systeem kunt maken, noemen de wiskundigen dat systeem monogeen. Het is alsof je een taal hebt die je volledig kunt leren met slechts één basiswoord en zijn variaties, zonder dat je ooit een nieuw woord hoeft uit te vinden.

De vraag in dit artikel is: Wanneer is onze specifieke formule $f(x)$ monogeen?

De twee sleutels: Symmetrie en Structuur

Om dit te beantwoorden, kijken de auteurs naar twee dingen:

1. De Galois-groep (De "Orkestdirecteur"):
   Stel je voor dat de oplossingen van je formule een groep muzikanten zijn. De "Galois-groep" is de dirigent die bepaalt hoe deze muzikanten met elkaar kunnen verwisselen zonder dat de muziek (de wiskundige structuur) kapot gaat.

   • Soms is de dirigent heel strak en georganiseerd (een cyclische groep).
   • Soms is het een chaotisch orkest met veel vrijheid.
     De auteurs hebben al eerder uitgezocht welke dirigent er bij welke formule hoort, afhankelijk van de getallen $a$, $b$ en $p$.

2. De "Index" (De Lekkage):
   Als je probeert het systeem te bouwen met alleen je basisgetal $\theta$, kan het zijn dat er kleine gaten in zitten. Je mist misschien een paar getallen die je wel nodig hebt. De "index" meet hoe groot die gaten zijn.

   • Als de index 0 is (geen gaten), is het systeem monogeen.
   • Als de index groter is, moet je extra "reparatiemateriaal" toevoegen, en is het systeem niet monogeen.

Wat hebben ze ontdekt?

De auteurs hebben een soort "receptenboek" gemaakt. Ze zeggen: "Als je deze specifieke ingrediënten ($a$, $b$ en $p$) gebruikt, en je kijkt naar de dirigent (de Galois-groep), dan weten we precies of je een monogeen systeem krijgt of niet."

Hier zijn de belangrijkste conclusies, vertaald naar alledaags taal:

• Het geval met $p$ die de "verschil" deelt:
  Meestal is het makkelijk om te zeggen of iets monogeen is. Maar er is een lastige situatie waarbij het getal $p$ een bepaalde rol speelt in de formule (wiskundig: $p$ deelt het getal $\delta$). In dit geval is het een puzzel.
  De auteurs hebben deze puzzel opgelost. Ze hebben gevonden dat voor deze moeilijke gevallen, er slechts een paar specifieke combinaties van getallen werken.

  • Bijvoorbeeld: Als $p=5$, dan werkt het alleen als je $a=3$ of $a=-3$ en $b=1$ kiest.
  • Als $p=3$, dan werkt het alleen met $a=\pm 1$ en $b=1$.
    Het is alsof je zegt: "Je kunt alleen een perfecte taart bakken als je precies 3 eieren en 1 kop suiker gebruikt. Alles anders mislukt."

• De oneindige schat:
  Voor een ander type dirigent (een andere Galois-groep), hebben ze ontdekt dat er oneindig veel recepten zijn die werken. Je kunt hier een heel eind mee gaan en altijd een monogeen systeem vinden, zolang je maar voldoet aan een paar simpele regels (zoals dat bepaalde getallen geen "vierkante delers" hebben).

De verrassende connectie (Corollary 1.3)

Het meest fascinerende deel van het artikel is een verrassende link die ze leggen tussen deze formules en een heel oud probleem in de getaltheorie.

Ze zeggen: "Er zijn oneindig veel van deze speciale monogene formules (met een bepaalde structuur) als en slechts als er oneindig veel priemgetallen zijn die je kunt schrijven als $z^2 + 4$ (een getal dat 4 meer is dan een kwadraat)."

Dit is als het vinden van een geheime sleutel:

• Als je ooit kunt bewijzen dat er oneindig veel priemgetallen zijn van de vorm $z^2 + 4$ (wat nog niet bewezen is, maar waarschijnlijk waar), dan weet je automatisch dat er oneindig veel van deze prachtige, monogene wiskundige systemen bestaan.
• Het verbindt twee totaal verschillende werelden: de structuur van complexe formules en de verdeling van priemgetallen.

Samenvatting

Kortom, Harrington en Jones hebben een landkaart getekend voor een specifiek type wiskundig systeem. Ze hebben laten zien dat:

1. Voor de meeste situaties al bekend was of het systeem "perfect" (monogeen) was.
2. Voor de lastige situaties (waar $p$ een rol speelt) ze een exacte lijst hebben gemaakt van welke getallencombinaties werken.
3. Dit onderzoek een brug slaat naar een beroemd onopgelost probleem over priemgetallen ($z^2 + 4$).

Het is een mooi voorbeeld van hoe wiskundigen proberen de "perfecte structuur" in getallen te vinden, en hoe het vinden van één soort structuur ons kan vertellen over de diepste geheimen van andere getallen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Monogenicity and Galois Groups of $x^{2p} + ax^p + b^p$" van Joshua Harrington en Lenny Jones, geschreven in het Nederlands.

Titel en Context

Onderwerp: De monogeniteit en Galois-groepen van trinomen van de vorm $f(x) = x^{2p} + ax^p + b^p$.
Auteurs: Joshua Harrington en Lenny Jones.
Doel: Het karakteriseren van wanneer dergelijke polynomen monogeen zijn, gekoppeld aan hun Galois-groep, met name in situaties waar de discriminant deelbaar is door de priem $p$.

---

1. Het Probleem

Het artikel onderzoekt de polynoom $f(x) = x^{2p} + ax^p + b^p$, waarbij $p \geq 3$ een priemgetal is en $a, b \in \mathbb{Z}$ met $ab \neq 0$.

• Definitie van monogeniteit: Een irreducibele polynoom $f(x)$ over $\mathbb{Q}$ heet monogeen als de ring van gehele getallen $\mathcal{O}_K$ van het getallichaam $K = \mathbb{Q}(\theta)$ (waarbij $f(\theta)=0$) een basis heeft van de vorm $\{1, \theta, \theta^2, \dots, \theta^{2p-1}\}$. Dit is equivalent aan het zeggen dat de index $[\mathcal{O}_K : \mathbb{Z}[\theta]] = 1$, oftewel dat de discriminant van de polynoom gelijk is aan de discriminant van het getallichaam ($\Delta(f) = \Delta(K)$).
• Achtergrond: De auteurs hebben eerder de Galois-groep $Gal(f)$ bepaald voor specifieke gevallen (bijv. $p=3$ of $b=1$). Een recente studie (Jim en Hagedorn) heeft de Galois-groep voor alle $p \geq 5$ bepaald.
• De kernvraag: De auteurs focussen op het geval waarbij $p$ de discriminant $\delta = a^2 - 4b^p$ deelt. In dit specifieke geval is de structuur van de Galois-groep subtieler, en de vraag is onder welke voorwaarden deze polynomen monogeen zijn.

2. Methodologie

De auteurs combineren theorie van getallenlichamen, Galois-theorie en specifieke criteria voor monogeniteit.

1. Klassificatie van Galois-groepen:
   Op basis van eerdere werken (Theorema 1.1) wordt de Galois-groep $Gal(f)$ bepaald door de vorm van $\delta = a^2 - 4b^p$:

   • Als $p \equiv 1 \pmod 4$ en $\delta = p y^2$: $C_p \rtimes C_{p-1}$.
   • Als $p \equiv 3 \pmod 4$ en $\delta = -p y^2$: $(C_p \rtimes C_{(p-1)/2}) \times C_2$.
   • Anders (en als $p \nmid \delta$): $(C_p \rtimes C_{p-1}) \times C_2$.

2. Reductie via Theorema van Kaur, Kumar en Remete (Theorema 2.1):
   Omdat $f(x) = g(x^p)$ met $g(x) = x^2 + ax + b^p$, wordt het probleem gereduceerd tot het analyseren van de kwadratische polynoom $g(x)$. Voor $f(x)$ monogeen te zijn, moeten drie voorwaarden gelden:

   • $g(0)$ is kwadraatvrij (impliceert $b = \pm 1$).
   • De index van $f(x)$ wordt niet gedeeld door $p$.
   • $g(x)$ zelf is monogeen.

3. Toepassing van Theorema van Jakhar, Khanduja en Sangwan (Theorema 2.2):
   Om te bepalen of de priem $p$ de index deelt, gebruiken de auteurs een uitgebreid criterium voor irreducibele trinomen. Dit leidt tot het analyseren van de coprimiteit van bepaalde gereduceerde polynomen $H_1(x)$ en $H_2(x)$ modulo $p$.

4. Casusverdeling:
   De analyse wordt opgesplitst in gevallen gebaseerd op de relatie tussen $a$, $b$ en $p$:

   • Geval $\Gamma_j$: $\delta = \pm p y^2$ (de Galois-groep is niet de "standaard" grote groep).
   • Geval $\Omega$: $\delta \neq \pm p y^2$ (de Galois-groep is $(C_p \rtimes C_{p-1}) \times C_2$).

3. Belangrijkste Resultaten

Theorema 1.2: Karakterisering van Monogeniteit

De auteurs geven een volledige classificatie van wanneer $f(x)$ monogeen is, afhankelijk van de Galois-groep en de parameters $(p, a, b)$, onder de aanname dat $f(x)$ irreducibel is en $p \mid \delta$.

1. Geval $Gal(f) \simeq C_p \rtimes C_{p-1}$:

   • Dit gebeurt wanneer $p \equiv 1 \pmod 4$ en $\delta = p y^2$.
   • $f(x)$ is monogeen dan en slechts dan als $(p, a, b) \in \{(5, \pm 3, 1), (a^2+4, a, -1)\}$.
   • Dit betekent dat voor $b=1$ alleen $p=5$ en $a=\pm 3$ werken. Voor $b=-1$ moet $p = a^2 + 4$ zijn.

2. Geval $Gal(f) \simeq (C_p \rtimes C_{(p-1)/2}) \times C_2$:

   • Dit gebeurt wanneer $p \equiv 3 \pmod 4$ en $\delta = -p y^2$.
   • $f(x)$ is monogeen dan en slechts dan als $(p, a, b) = (3, \pm 1, 1)$.
   • Dit is een zeer beperkte verzameling oplossingen.

3. Geval $Gal(f) \simeq (C_p \rtimes C_{p-1}) \times C_2$:

   • Dit is het meest algemene geval.
   • Subgeval (a): Als $\delta = (-1)^{p(p+1)/2} p y^2$, dan is $f(x)$ monogeen alleen voor $(p, a, b) = (3, \pm 4, 1)$.
   • Subgeval (b): Als $\delta \neq (-1)^{p(p+1)/2} p y^2$, dan is $f(x)$ monogeen als:
     • $b=1$ en $(a-2)(a+2)$ kwadraatvrij is.
     • $b=-1$ en $(a^2+4)/\gcd(2,a)^2$ kwadraatvrij is.
   • Conclusie: Voor elke priem $p \geq 3$ bestaan er oneindig veel dergelijke monogene trinomen in dit subgeval.

Corollary 1.3: Link met Priemgetallen

Een opvallend gevolg is de connectie tussen monogeniteit en de existentie van priemgetallen van de vorm $z^2 + 4$.

• Er bestaat een priem $p > N$ zodat $f(x) = x^{2p} + ax^p - 1$ monogeen is met Galois-groep $C_p \rtimes C_{p-1}$ (voor een unieke $a$) dan en slechts dan als er oneindig veel priemgetallen zijn van de vorm $z^2 + 4$.
• Dit koppelt een eigenschap van polynomen (monogeniteit) direct aan een open probleem in de getaltheorie (de oneindigheid van priemgetallen van de vorm $n^2+1$, hier specifiek $z^2+4$).

4. Significatie en Bijdrage

• Volledige Karakterisering: Het artikel sluit een gat in de literatuur door de monogeniteit van deze specifieke klasse van trinomen volledig te karakteriseren, zelfs in het complexe geval waar $p$ de discriminant deelt.
• Verbinding met Galois-theorie: Het toont aan hoe de structuur van de Galois-groep (bepaald door de vorm van de discriminant) de voorwaarden voor monogeniteit dicteert.
• Oneindigheid van Oplossingen: Het bewijst dat voor het "standaard" geval van de Galois-groep er oneindig veel monogene voorbeelden bestaan, terwijl de andere gevallen (met "kleinere" Galois-groepen) slechts een eindig aantal of zeer specifieke oplossingen hebben.
• Nieuwe Koppeling: Corollary 1.3 biedt een nieuwe, onverwachte link tussen de theorie van monogene polynomen en de verdeling van priemgetallen van de vorm $n^2+1$ (of $z^2+4$). Als men ooit bewijst dat er oneindig veel priemgetallen van de vorm $z^2+4$ zijn, impliceert dit direct het bestaan van oneindig veel monogene polynomen van de vorm $x^{2p} + ax^p - 1$ met een specifieke Galois-groep.

Samenvatting

Harrington en Jones leveren een diepgaande analyse van de structuur van getallichamen gegenereerd door $x^{2p} + ax^p + b^p$. Door gebruik te maken van geavanceerde criteria voor de index van een polynoom, identificeren ze exact welke parameters leiden tot monogeniteit. Hun werk benadrukt dat monogeniteit vaak een zeldzame eigenschap is in specifieke Galois-categorieën, maar overvloedig voorkomt in andere, en legt een fundamentele brug tussen algebraïsche getaltheorie en de distributie van priemgetallen.