Sur la borne inférieure du rang du 2-groupe de classes de certains corps multiquadratiques

Résumé

Soient ${{p}_{1}},\,{{p}_{2}},\,{{p}_{3}}$ et $q$ des nombres premiers distincts tels que ${{p}_{1}}\,\equiv \,{{p}_{2}}\,\equiv \,{{p}_{3}}\,\equiv \,-q\,\equiv \,1\,(\bmod \,4)$, $k=\mathbf{Q}(\sqrt{{{p}_{1}}},\sqrt{{{p}_{2}}},\sqrt{{{p}_{3}}},\sqrt{q})$ et $\text{C}{{\text{l}}_{2}}(k)$ le 2-groupe de classes de $k$. A. Fröhlich a démontré que $\text{C}{{\text{l}}_{2}}(k)$ n’est jamais trivial. Dans cet article, nous donnons une extension de ce résultat, en démontrant que le rang de $\text{C}{{\text{l}}_{2}}(k)$ est toujours supérieur ou égal à 2. Nous démontrons aussi, que la valeur 2 est optimale pour une famille infinie de corps $k$.

Abstract

Let ${{p}_{1}},\,{{p}_{2}},\,{{p}_{3}}$ and $q$ be distinct prime numbers such that ${{p}_{1}}\,\equiv \,{{p}_{2}}\,\equiv \,{{p}_{3}}\,\equiv \,-q\,\equiv \,1\,(\bmod \,4)$, $k=\mathbf{Q}(\sqrt{{{p}_{1}}},\sqrt{{{p}_{2}}},\sqrt{{{p}_{3}}},\sqrt{q})$ and $\text{C}{{\text{l}}_{2}}(k)$ the 2-class group of $k$. A. Fröhlich has shown that $\text{C}{{\text{l}}_{2}}(k)$ can never be trivial. In this article, we give an extension of this result by proving that the rank of $\text{C}{{\text{l}}_{2}}(k)$ is greater or equal to 2. Moreover, we prove that there exist infinitely many fields $k$ in which the rank of $\text{C}{{\text{l}}_{2}}(k)$ is equal to 2.