BZPEER

preprint2022arXiv

On some realizable metabelian $5$ -groups

Let $G$ be a $5$ -group of maximal class and $γ_2(G) = [G, G]$ its derived group. Assume that the abelianization $G/γ_2(G)$ is of type $(5, 5)$ and the transfers $V_{H_1\to γ_2(G)}$ and $V_{H_2\to γ_2(G)}$ are trivial, where $H_1$ and $H_2$ are two maximal normal subgroups of $G$ . Then $G$ is completely determined with the isomorphism class groups of maximal class. Moreover the group $G$ is realizable with some fields $k$ , which is the normal closure of a pure quintic field.

preprint2022arXiv

On the exact divisibility by $5$ of the class number of some pure metacyclic fields

Let $Γ\,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a natural number $5^{th}$ power-free. Let $k = \mathbb{Q}(\sqrt[5]{n}, ζ_5)$ , with $ζ_5$ is a primitive $5^{th}$ root of unit, be the normal closure of $Γ$ , and a pure metacyclic field of degree $20$ over $\mathbb{Q}$ . When $n$ takes some particular forms, we show that $Γ$ admits a trivial $5$ -class group and $5$ divides exactly the class number of $k$ .

preprint2022arXiv

The generators of $5$ -class group of some fields of degree 20 over $\mathbb{Q}$

Let $Γ\,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a positive integer, $5^{th}$ power-free. Let $k_0\,=\,\mathbb{Q}(ζ_5)$ be the cyclotomic field containing a primitive $5^{th}$ root of unity $ζ_5$ , and $k\,=\,Γ(ζ_5)$ be the normal closure of $Γ$ . Let $C_{k,5}$ be the $5$ -component of the class group of k. The purpose of this paper is to determine generators of $C_{k,5}$ , whenever it is of type $(5,5)$ and the rank of the group of ambiguous classes under the action of $Gal(k/k_0)\, =\,\langle σ\rangle$ is $1$ .

preprint2021arXiv

On the capitulation problem of some pure metacyclic fields of degree 20

Let $Γ\,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a positive integer $5^{th}$ power-free, $k_0\,=\,\mathbb{Q}(ζ_5)$ be the cyclotomic field containing a primitive $5^{th}$ root of unity $ζ_5$ , and $k\,=\,\mathbb{Q}(\sqrt[5]{n},ζ_5)$ the normal closure of $Γ$ . Let $k_5^{(1)}$ be the Hilbert $5$ -class field of $k$ , $C_{k,5}$ the $5$ -ideal classes group of $k$ , and $C_{k,5}^{(σ)}$ the group of ambiguous classes under the action of $Gal(k/k_0)$ = $\langleσ\rangle$ . When $C_{k,5}$ is of type $(5,5)$ and rank $C_{k,5}^{(σ)}\,=\,1$ , we study the capitulation problem of the $5$ -ideal classes of $C_{k,5}$ in the six intermediate extensions of $k_5^{(1)}/k$ .

preprint2020arXiv

$5$ -rank of ambiguous class groups of quintic Kummer extensions

Let $k \,=\, \mathbb{Q}(\sqrt[5]{n},ζ_5)$ , where $n$ is a positive integer, $5^{th}$ power-free, whose $5-$ class group is isomorphic to $\mathbb{Z}/5\mathbb{Z}\times\mathbb{Z}/5\mathbb{Z}$ . Let $k_0\,=\,\mathbb{Q}(ζ_5)$ be the cyclotomic field containing a primitive $5^{th}$ root of unity $ζ_5$ . Let $C_{k,5}^{(σ)}$ the group of the ambiguous classes under the action of $Gal(k/k_0)$ = $<σ>$ . The aim of this paper is to determine all integers $n$ such that the group of ambiguous classes $C_{k,5}^{(σ)}$ has rank $1$ or $2$ .

preprint2020arXiv

On the rank of the $2$ -class group of some imaginary triquadratic number fields

Let $d$ be an odd square-free integer and $ζ_8$ a primitive $8$ -th root of unity. The purpose of this paper is to investigate the rank of the $2$ -class group of the fields $L_d=\mathbb{Q}(ζ_8,\sqrt{d})$ .

preprint2020arXiv

The 2-rank of the class group of some real cyclic quartic number fields

In this paper, we investigate the 2-rank of the class group of some real cyclic quartic number fields. Precisely, we consider the case where the quadratic subfield is Q(\sqrt{l}) with l congruent to 5 modulo 8 is a prime.

preprint2020arXiv

The 2-rank of the class group of some real cyclic quartic number fields II

In this paper, we determine the 2-rank of the class group of certain classes of real cyclic quartic number fields. Precisely, we consider the case in which the quadratic subfield is Q(\sqrt{l}) with l=2 or a prime congruent to 1 mod 8.

preprint2019arXiv

Principal factors and lattice minima

Let $\mathit{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$ , where $d>1$ is a cube-free positive integer, $\mathit{k}_0=\mathbb{Q}(ζ_3)$ be the cyclotomic field containing a primitive cube root of unity $ζ_3$ , and $G=\operatorname{Gal}(\mathit{k}/\mathit{k}_0)$ . The possible prime factorizations of $d$ in our main result [2, Thm. 1.1] give rise to new phenomena concerning the chain $Θ=(θ_i)_{i\in\mathbb{Z}}$ of \textit{lattice minima} in the underlying pure cubic subfield $L=\mathbb{Q}(\sqrt[3]{d})$ of $\mathit{k}$ . The aims of the present work are to give criteria for the occurrence of generators of primitive ambiguous principal ideals $(α)\in\mathcal{P}_{\mathit{k}}^G/\mathcal{P}_{\mathit{k}_0}$ among the lattice minima $Θ=(θ_i)_{i\in\mathbb{Z}}$ of the underlying pure cubic field $L=\mathbb{Q}(\sqrt[3]{d})$ , and to explain exceptional behavior of the chain $Θ$ for certain radicands $d$ with impact on determining the principal factorization type of $L$ and $\mathit{k}$ by means of Voronoi's algorithm.

preprint2016arXiv

Capitulation in the absolutely abelian extensions of some number fields II

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^{(*)}$ .

preprint2015arXiv

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

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))^*$ .

preprint2015arXiv

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

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}$ .

preprint2015arXiv

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

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^{(*)}$ .

preprint2015arXiv

On the strongly ambiguous classes of some biquadratic number fields

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)^*$ .

preprint2015arXiv

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

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$ .

preprint2015arXiv

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

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})$ .

preprint2015arXiv

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

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.

preprint2014arXiv

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

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$ .

preprint2014arXiv

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)$

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.

preprint2010arXiv

Analysis of the Security of BB84 by Model Checking

Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was noted that quantum computers could break public key cryptosystems based on number theory extensive studies have been undertaken on QKD. Based on quantum mechanics, QKD offers unconditionally secure communication. Now, the progress of research in this field allows the anticipation of QKD to be available outside of laboratories within the next few years. Efforts are made to improve the performance and reliability of the implemented technologies. But several challenges remain despite this big progress. The task of how to test the apparatuses of QKD For example did not yet receive enough attention. These devises become complex and demand a big verification effort. In this paper we are interested in an approach based on the technique of probabilistic model checking for studying quantum information. Precisely, we use the PRISM tool to analyze the security of BB84 protocol and we are focused on the specific security property of eavesdropping detection. We show that this property is affected by the parameters of quantum channel and the power of eavesdropper.

Abdelmalek Azizi

Research overview

Is this your work?

20 publications

On some realizable metabelian $5$ -groups

On the exact divisibility by $5$ of the class number of some pure metacyclic fields

The generators of $5$ -class group of some fields of degree 20 over $\mathbb{Q}$

On the capitulation problem of some pure metacyclic fields of degree 20

$5$ -rank of ambiguous class groups of quintic Kummer extensions

On the rank of the $2$ -class group of some imaginary triquadratic number fields

The 2-rank of the class group of some real cyclic quartic number fields

The 2-rank of the class group of some real cyclic quartic number fields II

Principal factors and lattice minima

Capitulation in the absolutely abelian extensions of some number fields II

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

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

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

On the strongly ambiguous classes of some biquadratic number fields

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

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

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

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

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)$

Analysis of the Security of BB84 by Model Checking

See the researcher in context

Building this map preview

Abdelmalek Azizi

Research overview

Is this your work?

20 publications

On some realizable metabelian 555-groups

On the exact divisibility by 555 of the class number of some pure metacyclic fields

The generators of 555-class group of some fields of degree 20 over Q\mathbb{Q}Q

On the capitulation problem of some pure metacyclic fields of degree 20

555-rank of ambiguous class groups of quintic Kummer extensions

On the rank of the 222-class group of some imaginary triquadratic number fields

The 2-rank of the class group of some real cyclic quartic number fields

The 2-rank of the class group of some real cyclic quartic number fields II

Principal factors and lattice minima

Capitulation in the absolutely abelian extensions of some number fields II

Capitulation in the absolutely abelian extensions of some fields Q(p1p2q,−1)\mathbb{Q}(\sqrt{p_1p_2q}, \sqrt{-1})Q(p1​p2​q​,−1​)

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

On the strongly ambiguous classes of k/Q(−1)k/Q(\sqrt{-1})k/Q(−1​) where k=Q(2p1p2,−1)k= Q(\sqrt{2p_1p_2},\sqrt{-1})k=Q(2p1​p2​​,−1​)

On the strongly ambiguous classes of some biquadratic number fields

Structure of Gal(k2(2)/k)Gal(k_2^{(2)}/k)Gal(k2(2)​/k) for some fields k=Q(2p1p2,−1)k=Q(\sqrt{ 2p_1p_2}, \sqrt{-1})k=Q(2p1​p2​​,−1​)

Sur l'équation X2−ε2εp1p2ε2p1p2=0X^2-\varepsilon_2\varepsilon_{p_1p_2}\varepsilon_{2p_1p_2}=0X2−ε2​εp1​p2​​ε2p1​p2​​=0

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

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

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

Analysis of the Security of BB84 by Model Checking

See the researcher in context

Building this map preview

On some realizable metabelian $5$ -groups

On the exact divisibility by $5$ of the class number of some pure metacyclic fields

The generators of $5$ -class group of some fields of degree 20 over $\mathbb{Q}$

$5$ -rank of ambiguous class groups of quintic Kummer extensions

On the rank of the $2$ -class group of some imaginary triquadratic number fields

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

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

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

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

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

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)$