🔢 mathematics

On $p-$ Rationality of Cubic and Quartic Number Fields

Dit artikel presenteert een nieuw criterium voor de $p$ -rationaliteit van complexe kubische en quartische getallenlichamen, illustreert dit met voorbeelden, bespreekt de relatie met de gegeneraliseerde $abc$-vermoeden en levert expliciete velden op die voldoen aan het gegeneraliseerde conjectuur van Greenberg.

Oorspronkelijke auteurs: Hang Li, Derong Qiu

Gepubliceerd 2026-04-24

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Hang Li, Derong Qiu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat getallen niet alleen als losse cijfers bestaan, maar als een groot, complex universum van landen. Wiskundigen noemen deze landen getallenlichamen. In dit artikel onderzoeken de auteurs Hang Li en Derong Qiu een heel specifiek soort "eigenschappen" die deze landen kunnen hebben, iets dat ze p-rationaliteit noemen.

Laten we dit uitleggen alsof we een verhaal vertellen over een groep reizigers en hun paspoorten.

1. Het Doel: De "Perfecte" Reizigers (p-rationaliteit)

Stel je een getallenlichaam voor als een land. In dit land wonen getallen. Soms willen wiskundigen weten of dit land "goed georganiseerd" is voor een specifieke prime getal $p$ (zoals 3, 5, 7, etc.).

Ze noemen een land p-rationaal als het zich gedraagt als een heel soepel, vrij land zonder "storingen" of "gevangenissen" rondom dat getal $p$ .

De analogie: Stel je voor dat $p$ een soort "controlepost" is. Als een land p-rationaal is, dan kunnen reizigers (getallen) daar vrij bewegen zonder vast te komen zitten in een bureaucratie (wat wiskundigen een torsie noemen). Het land is "vrij" en "geordend".

Waarom is dit belangrijk? Omdat als je weet welke landen p-rationaal zijn, je kunt bewijzen dat er enorme, complexe landen bestaan die voldoen aan een beroemde wiskundige regel (de conjecture van Leopoldt). Het is als het vinden van de sleutel om deuren te openen in een groot kasteel.

2. De Uitdaging: De Moeilijke Landen

De auteurs kijken niet naar de simpele landen (zoals de reële kwadratische velden, die al goed bekend zijn), maar naar de moeilijkere, exotische landen:

Complexe kubische velden: Landen met een dimensie van 3, maar die "complexe" getallen bevatten (zoals $\sqrt{-1}$ ).
Pure imaginaire quartische velden: Landen met een dimensie van 4, ook vol met complexe getallen.

Deze landen zijn als een doolhof. Het is heel moeilijk om te zien of ze p-rationaal zijn. De auteurs zeggen: "Laten we een nieuwe manier vinden om dit te checken."

3. De Oplossing: Een Rekenmachine met een Geheim (De Recurrente Reeks)

Hoe testen ze of een land p-rationaal is? Ze gebruiken een slimme truc met een rekenreeks.

Stel je voor dat je een reeks getallen hebt die zich herhalen volgens een vast patroon (zoals de Fibonacci-reeks, maar dan met een ander patroon dat afhangt van het land).

De truc: Als je deze reeks een bepaalde stap laat maken (bijvoorbeeld naar stap $p-1$ of $p^2-1$ ) en het resultaat niet deelbaar is door $p^2$ , dan is het land waarschijnlijk p-rationaal!
De metafoor: Het is alsof je een slot hebt. Als je de sleutel (de getallenreeks) draait en het slot klikt niet op de verkeerde manier (niet deelbaar door $p^2$ ), dan weet je dat de deur open kan.

Dit is hun nieuwe criterium: in plaats van de hele bureaucratie van het land te inspecteren, kijken ze alleen naar dit ene getal in de reeks. Als dat getal "goed" is, is het land p-rationaal (mits er geen andere kleine obstakels zijn, zoals een groot aantal "gevangen" getallen, wat ze de class number noemen).

4. De Grote Droom: De abc-Gissing en Oneindigheid

In het tweede deel van het artikel kijken ze naar een heel groot, theoretisch idee: de veralgemeende abc-gissing.

De gissing: Dit is een regel in de wiskunde die zegt dat als je drie getallen optelt ( $a + b = c$ ), ze niet te veel gemeenschappelijke factoren mogen hebben.
De conclusie: De auteurs tonen aan dat als deze grote gissing waar is (wat de meeste wiskundigen denken), er oneindig veel van deze exotische landen bestaan die p-rationaal zijn voor grote getallen $p$ .
De analogie: Het is alsof ze zeggen: "Als de wetten van het universum kloppen, dan zijn er oneindig veel perfecte landen in het heelal, en we kunnen ze vinden door naar steeds grotere getallen te kijken."

5. De Praktijk: De Lijsten (De Tabellen)

Aan het einde van het artikel hebben ze lijsten gemaakt.

Ze hebben 419 complexe kubische landen en 147 imaginaire quartische landen gecontroleerd.
Ze hebben gekeken naar priemgetallen tussen 5 en 100.
Het resultaat: Voor bijna alle combinaties (meer dan 9000!) hebben ze kunnen bewijzen dat deze landen p-rationaal zijn.
Ze hebben een paar uitzonderingen gevonden waar het slot niet open ging (waar $p$ de "class number" deelt), maar voor de rest is het een groot succes.

Samenvatting in één zin

De auteurs hebben een nieuwe, snelle manier bedacht (een wiskundige "test") om te zien of complexe getallenlanden vrij en geordend zijn, en ze hebben bewezen dat er, als we naar grote getallen kijken, oneindig veel van deze perfecte landen bestaan.

Het is als het vinden van een magische sleutel die deuren opent in een gigantisch kasteel van getallen, waardoor we eindelijk begrijpen hoe de structuur van de wiskunde in elkaar zit.

Titel: Over p-rationnaliteit van Kubische en Kwartische Getallenlichamen

Auteurs: Hang Li en Derong Qiu
Trefwoorden: p-rationnaliteit, gegeneraliseerde abc-gissing, Greenberg's gegeneraliseerde conjectuur (GGC), classgroep.

1. Probleemstelling en Context

Het artikel onderzoekt het concept van p-rationnaliteit voor getallenlichamen, een eigenschap die essentieel is in de algebraïsche getaltheorie, met name in verband met de conjectuur van Leopoldt en de structuur van Galois-groepen van maximale pro-p-uitbreidingen.

Een getallenlichaam $F$ wordt p-rationaal genoemd als de Galois-groep $G_{Sp}(F) = \text{Gal}(M_{Sp}(F)/F)$ (waarbij $M_{Sp}(F)$ de maximale pro-p-uitbreiding is die ongeramd is buiten de plaatsen boven $p$ ) een vrije pro-p-groep is. Dit is equivalent aan het voldoen aan twee voorwaarden:

De rang van het abelse deel van de Galois-groep voldoet aan $\text{rank}_{\mathbb{Z}_p}(G_{Sp}(F)^{ab}) = r_2(F) + 1$ (wat overeenkomt met de conjectuur van Leopoldt).
De torsie-submodule van deze groep is triviaal ( $T_F = \{1\}$ ).

Hoewel er veel onderzoek is gedaan naar p-rationnaliteit voor totale reële en kwadratische imaginaire getallenlichamen, blijft de situatie voor complexe kubische en zuiver imaginaire kwartische getallenlichamen minder goed begrepen. Het doel van dit artikel is om nieuwe criteria te ontwikkelen om de p-rationnaliteit voor deze specifieke klassen van getallenlichamen te bepalen en de relatie met de gegeneraliseerde abc-gissing en Greenberg's gegeneraliseerde conjectuur (GGC) te onderzoeken.

2. Methodologie

De auteurs hanteren een combinatie van analytische getaltheorie, de theorie van recurrente rijen en de theorie van Iwasawa.

Recurrente Rijen en Eenheden: Voor een complex kubisch getallenlichaam $K$ met fundamentele eenheid $\varepsilon$ en minimaal polynoom $f(x)$ , definiëren de auteurs een derde-orde recurrente rij van rationale gehele getallen $F_n$ . Ze koppelen de deelbaarheid van termen in deze rij door $p^2$ aan de congruentie-eigenschappen van de eenheid $\varepsilon$ modulo $p^2$ in de lokale velden boven $p$ .
Criteria voor p-rationnaliteit: Ze leiden een nieuw criterium af (Propositie 2.2) dat stelt dat een complex kubisch of zuiver imaginaire kwartisch getallenlichaam $K$ $K$ p-rationaal is als en slechts als:
1. De Hilbert p-class-veld $H_p(K)$ bevat is in de compositum van alle $\mathbb{Z}_p$ -uitbreidingen van $K$ .
2. Er een priemideaal $\mathfrak{p}$ boven $p$ bestaat zodanig dat $\varepsilon^{N\mathfrak{p}-1} \not\equiv 1 \pmod{\mathfrak{p}^{e+1}}$ , waarbij $e$ en $f$ respectievelijk de vertakkingsindex en residu-graad zijn.
Gegeneraliseerde abc-gissing: Voor het bewijs van de dichtheid van p-rationale velden maken ze gebruik van de gegeneraliseerde abc-gissing. Ze tonen aan dat deze gissing impliceert dat er voldoende priemgetallen bestaan waarvoor de eenheid niet triviaal is modulo $p^2$ .
Numerieke Validatie: De auteurs gebruiken software (PARI/GP) om de classgetallen en eenheidsgroepen te berekenen voor specifieke voorbeelden en genereren tabellen met resultaten voor velden met discriminanten $|d_K| < 3000$ .

3. Belangrijkste Bijdragen en Resultaten

A. Nieuwe Criteria voor Kubische Velden (Stelling 1.3)

De auteurs geven een expliciet criterium gebaseerd op de recurrente rij $F_n$ :

Als $p$ volledig splitst in $K$ , dan impliceert $F_{p-1} \not\equiv 0 \pmod{p^2}$ dat er een priemideaal bestaat waarvoor $\varepsilon^{p-1} \not\equiv 1 \pmod{p^2}$ .
Als $p$ inert is of deelt, worden vergelijkbare voorwaarden gegeven voor $F_{p^2-1}$ en $F_{p^3-1}$ .
Conclusie: Als aan een van deze voorwaarden is voldaan én $p$ de classgetal $h(K)$ niet deelt, dan is $K$ p-rationaal.

B. Dichtheidsresultaat onder de abc-gissing (Stelling 1.4)

Als de gegeneraliseerde abc-gissing geldt voor een complex kubisch of zuiver imaginaire kwartisch getallenlichaam $K$ , dan is het aantal priemgetallen $p \leq x$ waarvoor $K$ p-rationaal is, minstens even groot als $c \log x$ voor een constante $c > 0$ . Dit bevestigt dat er oneindig veel dergelijke priemgetallen bestaan.

C. Relatie met Greenberg's Gegeneraliseerde Conjectuur (GGC)

De auteurs tonen aan dat p-rationnaliteit een sterke implicatie heeft voor de GGC.

Lemma 5.4: Als $K$ een CM-veld is met maximale reële deellichaam $K^+$ , en $K^+$ is p-rationaal (en $p \nmid h(K)$ ), dan geldt de GGC voor $(K, p)$ .
Dit biedt een gedeeltelijk antwoord op de open vraag of p-rationale getallenlichamen voldoen aan de GGC.

D. Numerieke Voorbeelden en Tabellen

Voorbeeld 5.1: Ze analyseren velden van de vorm $K = \mathbb{Q}(\sqrt[3]{p^3-1})$ . Ze tonen aan dat voor $5 \leq p \leq 10000$ (met uitzondering van $p=2791$ waar $p \mid h(K)$ ), deze velden p-rationaal zijn.
Voorbeeld 5.2: Een specifiek zuiver imaginaire kwartisch veld $K = \mathbb{Q}(\sqrt[4]{1+\sqrt{-2}})$ wordt getoond als 5-rationaal.
Tabellen 1 en 2: De auteurs presenteren uitgebreide tabellen met complexe kubische en zuiver imaginaire kwartische velden ( $|d_K| < 3000$ ). Ze identificeren welke paren $(K, p)$ niet p-rationaal zijn (vaak omdat $p \mid h(K)$ of de eenheid-congruentie faalt). De resultaten zijn consistent met eerdere berekeningen van Gras.

4. Betekenis en Impact

Uitbreiding van het domein: Het artikel vult een belangrijke lacune op door p-rationnaliteit systematisch te bestuderen voor niet-totale reële en niet-kwadratische velden (kubisch en kwartisch).
Efficiënte Testen: De gekoppelde recurrente rijen bieden een computerefficiënte methode om te testen of een getallenlichaam p-rationaal is, zonder direct de volledige Galois-groep te hoeven construeren.
Verband met Grote Conjecturen: Het werk legt een verband tussen de p-rationnaliteit, de abc-gissing en de Greenberg-conjectuur. Het suggereert dat het vinden van p-rationale velden een sleutel kan zijn tot het bewijzen van de GGC voor bredere klassen van getallenlichamen.
Empirische Onderbouwing: De uitgebreide numerieke tabellen bieden een waardevolle dataset voor verdere theoretisch onderzoek en validatie van conjecturen in de getaltheorie.

Samenvattend biedt dit artikel een krachtige theoretische raamwerk en praktische tools om de p-rationnaliteit van complexe kubische en kwartische getallenlichamen te karakteriseren, met directe implicaties voor de structuur van pro-p-Galois-groepen en de geldigheid van fundamentele conjecturen in de Iwasawa-theorie.