arXiv subjects
Publications and source records attributed to Mohammed Taous.
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}$.
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 $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.
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$.
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.
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^{(*)}$.
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))^*$.
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$ 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.
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$.
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^{(*)}$.
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)^*$.
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}$.
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.
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$.