Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Sprache: | |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | https://doi.org/10.5281/zenodo.19956319 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- <p>On démontre rigoureusement la couche ℓ = 2 de la conjecture forte de la note 19946767 : v_p(a_j(p^k - 1)) ≥ 3 pour j ∈ [2p+1, 3p], tout p ≥ 3 premier impair, et tout k ≥ 2.</p> <p>La preuve combine deux ingrédients structurels : (i) le Lemme A de la note 19951075, qui élimine la zone m ≤ p du calcul de convolution sans recours à aucun argument modulaire ; (ii) un raffinement local du Théorème principal de la note maître 19773878 (X_1 + X_2 ≥ 3 pour λ ⊢ s avec s ∈ [p^k - 2p, p^k - p - 2]), reposant sur un Lemme structurel adapté ℓ + m ≤ (p-1) X_1.</p> <p>Plus de 150 000 cas vérifiés en arithmétique exacte par énumération directe des partitions, et non-trivialité du résultat confirmée pour (p, k) ∈ {(3,2), (5,2)} via calcul direct des a_j par la formule EGF du Corollaire 8 de 19946767, sans exception.</p> <p>Combinée aux notes 19947522 (couche ℓ = 1) et 19946767 (couche ℓ = 0 trivialement), la conjecture forte est désormais établie pour j ∈ [1, 3p] et k ≥ 2.</p> <p>Assistance technique de rédaction et vérification : Claude Opus 4.7 (Anthropic).</p>