An algorithm for testing Leopoldt's conjecture (Q1091426)

Soient \(K\) un corps de nombres et p un nombre premier. Soit \(D\) un sousgroupe (d'indice fini convenable) du groupe des unités de \(K\), de \(\mathbb Z\)-base \(\varepsilon_1,\ldots,\varepsilon_r\), et tel que son image \(D_p\) dans \(K_p=\prod_{\mathfrak p\mid p}K_{\mathfrak p}\) soit un \(\mathbb Z_p\)-module sans torsion. Les AA. redémontrent le fait classique suivant: la conjecture de Leopoldt pour \(K\) en \(p\) \((\text{LC}(K,p))\) est fausse si et seulement si \(\forall m>0\), \(\exists \varepsilon \in D-D^p\) telle que \(\varepsilon\equiv 1 (p^m)\); c'est-à-dire que si \(\text{LC}(K,p)\) est vraie, on doit constater, pour un \(m\) ``pas trop grand'', que \(\varepsilon =\prod_i \varepsilon_i^{a_i}\not\equiv 1 (p^m)\), pour tout les \(a_i\in\mathbb N\), non tous divisibles par \(p\), et majorés par les puissances de \(p\) minimum, \(k_i(m)\), telles que \(\varepsilon_i^{k_i(m)}\equiv 1 (p^m)\). Les AA. détaillent un algorithme numérique qui travaille modulo \(p^2, p^3,\ldots\), jusqu'à l'obtention du critère ``\(\varepsilon\not\equiv 1 (p^m)''\). Des tables numériques sont données pour \(K=\mathbb Q(\sqrt[q]{d})\), pour \(q=5\) \((p=2,3,5)\) et \(q=7\) \((p=2,3,7)\); les exemples donnés nécessitent \(m\leq 5\). Remarque: L'argumentation théorique développée par les AA. semble inutilement complexe: la définition implicite utilisée ici est que \(\text{LC}(K,p)\) est fausse si et seulement si \(\exists a_1,\ldots,a_r\in\mathbb Z_p\) (non tous dans \(p\mathbb Z_p)\) tels que \(\prod_i \varepsilon_i^{a_i}=1\) dans \(K_p\) (à condition que \(D_p\) soit sans \(p)\)-torsion, ce qui se réalise facilement, connaissant la structure des groupes d'unités locales principales des \(K_{\mathfrak p})\); d'où le critère, par troncation modulo \(k_i(m)\) des développements de Hensel des \(a_i\).