Capitulation dans certaines extensions non ramifiées de corps quartiques cycliques

Abdelmalek Azizi and Mohammed Talbi

Address: Département de Mathématiques et Informatique Faculté des Sciences, Université Mohamed 1 Oujda, Maroc

E-mail:
abdelmalekazizi@yahoo.fr
talbimm@yahoo.fr

Abstract: Let $K=k\big (\sqrt{-p{\varepsilon }\sqrt{l}}\big )$ with $k={\mathbb{Q}}(\sqrt{l})$ where $l$ is a prime number such that $l=2$ or $l\equiv 5\;\@mod \;8$, $\varepsilon $ the fundamental unit of $k$, $p$ a prime number such that $p\equiv 1\;\@mod \;4$ and ${(\frac{p}{l})}_4=-1$, $K_2^{(1)}$ the Hilbert $2$-class field of $K$, $K_2^{(2)}$ the Hilbert $2$-class field of $K_2^{(1)}$ and $G=\operatorname{Gal\,}(K_2^{(2)}/K)$ the Galois group of $K_2^{(2)}/K$. According to E. Brown and C. J. Parry [7] and [8], $C_{2,K}$, the Sylow $2$-subgroup of the ideal class group of $K$, is isomorphic to ${\mathbb{Z}}/2{\mathbb{Z}}\times {\mathbb{Z}}/{2\mathbb{Z}}$, consequently $K_2^{(1)}/K$ contains three extensions $F_i/K$ $(i=1,2,3)$ and the tower of the Hilbert $2$-class field of $K$ terminates at either $K_2^{(1)}$ or $K_2^{(2)}$. In this work, we are interested in the problem of capitulation of the classes of $C_{2,K}$ in $F_i$ $(i=1,2,3)$ and to determine the structure of $G$. Résumé. Soient $K=k(\sqrt{-p{\varepsilon }\sqrt{l}})$ avec $k=\mathbb{Q}(\sqrt{l})$ où $l$ est un nombre premier tel que $l=2$ ou $l\equiv 5\;\@mod \;8$, $\varepsilon $ l’unité fondamentale de $k$, $p$ un nombre premier tels que $p\equiv 1\;\@mod \;4$ et ${(\frac{p}{l})}_4=-1$, $K_2^{(1)}$ le $2$-corps de classes de Hilbert de $K$, $K_2^{(2)}$ le $2$-corps de classes de Hilbert de $K_2^{(1)}$ et $G=\operatorname{Gal\,}(K_2^{(2)}/K)$ le groupe de Galois de $K_2^{(2)}/K$. D’après E. Brown et C. J. Parry [7] et [8], $C_{2,K}$, le $2$-groupe de classes de $K$, est isomorphe à $\mathbb{Z}/{2\mathbb{Z}}\times \mathbb{Z}/{2\mathbb{Z}}$, par conséquent $K_2^{(1)}/K$ contient trois extensions $F_i/K$ $(i=1,2,3)$ et la tour des $2$-corps de classes de Hilbert de $K$ s’arrête en $K_2^{(1)}$ ou en $K_2^{(2)}$. Dans ce travail, on s’intéresse au problème de capitulation des classes de $C_{2,K}$ dans $F_i$ $(i=1,2,3)$ et à déterminer la structure de $G$.

AMSclassification: primary 11R27; secondary 11R37.

Keywords: corps biquadratiques cycliques, groupe de classes, capitulation, corps de classes de Hilbert.