Showing 1–18 of 18 results for author: Taous, M

Hilbert genus fields of some number fields with high degrees

Authors: Mohamed Mahmoud Chems-Eddin, Moulay Ahmed Hajjami, Mohammed Taous

Abstract: The aim of this paper is to give some properties of Hilbert genus fields and construct the Hilbert genus fields of the fields $L_{m,d}:=\mathbb{Q}(ζ_{2^m},\sqrt{d})$, where $m\geq 3$ is a positive integer and $d$ is a square-free integer whose prime divisors are congruent to $\pm 3\pmod 8$ or $9\pmod{16}$. The aim of this paper is to give some properties of Hilbert genus fields and construct the Hilbert genus fields of the fields $L_{m,d}:=\mathbb{Q}(ζ_{2^m},\sqrt{d})$, where $m\geq 3$ is a positive integer and $d$ is a square-free integer whose prime divisors are congruent to $\pm 3\pmod 8$ or $9\pmod{16}$. △ Less

Submitted 2 December, 2022; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: 11 pages, published in Acta Mathematica Vietnamica (2022)

Journal ref: Acta Mathematica Vietnamica (2022)

The construction of the Hilbert genus fields of real cyclic quartic fields

Authors: Mohamed Mahmoud Chems-Eddin, Moulay Ahmed Hajjami, Mohammed Taous

Abstract: Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. In the present paper, we construct the Hilbert genus field of the real cyclic quartic fields $\mathbb{Q}(\sqrt{a\varepsilon_p\sqrt{p}})$. Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. In the present paper, we construct the Hilbert genus field of the real cyclic quartic fields $\mathbb{Q}(\sqrt{a\varepsilon_p\sqrt{p}})$. △ Less

Submitted 24 May, 2021; originally announced May 2021.

Comments: arXiv admin note: text overlap with arXiv:2105.08441

Journal ref: Functiones et Approximatio (2022)

On quaternion algebras over some extensions of quadratic number fields

Authors: Vincenzo Acciaro, Diana Savin, Mohammed Taous, Abdelkader Zekhnini

Abstract: Let $p$ and $q$ be two positive primes. Let $\ell$ be an odd positive prime integer and $F$ a quadratic number field. Let $K$ be an extension of $F$ such that $K$ is a dihedral extension of $\Q$ of degree $\ell$ over $F$ or $K$ is an abelian $\ell$-extension unramified over $F$ assuming $\ell$ divides the class number of $F$. In this paper, we obtain a complete characterization of division quatern… ▽ More Let $p$ and $q$ be two positive primes. Let $\ell$ be an odd positive prime integer and $F$ a quadratic number field. Let $K$ be an extension of $F$ such that $K$ is a dihedral extension of $\Q$ of degree $\ell$ over $F$ or $K$ is an abelian $\ell$-extension unramified over $F$ assuming $\ell$ divides the class number of $F$. In this paper, we obtain a complete characterization of division quaternion algebras $H_{K}(p, q)$ over $K$. △ Less

Submitted 1 April, 2020; originally announced April 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1802.08185

MSC Class: 11R11; 11R21; 11R32; 11R52; 11S15

On the 2-rank and 4-rank of the class group of some real pure quartic number fields

Authors: Mbarek Haynou, Mohammed Taous

Abstract: Let $K=\mathbb{Q}(\sqrt[4]{pd^{2}})$ be a real pure quartic number field and $k=\mathbb{Q}(\sqrt{p})$ its real quadratic subfield, where $p\equiv 5\pmod 8$ is a prime integer and $d$ an odd square-free integer coprime to $p$. In this work, we calculate $r_2(K)$, the $2$-rank of the class group of $K$, in terms of the number of prime divisors of $d$ that decompose or remain inert in… ▽ More Let $K=\mathbb{Q}(\sqrt[4]{pd^{2}})$ be a real pure quartic number field and $k=\mathbb{Q}(\sqrt{p})$ its real quadratic subfield, where $p\equiv 5\pmod 8$ is a prime integer and $d$ an odd square-free integer coprime to $p$. In this work, we calculate $r_2(K)$, the $2$-rank of the class group of $K$, in terms of the number of prime divisors of $d$ that decompose or remain inert in $\mathbb{Q}(\sqrt{p})$, then we will deduce forms of $d$ satisfying $r_2(K)=2$. In the last case, the $4$-rank of the class group of $K$ is given too. △ Less

Submitted 3 May, 2020; v1 submitted 14 December, 2019; originally announced December 2019.

Comments: 16 pages

MSC Class: 11R11; 11R16; 11R29; 11R37

L-Sweeps: A scalable, parallel preconditioner for the high-frequency Helmholtz equation

Authors: Matthias Taus, Leonardo Zepeda-Núñez, Russell J Hewett, Laurent Demanet

Abstract: We present the first fast solver for the high-frequency Helmholtz equation that scales optimally in parallel, for a single right-hand side. The L-sweeps approach achieves this scalability by departing from the usual propagation pattern, in which information flows in a 180 degree cone from interfaces in a layered decomposition. Instead, with L-sweeps, information propagates in 90 degree cones induc… ▽ More We present the first fast solver for the high-frequency Helmholtz equation that scales optimally in parallel, for a single right-hand side. The L-sweeps approach achieves this scalability by departing from the usual propagation pattern, in which information flows in a 180 degree cone from interfaces in a layered decomposition. Instead, with L-sweeps, information propagates in 90 degree cones induced by a checkerboard domain decomposition (CDD). We extend the notion of accurate transmission conditions to CDDs and introduce a new sweeping strategy to efficiently track the wave fronts as they propagate through the CDD. The new approach decouples the subdomains at each wave front, so that they can be processed in parallel, resulting in better parallel scalability than previously demonstrated in the literature. The method has an overall O((N/p) log w) empirical run-time for N=n^d total degrees-of-freedom in a d-dimensional problem, frequency w, and p=O(n) processors. We introduce the algorithm and provide a complexity analysis for our parallel implementation of the solver. We corroborate all claims in several two- and three-dimensional numerical examples involving constant, smooth, and discontinuous wave speeds. △ Less

Submitted 15 October, 2019; v1 submitted 3 September, 2019; originally announced September 2019.

On quaternion algebras that split over quadratic number fields

Authors: Vincenzo Acciaro, Diana Savin, Mohammed Taous, Abdelkader Zekhnini

Abstract: Let $d$ and $m$ be two distinct squarefree integers and $\mathcal{O}_K$ the ring of integers of the quadratic field $K=\mathbb{Q}(\sqrt{d})$. Denote by $ H_K(α, m)$ a quaternion algebra over $K$, where $α\in \mathcal{O}_K$. In this paper we give necessary and sufficient conditions for $ H_K(α, m)$ to split over $K$ for some values of $α$, and we obtain a complete characterization of division quate… ▽ More Let $d$ and $m$ be two distinct squarefree integers and $\mathcal{O}_K$ the ring of integers of the quadratic field $K=\mathbb{Q}(\sqrt{d})$. Denote by $ H_K(α, m)$ a quaternion algebra over $K$, where $α\in \mathcal{O}_K$. In this paper we give necessary and sufficient conditions for $ H_K(α, m)$ to split over $K$ for some values of $α$, and we obtain a complete characterization of division quaternion algebras $ H_K(α, m)$ over $K$ whenever $α$ and $m$ are two distinct positive prime integers. Examples are given involving prime Fibonacci numbers. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1802.08185

MSC Class: Primary 11R52; 11R11; 11R04; Secondary 11R27; 11A41; 11S15

Capitulation in the absolutely abelian extensions of some number fields II

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: We study the capitulation of $2$-ideal classes of an infinite family of imaginary biquadratic number fields consisting of fields $k =Q(\sqrt{pq_1q_2}, i)$, where $i=\sqrt{-1}$ and $q_1\equiv q_2\equiv-p\equiv-1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce… ▽ More We study the capitulation of $2$-ideal classes of an infinite family of imaginary biquadratic number fields consisting of fields $k =Q(\sqrt{pq_1q_2}, i)$, where $i=\sqrt{-1}$ and $q_1\equiv q_2\equiv-p\equiv-1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$. △ Less

Submitted 10 September, 2016; originally announced September 2016.

Comments: 17 pages, To be published by Acta Mathematica Vietnamica, 2016. arXiv admin note: substantial text overlap with arXiv:1507.00295, arXiv:1503.01992

MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29

Capitulation in the absolutely abelian extensions of some fields $\mathbb{Q}(\sqrt{p_1p_2q}, \sqrt{-1})$

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $\mathbf{k} =\mathbb{Q}(\sqrt{p_1p_2q}, i)$, where $i=\sqrt{-1}$ and $p_1\equiv p_2\equiv-q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $\mathbf{K}/\mathbf{k}$ inside the absolute genus field $\mathbf{k}^{(*)}$ of… ▽ More We study the capitulation of $2$-ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $\mathbf{k} =\mathbb{Q}(\sqrt{p_1p_2q}, i)$, where $i=\sqrt{-1}$ and $p_1\equiv p_2\equiv-q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $\mathbf{K}/\mathbf{k}$ inside the absolute genus field $\mathbf{k}^{(*)}$ of $\mathbf{k}$, we compute the capitulation kernel of $\mathbf{K}/\mathbf{k}$. Then we deduce that each strongly ambiguous class of $\mathbf{k}/\mathbb{Q}(i)$ capitulates already in $\mathbf{k}^{(*)}$, which is smaller than the relative genus field $(\mathbf{k}/\mathbb{Q}(i))^*$. △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 18 pages. arXiv admin note: substantial text overlap with arXiv:1503.01992

MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Sur l'équation $X^2-\varepsilon_2\varepsilon_{p_1p_2}\varepsilon_{2p_1p_2}=0$

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: Let $p_1\equiv p_2\equiv5 \pmod8$ be prime numbers such that $\left(\frac{p_1}{p_2}\right)=-1$. Let $\mathbb{L}=Q(\sqrt2, \sqrt{p_1p_2})$ Our goal is to resolve the equation $X^2-\varepsilon_2\varepsilon_{p_1p_2}\varepsilon_{2p_1p_2}=0$ in $\mathbb{L}$, where $\varepsilon_j$ are fundamental units of real quadratic subfields of $Q(\sqrt2, \sqrt{p_1p_2})$. Let $p_1\equiv p_2\equiv5 \pmod8$ be prime numbers such that $\left(\frac{p_1}{p_2}\right)=-1$. Let $\mathbb{L}=Q(\sqrt2, \sqrt{p_1p_2})$ Our goal is to resolve the equation $X^2-\varepsilon_2\varepsilon_{p_1p_2}\varepsilon_{2p_1p_2}=0$ in $\mathbb{L}$, where $\varepsilon_j$ are fundamental units of real quadratic subfields of $Q(\sqrt2, \sqrt{p_1p_2})$. △ Less

Submitted 19 April, 2015; originally announced April 2015.

Comments: in French

Sur la capitulation des 2-classes d'idéaux du corps Q(\sqrt{2p_1p_2}, i)

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: Let $p_1$ and $p_2$ be two primes such that $p_1\equiv p_2\equiv1 \pmod4$ and at least two of the three elements $\{(\frac{2}{p_1}), (\frac{2}{p_2}), (\frac{p_1}{p_2})\}$ are equal to -1. Put $i=\sqrt{-1}$, $d=2p_1p_2$ and $k =Q(\sqrt{d}, i)$. Let $k_2^{(1)}$ be the Hilbert 2-class field of $k$ and $k^{(*)}=Q(\sqrt{p_1},\sqrt{p_2},\sqrt 2, i)$ be its genus field. Let $C_{k,2}$ denote the 2-part of… ▽ More Let $p_1$ and $p_2$ be two primes such that $p_1\equiv p_2\equiv1 \pmod4$ and at least two of the three elements $\{(\frac{2}{p_1}), (\frac{2}{p_2}), (\frac{p_1}{p_2})\}$ are equal to -1. Put $i=\sqrt{-1}$, $d=2p_1p_2$ and $k =Q(\sqrt{d}, i)$. Let $k_2^{(1)}$ be the Hilbert 2-class field of $k$ and $k^{(*)}=Q(\sqrt{p_1},\sqrt{p_2},\sqrt 2, i)$ be its genus field. Let $C_{k,2}$ denote the 2-part of the class group of $k$. The unramified abelian extensions of $k$ are $K_1=k(\sqrt{p_1})$, $K_2=k(\sqrt{p_2})$, $K_3=k(\sqrt{2})$ and $k^{(*)}$. Our goal is to study the capitulation problem of the 2-classes of $k$ in these four extensions. △ Less

Submitted 17 March, 2015; originally announced March 2015.

Comments: 6 pages, in French in Workshop International "Théorie des Nombres, Codes, Cryptographie et Systèmes de Communication", du 26 au 28 Avril 2012 01/2012

Structure of $Gal(k_2^{(2)}/k)$ for some fields $k=Q(\sqrt{ 2p_1p_2}, \sqrt{-1})$

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field… ▽ More Let $p_1 \equiv p_2 \equiv5\pmod8$ be different primes. Put $i=\sqrt{-1}$ and $d=2p_1p_2$, then the bicyclic biquadratic field $k=Q(\sqrt{d}, \sqrt{-1})$ has an elementary abelian 2-class group of rank $3$. In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group $\mathrm{Gal}(k_2^{(2)}/k)$ of the second Hilbert 2-class field $k_2^{(2)}$ of $k$. We study the capitulation problem of the 2-classes of $k$ in its seven unramified quadratic extensions $K_i$ and in its seven unramified bicyclic biquadratic extensions $L_i$. △ Less

Submitted 12 March, 2015; originally announced March 2015.

Journal ref: Abh. Math. Sem. Univ. Hamburg, Volume 84, {\bf 2 } (2014), 203-231

On the strongly ambiguous classes of $k/Q(\sqrt{-1})$ where $k= Q(\sqrt{2p_1p_2},\sqrt{-1})$

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which is strictly included in the relative genus field $(k/Q(i))^*$ and we study the capitulation of the $2$-ideal classes of $k$ in its quadratic extensions included… ▽ More We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which is strictly included in the relative genus field $(k/Q(i))^*$ and we study the capitulation of the $2$-ideal classes of $k$ in its quadratic extensions included in $k^{(*)}$. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Journal ref: Asian-European J. Math. 07, 1450021 (2014) [26 pages]

On the strongly ambiguous classes of some biquadratic number fields

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that eac… ▽ More We study the capitulation of ideal classes in an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $k =Q(\sqrt{2pq}, i)$, where $i=\sqrt{-1}$ and $p\equiv -q\equiv1 \pmod 4$ are different primes. For each of the three quadratic extensions $K/k$ inside the absolute genus field $k^{(*)}$ of $k$, we compute the capitulation kernel of $K/k$. Then we deduce that each strongly ambiguous class of $k/Q(i)$ capitulates already in $k^{(*)}$, which is smaller than the relative genus field $\left(k/Q(i)\right)^*$. △ Less

Submitted 6 March, 2015; originally announced March 2015.

On some metabelian 2-group whose abelianization is of type (2, 2, 2) and applications

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous

Abstract: Let $G$ be some metabelian $2$-group satisfying the condition $G/G'\simeq \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. In this paper, we construct all the subgroups of $G$ of index $2$ or $4$, we give the abelianization types of these subgroups and we compute the kernel of the transfer map. Then we apply these results to study the capitulation problem of the… ▽ More Let $G$ be some metabelian $2$-group satisfying the condition $G/G'\simeq \mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. In this paper, we construct all the subgroups of $G$ of index $2$ or $4$, we give the abelianization types of these subgroups and we compute the kernel of the transfer map. Then we apply these results to study the capitulation problem of the $2$-ideal classes of some fields $\mathbf{k}$ satisfying the condition $\mathrm{G}al(\mathbf{k}_2^{(2)}/\mathbf{k})\simeq G$, where $\mathbf{k}_2^{(2)}$ is the second Hilbert $2$-class field of $\mathbf{k}$. △ Less

Submitted 5 March, 2015; originally announced March 2015.

Comments: in Journal of Taibah University for Science (2015)

Principalization of $2$-class groups of type $(2,2,2)$ of biquadratic fields $\mathbb{Q}\left(\sqrt{\strut p_1p_2q},\sqrt{\strut -1}\right)$

Authors: Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous, Daniel C. Mayer

Abstract: Let $p_1\equiv p_2\equiv -q\equiv1 \pmod4$ be different primes such that $\displaystyle\left(\frac{2}{p_1}\right)= \displaystyle\left(\frac{2}{p_2}\right)=\displaystyle\left(\frac{p_1}{q}\right)=\displaystyle\left(\frac{p_2}{q}\right)=-1$. Put $d=p_1p_2q$ and $i=\sqrt{-1}$, then the bicyclic biquadratic field ${k}=\mathbb{Q}(\sqrt{d},i)$ has an elementary abelian $2$-class group,… ▽ More Let $p_1\equiv p_2\equiv -q\equiv1 \pmod4$ be different primes such that $\displaystyle\left(\frac{2}{p_1}\right)= \displaystyle\left(\frac{2}{p_2}\right)=\displaystyle\left(\frac{p_1}{q}\right)=\displaystyle\left(\frac{p_2}{q}\right)=-1$. Put $d=p_1p_2q$ and $i=\sqrt{-1}$, then the bicyclic biquadratic field ${k}=\mathbb{Q}(\sqrt{d},i)$ has an elementary abelian $2$-class group, $\mathbf{C}l_2(k)$, of rank $3$. In this paper, we study the principalization of the $2$-classes of ${k}$ in its fourteen unramified abelian extensions $\mathbb{K}_j$ and $\mathbb{L}_j$ within ${k}_2^{(1)}$, that is the Hilbert $2$-class field of ${k}$. We determine the nilpotency class, the coclass, generators and the structure of the metabelian Galois group $G=\mathrm{Gal}(\mathbb{L}/{k})$ of the second Hilbert 2-class field ${k}_2^{(2)}$ of ${k}$. Additionally, the abelian type invariants of the groups $\mathbf{C}l_2(\mathbb{K}_j)$ and $\mathbf{C}l_2(\mathbb{L}_j)$ and the length of the $2$-class tower of ${k}$ are given. △ Less

Submitted 14 April, 2014; originally announced April 2014.

MSC Class: Primary 11R16; 11R29; 11R32; 11R37; Secondary 20D15

On the rank of the $2$-class group of $\mathbb{Q}(\sqrt{p}, \sqrt{q},\sqrt{-1})$

Authors: Abdelmalek Azizi Mohammed Taous, Abdelkader Zekhnini

Abstract: Let $d$ be a square-free integer, $\mathbf{k}=\mathbb{Q}(\sqrt d,\,i)$ and $i=\sqrt{-1}$. Let $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Our goal is to give necessary and sufficient conditio… ▽ More Let $d$ be a square-free integer, $\mathbf{k}=\mathbb{Q}(\sqrt d,\,i)$ and $i=\sqrt{-1}$. Let $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Our goal is to give necessary and sufficient conditions to have $G$ metacyclic in the case where $d=pq$, with $p$ and $q$ are primes such that $p\equiv 1\pmod 8$ and $q\equiv 5\pmod 8$ or $p\equiv 1\pmod 8$ and $q\equiv 3\pmod 4$. △ Less

Submitted 3 March, 2014; originally announced March 2014.

MSC Class: 11R11; 11R29; 11R32; 11R37

Capitulation des 2-classes d'idéaux de $\mathbf{k}=\mathbb{Q}(\sqrt{2p}, i)$

Authors: Abdelmalek Azizi, Mohammed Taous

Abstract: Let $p$ be a prime number such that $p\equiv 1$ mod $8$ and $i=\sqrt{-1}$. Let $\mathbf{k}=\mathbb{Q}(\sqrt{2p}, i)$, $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Suppose that the $2$-part,… ▽ More Let $p$ be a prime number such that $p\equiv 1$ mod $8$ and $i=\sqrt{-1}$. Let $\mathbf{k}=\mathbb{Q}(\sqrt{2p}, i)$, $\mathbf{k}_1^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}$, $\mathbf{k}_2^{(2)}$ be the Hilbert $2$-class field of $\mathbf{k}_1^{(2)}$ and $G=\mathrm{Gal}(\mathbf{k}_2^{(2)}/\mathbf{k})$ be the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$. Suppose that the $2$-part, $C_{\mathbf{k}, 2}$, of the class group of $\mathbf{k}$ is of type $(2, 4)$; then $\mathbf{k}_1^{(2)}$ contains six extensions $\mathbf{K_{i, j}}/\mathbf{k}$, $i=1, 2, 3$ and $j=2, 4$. Our goal is to study the problem of the capitulation of $2$-ideal classes of $\mathbf{K_{i, j}}$ and to determine the structure of $G$. △ Less

Submitted 5 February, 2014; originally announced February 2014.

MSC Class: 11R27; 11R29; 11R37

Journal ref: Acta Arithmetica,2008, 131, 103-123

Capitulation des $2$-classes d'idéaux de type $(2, 4)$

Authors: Abedelmalek. Azizi, Mohammed. Taous

Abstract: In this paper, we establish two main results which give conditions necessary and sufficient for a $ 2 $-group metabelian such that $G/G'$ is of type $(2, 4)$ either metacyclic or not. If $G$ is the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$ where $\mathbf{k}_2^{(2)}$ is the the Second Hilbert $2$-class field of a number field $\mathbf{k}$, we will get results on the problem of capitulation. In this paper, we establish two main results which give conditions necessary and sufficient for a $ 2 $-group metabelian such that $G/G'$ is of type $(2, 4)$ either metacyclic or not. If $G$ is the Galois group of $\mathbf{k}_2^{(2)}/\mathbf{k}$ where $\mathbf{k}_2^{(2)}$ is the the Second Hilbert $2$-class field of a number field $\mathbf{k}$, we will get results on the problem of capitulation. △ Less

Submitted 30 January, 2014; originally announced January 2014.

MSC Class: 11R11; 11R29; 11R32; 11R37; 20F05