Showing 1–7 of 7 results for author: Ismaili, M C

$3$-Principalization over $S_3$-fields

Authors: Siham Aouissi, Mohamed Talbi, Daniel C. Mayer, Moulay Chrif Ismaili

Abstract: Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $ζ_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$. In the case that $\mathrm{k}$ possesses a $3$-class group $C_{\mathrm{k},3}$ of type $(9,3)$, the capitulation of $3$-ideal classes of $\mathrm{k}$ in its unramified cyc… ▽ More Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $ζ_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$. In the case that $\mathrm{k}$ possesses a $3$-class group $C_{\mathrm{k},3}$ of type $(9,3)$, the capitulation of $3$-ideal classes of $\mathrm{k}$ in its unramified cyclic cubic extensions is determined, and conclusions concerning the maximal unramified pro-$3$-extension $\mathrm{k}_3^{(\infty)}$ of $\mathrm{k}$ are drawn. △ Less

Submitted 6 March, 2021; originally announced March 2021.

Comments: 23 pages, 7 Figures, 1 Table

Report number: Vol. 45, No. 05, pp. 2225-2247 (2021) MSC Class: 11R37; 11R29; 11R32; 11R20; 11R16; 20D15; 20E22; 20F05

Journal ref: Turkish Journal of Mathematics (2021)

Principal factors and lattice minima

Authors: Siham Aouissi, Abdelmalek Azizi, Moulay Chrif Ismaili, Daniel C. Mayer, Mohamed Talbi

Abstract: 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… ▽ More 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. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 17 pages, 5 Tables

Report number: Volume 76 Issue 1 Pages 101-118 (2022) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: Kyushu Journal of Mathematics (2022)

On a Conjecture of Lemmermeyer

Authors: Siham Aouissi, Mohamed Talbi, Moulay Chrif Ismaili, Abdelmalek Azizi

Abstract: Let $p\equiv 1\,(\mathrm{mod}\,3)$ be a prime and denote by $ζ_3$ a primitive third root of unity. Recently, Lemmermeyer presented a conjecture about $3$-class groups of pure cubic fields $L=\mathbb{Q}(\sqrt[3]{p})$ and of their normal closures $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$. The purpose of this paper is to prove Lemmermeyer's conjecture. Let $p\equiv 1\,(\mathrm{mod}\,3)$ be a prime and denote by $ζ_3$ a primitive third root of unity. Recently, Lemmermeyer presented a conjecture about $3$-class groups of pure cubic fields $L=\mathbb{Q}(\sqrt[3]{p})$ and of their normal closures $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$. The purpose of this paper is to prove Lemmermeyer's conjecture. △ Less

Submitted 1 April, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: Pure cubic fields, Galois closure, $3$-class groups, abelian type invariants

Report number: Vol. 16, No. 07, pp. 1407-1424 (2020) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: International Journal of Number Theory (2020)

Structure of relative genus fields of cubic Kummer extensions

Authors: Siham Aouissi, Abdelmalek Azizi, Moulay Chrif Ismaili, Daniel C. Mayer, Mohamed Talbi

Abstract: Let $N=K(\sqrt[3]{D})$ be a cubic Kummer extension of the cyclotomic field $K=\mathbb{Q}(ζ_3)$, containing a primitive cube root of unity $ζ_3$, with cube free integer radicand $D>1$. Denote by $f$ the conductor of the abelian extension $N/K$, and by $N^{\ast}$ the relative genus field of $N/K$. The aim of the present work is to find out all positive integers $D$ and conductors $f$ such that the g… ▽ More Let $N=K(\sqrt[3]{D})$ be a cubic Kummer extension of the cyclotomic field $K=\mathbb{Q}(ζ_3)$, containing a primitive cube root of unity $ζ_3$, with cube free integer radicand $D>1$. Denote by $f$ the conductor of the abelian extension $N/K$, and by $N^{\ast}$ the relative genus field of $N/K$. The aim of the present work is to find out all positive integers $D$ and conductors $f$ such that the genus group $\operatorname{Gal}\left(N^{\ast}/N\right)\cong \mathbb{Z}/3\mathbb{Z}\times\mathbb{Z}/3\mathbb{Z}$ is elementary bicyclic. △ Less

Submitted 13 October, 2023; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 22 pages, 2 figures, 8 tables

Report number: Vol. 29, Issue. 03, Article number: 81. pp. 1-27 (2023) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: Boletin de la Sociedad Mathematica Mexicana (2023)

Fields $\mathbb{Q}(\sqrt[3]{d},ζ_3)$ whose $3$-class group is of type $(9,3)$

Authors: Siham Aouissi, Mohamed Talbi, Moulay Chrif Ismaili, Abdelmalek Azizi

Abstract: Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic field $\mathbb{Q}(\sqrt[3]{d})$ and some results on the $3$-class group $C_{\mathrm{k},3}$, we are moving towards the determination of all integers $d$ such that… ▽ More Let $\mathrm{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$, with $d$ a cube-free positive integer. Let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. By the aid of genus theory, arithmetic proprieties of the pure cubic field $\mathbb{Q}(\sqrt[3]{d})$ and some results on the $3$-class group $C_{\mathrm{k},3}$, we are moving towards the determination of all integers $d$ such that $C_{\mathrm{k},3} \simeq \mathbb{Z}/9\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$. △ Less

Submitted 11 April, 2019; v1 submitted 13 May, 2018; originally announced May 2018.

Comments: 10 pages

Report number: Vol. 15, No. 07, pp. 1437-1447 (2019) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: International Journal of Number Theory (2019)

$3$-rank of ambiguous class groups of cubic Kummer extensions

Authors: Siham Aouissi, Daniel C. Mayer, Moulay Chrif Ismaili, Mohamed Talbi, Abdelmalek Azizi

Abstract: Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(ζ_3)$ with $d>1$ a cube-free integer and $ζ_3$ a primitive third root of unity. Denote by $C_{k,3}^{(σ)}$ the $3$-group of ambiguous classes of the extension $k/k_0$ with relative group $G=\operatorname{Gal}(k/k_0)=\langleσ\rangle$. The aims of this paper are to characterize all extensions $k/k_0$ with cyclic $3$-group of ambi… ▽ More Let $k=k_0(\sqrt[3]{d})$ be a cubic Kummer extension of $k_0=\mathbb{Q}(ζ_3)$ with $d>1$ a cube-free integer and $ζ_3$ a primitive third root of unity. Denote by $C_{k,3}^{(σ)}$ the $3$-group of ambiguous classes of the extension $k/k_0$ with relative group $G=\operatorname{Gal}(k/k_0)=\langleσ\rangle$. The aims of this paper are to characterize all extensions $k/k_0$ with cyclic $3$-group of ambiguous classes $C_{k,3}^{(σ)}$ of order $3$, to investigate the multiplicity $m(f)$ of the conductors $f$ of these abelian extensions $k/k_0$, and to classify the fields $k$ according to the cohomology of their unit groups $E_{k}$ as Galois modules over $G$. The techniques employed for reaching these goals are relative $3$-genus fields, Hilbert norm residue symbols, quadratic $3$-ring class groups modulo $f$, the Herbrand quotient of $E_{k}$, and central orthogonal idempotents. All theoretical achievements are underpinned by extensive computational results. △ Less

Submitted 1 April, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 24 pages, 7 tables, 3 figures

Report number: Vol. 81, pp. 250-274 (2020) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: Periodica Mathematica Hungarica (2020)

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

Authors: Siham Aouissi, Moulay Chrif Ismaili, Mohamed Talbi, Abdelmalek Azizi

Abstract: Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},ζ_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III proves a conjecture made by Calegari and Emerton \cite{Cal-Emer} which gives necessary and sufficient conditions for $C_{\mathrm{k},3}$ to be of… ▽ More Let $\mathrm{k}=\mathbb{Q}\left(\sqrt[3]{p},ζ_3\right)$, where $p$ is a prime number such that $p \equiv 1 \pmod 9$, and let $C_{\mathrm{k},3}$ be the $3$-component of the class group of $\mathrm{k}$. In \cite{GERTH3}, Frank Gerth III proves a conjecture made by Calegari and Emerton \cite{Cal-Emer} which gives necessary and sufficient conditions for $C_{\mathrm{k},3}$ to be of $\operatorname{rank}\,$ two. The purpose of the present work is to determine generators of $C_{\mathrm{k},3}$, whenever it is isomorphic to $\mathbb{Z}/9\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: 16 pages, 2 tables

Report number: Vol. 39, No. 03, pp. 37-52 (2021) MSC Class: 11R11; 11R16; 11R20; 11R27; 11R29; 11R37

Journal ref: Boletim da Sociedade Paranaense de Matemática (2021)