Construction of some \(p\)-extensions of the rational number field (Q1592027): Difference between revisions

Soit \(K_p(p,q)\) la \(p\)-extension maximale de \(\mathbb{Q}\), ramifiée en les premiers \(p\) et \(q\). L'auteur étudie les relations liant les deux générateurs \(\sigma\) et \(\tau\) du groupe de Galois \((G_p(p,q)= \text{Gal} (K_p(p,q)/ \mathbb{Q})\), modulo le troisième terme de la suite centrale de ce groupe. Pour celà, il construit (explicitement) certaines \(p\)-extensions \(K_a \) \((a\) défini modulo \(p^r)\), de degré \(p^{3r}\) (\(p\neq 2\) et \(r>0)\) de \(\mathbb{Q}\), ramifiées en \(p\) et \(q\), et établit (en termes de symboles de Legendre) que les relations étudiées dépendent de la décomposition de \(q\) dans les différents corps \(K_a\).